448 search results - page 22 / 90 » A Meta-Method for Formal Method Integration |
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
107
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
113
click to vote
AINA
2003
IEEE
15 years 3 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
113
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...