In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
Electronic service bundles such as Internet access and Voice over IP become increasingly important for the economy. The requirements engineering problem is how to compose an e-ser...
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Per...