Sciweavers

1049 search results - page 4 / 210
» On tool support for Service Level Management: From requireme...
Sort
View
CAISE
2006
Springer
14 years 2 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
CHI
2007
ACM
14 years 10 months ago
Supporting multidisciplinary collaboration: requirements from novel HCI education
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
Piotr D. Adamczyk, Michael B. Twidale
HICSS
2008
IEEE
101views Biometrics» more  HICSS 2008»
14 years 4 months ago
Situated Decision Support for Managing Service Level Agreement Negotiations
  In this paper we propose a situated decision support system for efficient negotiating of service  level  agreements  (SLAs)  in  Grids.  Situated  decisionÂ...
Rustam M. Vahidov, Dirk Neumann
RIAO
2000
13 years 11 months ago
Assisting requirements engineering with semantic document analysis
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
Paul Rayson, Roger Garside, Peter Sawyer
ICSM
2008
IEEE
14 years 4 months ago
Supporting requirements reuse in multi-agent system product line design and evolution
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
Josh Dehlinger, Robyn R. Lutz