15777 search results - page 663 / 3156 » The Reformulation-Optimization Software Engine |
174
click to vote
SEKE
2004
Springer
16 years 5 days ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
154
click to vote
APSEC
2007
IEEE
16 years 1 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...
179
click to vote
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
152
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
172
click to vote
RE
2005
Springer
16 years 10 days ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...