826 search results - page 99 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
167
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
150
click to vote
EDOC
2008
IEEE
15 years 12 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
147
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
161
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
145
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...