15777 search results - page 464 / 3156 » The Reformulation-Optimization Software Engine |
RE
2005
Springer
15 years 10 months ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
110
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research i...
123
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM