1051 search results - page 116 / 211 » Protocols in the use of empirical software engineering artif... |
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
FASE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
COMPSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...