3564 search results - page 195 / 713 » Evaluating a Formal Modelling Language |
172
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
158
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
162
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Classifier learning methods commonly assume that the training data consist of randomly drawn examples from the same distribution as the test examples about which the learned model...
190
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
198
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...