18769 search results - page 90 / 3754 » Requirements Models in Context |
149
Voted
ENTCS
2008
15 years 4 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
126
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...
143
click to vote
AIMS
2010
Springer
15 years 5 months ago
2010
Springer
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
166
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Ubiquitous and mobile web applications are typically very autonomous in nature, because they rely on additional information about the user’s context. In this paper we present a g...
107
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...