5407 search results - page 143 / 1082 » The Software Engineering Global Model |
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
SPLC
2010
14 years 7 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
DEBS
2010
ACM
15 years 1 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...