4350 search results - page 566 / 870 » Case studies for contract-based systems |
144
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
148
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
195
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
Rendering and animating in real-time a multitude of articulated characters presents a real challenge and few hardware systems are up to the task. Up to now little research has bee...
224
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
198
click to vote
ISOOMS
1994
15 years 11 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...