15777 search results - page 701 / 3156 » The Reformulation-Optimization Software Engine |
148
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
215
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
150
click to vote
CACM
2004
15 years 7 months ago
2004
s (theory, abstraction, and design) [2]. They put programming as a subpart of the design component of most of the nine areas, especially algorithms and software engineering. Their ...