3425 search results - page 95 / 685 » A Model Driven Approach for Software Systems Reliability |
167
click to vote
SOSYM
2010
15 years 1 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
129
Voted
ITNG
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
124
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
120
Voted
FTCS
1993
15 years 4 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
113
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....