3216 search results - page 470 / 644 » The Oregon Software Development Process |
181
click to vote
ICWE
2005
Springer
16 years 14 days ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
206
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
168
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
215
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
318
Voted
AADEBUG
2005
Springer
16 years 16 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...