396 search results - page 49 / 80 » Using Refinement Checking as System Testing |
UML
2004
Springer
15 years 3 months 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 ...
RTSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
BIRTHDAY
2007
Springer
15 years 1 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
SCAI
2008
14 years 11 months ago
2008
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...