8627 search results - page 317 / 1726 » Software Engineering Using RATionale |
153
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
174
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
173
click to vote
ICCBSS
2005
Springer
16 years 5 days ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
185
click to vote
MOBICOM
2005
ACM
16 years 6 days ago
2005
ACM
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
132
click to vote
EJIS
2008
15 years 6 months ago
2008
This study questions the traditional view of software architecture as a specification that needs only be understood by software architects and engineers. Based on an intensive stu...