237 search results - page 3 / 48 » Towards Two-Level Formal Modeling of Computer-Based Systems |
IJSEKE
2006
13 years 5 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
DATE
2009
IEEE
14 years 10 days ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
SACMAT
2009
ACM
14 years 2 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
PPAM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
SERP
2007
13 years 7 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...