1689 search results - page 143 / 338 » Empirical Methodologies in Software Engineering |
105
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
101
click to vote
KBSE
1995
IEEE
15 years 5 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
143
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
150
Voted
AC
2007
Springer
15 years 2 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...
107
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...