AC
2005
Springer
13 years 7 months ago
2005
Springer
AC
2005
Springer
13 years 7 months ago
2005
Springer
AC
2005
Springer
13 years 7 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
RE
2006
Springer
13 years 7 months ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
RE
2006
Springer
13 years 7 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
RE
2006
Springer
13 years 7 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
RE
2006
Springer
13 years 7 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
RE
2006
Springer
13 years 7 months ago
2006
Springer
In the last decade, software product management has received much practical attention, though research in this area is still scattered. In this paper, we present a reference frame...