137
click to vote
FMCO
15 years 6 months ago
2003 Springer 
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
130
click to vote
FMCO
15 years 6 months ago
2003 Springer 
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
106
click to vote
FMCO
15 years 6 months ago
2003 Springer 
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
103
click to vote
FMCO
15 years 6 months ago
2003 Springer 
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
102
click to vote
FMCO
15 years 6 months ago
2003 Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
|
Formal Methods