474 search results - page 10 / 95 » Assurance Based Development of Critical Systems |
SOQUA
2004
13 years 8 months ago
2004
: In agile software development refactoring is an important phase for the continuous improvement of software quality. Unfortunately, the application of refactorings is very subject...
WETICE
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
GI
2003
Springer
14 years 18 days ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
WORDS
2005
IEEE
14 years 29 days ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
UML
2005
Springer
14 years 26 days ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...