Sciweavers

670 search results - page 11 / 134
» Software safety: relating software assurance and software in...
Sort
View
ICSE
1993
IEEE-ACM
14 years 1 months ago
Formal Approaches to Software Architecture
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
David Garlan
MKWI
2008
132views Business» more  MKWI 2008»
13 years 10 months ago
Alignment of Software Specifications with Quality- and Business Goals in the SIKOSA Methodology
: Business-IT alignment for software specifications means that the specifications have to be aligned with business goals. In the SIKOSA research project, we developed the SIKOSA me...
Andrea Herrmann, Daniel Weiß
SCS
2003
13 years 10 months ago
Measuring Safety: Applying PSM to the System Safety Domain
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
John Murdoch, Graham Clark, Antony Powell, Paul Ca...
CBSE
2004
Springer
14 years 2 months ago
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
Kristian Sandström, Johan Fredriksson, Mikael...
ICSE
2011
IEEE-ACM
13 years 13 days ago
The quamoco tool chain for quality modeling and assessment
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
Florian Deissenboeck, Lars Heinemann, Markus Herrm...