Sciweavers

4799 search results - page 47 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ASWEC
2000
IEEE
15 years 2 months ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson
SIGSOFT
2004
ACM
15 years 10 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
ICSE
2000
IEEE-ACM
15 years 1 months ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde
ATAL
2009
Springer
14 years 11 months ago
Conditional Dependence Networks in Requirements Engineering
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
Guido Boella, Leendert van der Torre, Serena Villa...
CAI
2000
Springer
14 years 9 months ago
Schema Evolution in Software Engineering Databases - a New Approach in Adele Environment
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
Mohamed Ahmed-Nacer, Jacky Estublier