1099 search results - page 136 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
121
click to vote
SIGSOFT
2002
ACM
16 years 18 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
OTM
2005
Springer
15 years 5 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
111
click to vote
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
FM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
112
click to vote
AGTIVE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...