3765 search results - page 49 / 753 » Formal Methods for Systems Engineering Behavior Models |
JUCS
2010
13 years 3 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
ATAL
2006
Springer
14 years 13 days ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
DFG
2004
Springer
14 years 2 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...