Sciweavers

757 search results - page 42 / 152
» Composing Security-Aware Software
Sort
View
SERP
2008
15 years 4 months ago
Aspect-Oriented Approaches to Model Driven Engineering
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...
Devon Simmonds
119
Voted
RE
2008
Springer
15 years 2 months ago
Value-driven Service Matching
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...
Jaap Gordijn, Sybren de Kinderen, Roel Wieringa
134
Voted
ICFEM
2010
Springer
15 years 16 days ago
Laws of Pattern Composition
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...
Hong Zhu, Ian Bayley
RE
2010
Springer
14 years 9 months ago
A UML-based static verification framework for security
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...
Igor Siveroni, Andrea Zisman, George Spanoudakis
105
Voted
GPCE
2007
Springer
15 years 8 months ago
Constructing language processors with algebra combinators
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...