ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
other projects in the database. Software development data is highly variable, which often result,s in underlying trends being hidden. In order to address this problem, a method of ...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
ICFEM
1998
Springer
13 years 11 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
GCSE
2000
Springer
13 years 11 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
GCSE
2000
Springer
13 years 11 months ago
2000
Springer
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...
GCSE
2000
Springer
13 years 11 months ago
2000
Springer
Product instantiation is one of the less frequently studied activities in the domain of software product lines. In this paper, we present the results of a case study at Axis Commu...
GCSE
2000
Springer
13 years 11 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...