1823 search results - page 26 / 365 » Formal specification: a roadmap |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
MPC
1998
Springer
13 years 12 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...
DSD
2004
IEEE
13 years 11 months ago
2004
IEEE
An embedded system is an application specific electronic sub-system used in a larger system such as an appliance, an instrument or a vehicle. An embedded system is generally made ...
ENTCS
2006
13 years 7 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 ...
CALCO
2007
Springer
13 years 11 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...