1655 search results - page 5 / 331 » State, Event, Time and Diagram in System Modeling |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
AADEBUG
1997
Springer
13 years 11 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
CAINE
2003
13 years 9 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
B
2007
Springer
14 years 1 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...