Sciweavers

2274 search results - page 77 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
WAC
2004
Springer
15 years 10 months ago
Semantic-Based Policy Engineering for Autonomic Systems
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
David Lewis, Kevin Feeney, Kevin Carey, Thanassis ...
CONTEXT
2007
Springer
15 years 11 months ago
The Difference a Day Makes - Recognizing Important Events in Daily Context Logs
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
Michael Wessel, Marko Luther, Matthias Wagner
CSEE
2006
Springer
15 years 8 months ago
Making Every Student a Winner: The WinWin Approach in Software Engineering Education
This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...
Paul Grünbacher, Norbert Seyff, Robert O. Bri...
SAC
2003
ACM
15 years 10 months ago
Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
Athie L. Self, Scott A. DeLoach
ICFEM
2007
Springer
15 years 11 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald