2984 search results - page 474 / 597 » Method engineering process patterns |
ITICSE
2003
ACM
14 years 3 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
ICSE
1997
IEEE-ACM
14 years 2 months ago
1997
IEEE-ACM
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
ESEM
2007
ACM
14 years 2 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...