2124 search results - page 99 / 425 » Changing the paradigm of software engineering |
119
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
145
click to vote
ICSEA
2006
IEEE
15 years 10 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...
135
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
193
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
137
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...