6800 search results - page 562 / 1360 » Testing with Functions as Specifications |
199
click to vote
ERLANG
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
181
click to vote
PRICAI
2004
Springer
16 years 27 days ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...
193
click to vote
UML
2004
Springer
16 years 27 days ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
168
click to vote
DATE
2003
IEEE
16 years 26 days ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
174
click to vote
HICSS
2003
IEEE
16 years 26 days ago
2003
IEEE
Once the decision to outsource an activity has been made, managers are faced with issues related to the management of the relationship with their service providers. A critical ele...