1782 search results - page 212 / 357 » Tool Support for Proof Engineering |
147
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
178
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
158
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
169
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...
164
click to vote
QSIC
2008
IEEE
16 years 25 days ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...