1809 search results - page 43 / 362 » A Formal Specification of dMARS |
MPC
1998
Springer
15 years 4 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
102
click to vote
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
102
click to vote
ENTCS
2006
14 years 12 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
102
click to vote
CALCO
2007
Springer
15 years 3 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
WCRE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...