4350 search results - page 641 / 870 » Case studies for contract-based systems |
119
click to vote
ASE
2000
15 years 4 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
146
click to vote
FAC
2000
15 years 4 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
123
click to vote
HF
2002
15 years 4 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
118
click to vote
ANSOFT
1999
15 years 4 months ago
1999
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
146
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Information Extraction (IE) has existed as a field for several decades and has produced some impressive systems in the recent past. Despite its success, widespread usage and comm...