410 search results - page 45 / 82 » Tools for System Validation with B Abstract Machines |
TOOLS
2000
IEEE
14 years 19 hour ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
MODELLIERUNG
2004
13 years 9 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
CAISE
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...
LCTRTS
2009
Springer
14 years 2 months ago
2009
Springer
The fine-grained parallelism inherent in FPGAs has encouraged their use in packet processing systems. Debugging and performance evaluation of such complex designs can be signifi...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...