2493 search results - page 85 / 499 » Tool Support for Design by Contract |
JCAL
2002
14 years 9 months ago
2002
As computing technology has increasingly become relevant to people's everyday lives, emphasis is being placed on ensuring Computer Assisted Learning (CAL) tools support users ...
HOTOS
1999
IEEE
15 years 2 months ago
1999
IEEE
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...
RTAS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
MAGS
2008
14 years 9 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
SIGDOC
2000
ACM
15 years 2 months ago
2000
ACM
∗ DSTOP, the Design Support Tool for Operating Procedures, is a relatively simple software tool for support of designers of new interfaces and their procedures for use. DSTOP is ...