410 search results - page 32 / 82 » Tools for System Validation with B Abstract Machines |
UML
2001
Springer
14 years 1 days ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
ENVSOFT
2006
13 years 7 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
STTT
1998
13 years 7 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
The paper describes the first version of the TextMOLE (Text Mining Operations Library and Environment) system for textual data mining. Currently TextMOLE acts as an advanced inde...
IPPS
2003
IEEE
14 years 27 days ago
2003
IEEE
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...