A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

On the Dominance of Decompositions in Models and their Aspect-Oriented Implementations

Electronic Notes in Theoretical Computer Science (ENTCS)

On Agility of Formal Specification

Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII

Simulation as a game design tool

Proceedings of the International Conference on Advances in Computer Enterntainment Technology

Supporting agile development by facilitating natural user interaction with executable formal specifications

ACM SIGSOFT Software Engineering Notes

Temporal logic-based specification and verification of trust models

iTrust'06 Proceedings of the 4th international conference on Trust Management

Aligning UML 2.0 state machines and temporal logic for the efficient execution of services

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II

On horizontal specification architectures and their aspect-oriented implementations

Transactions on Aspect-Oriented Software Development II