670 search results - page 53 / 134 » Software safety: relating software assurance and software in... |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Impact analysis, determining when a change in one part of a program affects other parts of the program, is timeconsuming and problematic. Impact analysis is rarely used to predict...
EUROMICRO
2005
IEEE
14 years 3 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
B
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
CBSE
2009
Springer
14 years 4 months ago
2009
Springer
Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...