809 search results - page 8 / 162 » Requirements by Contracts allow Automated System Testing |
92
Voted
SCS
2003
15 years 1 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
GECON
2007
Springer
15 years 5 months ago
2007
Springer
Grid computing platforms require automated and distributed resource allocation with controllable quality-of-service (QoS). Market-based allocation these features using the compleme...
87
Voted
VIS
2005
IEEE
16 years 26 days ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...
INDIASE
2009
ACM
15 years 4 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
100
Voted
BELL
2000
14 years 11 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...