2493 search results - page 41 / 499 » Tool Support for Design by Contract |
70
Voted
AIPS
2007
15 years 21 hour ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
ICALT
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper will concentrate on how teacher can support learners in creating their own learning tools conducive to learning. Authors will discuss how the journey in creating differ...
RIAO
1997
14 years 11 months ago
1997
The World Wide Web (WWW) is a successful hypermedia information space used by millions of people, yet it suffers from many deficiencies and problems in support for navigation ar...
114
click to vote
TACAS
1997
Springer
15 years 1 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...