1327 search results - page 74 / 266 » Cost-Benefit Analysis of Software Development Techniques and... |
101
click to vote
ERSHOV
2009
Springer
14 years 7 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
EUROPAR
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
CBSE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Searching and subsequently selecting reusable components from component repositories has become a key impediment for not only component-based development but also for ach...
MSR
2006
ACM
15 years 3 months ago
2006
ACM
An evolutionary development approach is increasingly commonplace in industry but presents increased difficulties in risk management, for both technical and organizational reasons...
LSO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...