425 search results - page 7 / 85 » Requirements, specifications, and minimal refinement |
IDMS
2000
Springer
13 years 11 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
AOSE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
ESTIMEDIA
2006
Springer
13 years 11 months ago
2006
Springer
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...
ICCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...