328 search results - page 33 / 66 » Software engineering for safety: a roadmap |
154
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
166
Voted
AGILEDC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper examines how XP practice meets the motivational needs of software developers. Interactions with peers have been identified by others as one potential area of (de)motiva...
171
click to vote
COMPSAC
2007
IEEE
15 years 6 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...
170
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
140
click to vote
ECLIPSE
2007
ACM
15 years 9 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...