47 search results - page 6 / 10 » A Metamodel-based Language and a Simulation Engine for Abstr... |
FSTTCS
2009
Springer
14 years 1 months ago
2009
Springer
We present a symbolic framework for reļ¬nement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
WSC
2000
13 years 8 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
SIGSOFT
2004
ACM
14 years 24 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
UML
2005
Springer
14 years 26 days ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...