1121 search results - page 12 / 225 » Building Formal Requirements Models for Reliable Software |
101
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
77
Voted
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
115
click to vote
EDOC
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...
111
click to vote
SPLC
2007
14 years 10 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...