649 search results - page 46 / 130 » Formalizing Rework in Software Processes |
ISESE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
ICSE
1987
IEEE-ACM
14 years 9 days ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
COMPSAC
2007
IEEE
13 years 9 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...