523 search results - page 7 / 105 » Goal-Oriented Requirements Engineering: A Case Study in E-go... |
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE
— this paper discusses a conceptual framework for the requirements engineering process for e-school applications offering a service to the information society. The e-school appli...
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
RE
2008
Springer
14 years 9 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...