2165 search results - page 185 / 433 » Cooperative Software Development: Concepts, Model and Tools |
174
click to vote
SEKE
2007
Springer
16 years 19 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
180
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
189
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
159
click to vote
SOCO
2007
Springer
16 years 19 days ago
2007
Springer
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
166
click to vote
KBSE
2006
IEEE
16 years 16 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...