Sciweavers

1645 search results - page 35 / 329
» Rationale-Based Use Case Specification
Sort
View
HASE
1998
IEEE
15 years 10 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
AGILEDC
2006
IEEE
16 years 1 days ago
On Agile Performance Requirements Specification and Testing
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
Chih-Wei Ho, Michael J. Johnson, Laurie Williams, ...
JOT
2007
131views more  JOT 2007»
15 years 5 months ago
Quality of Service Contract Specification, Establishment, and Monitoring for Service Level Management
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
Changzhou Wang, Haiqin Wang, Alice Chen, Rodolfo A...
ZUM
1992
Springer
15 years 10 months ago
Specification in Fresco
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
Alan Wills
DALT
2006
Springer
15 years 9 months ago
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
Adam Zachary Wyner