2342 search results - page 193 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
144
click to vote
ICSM
1997
IEEE
15 years 8 months ago
1997
IEEE
Software evolution is the most costly and time consuming software development activity. Yet software engineering research is predominantly concerned with initial development. MORA...
KI
2007
Springer
15 years 10 months ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
115
click to vote
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
113
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
124
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...