1823 search results - page 36 / 365 » Formal specification: a roadmap |
139
click to vote
DEXA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamenntics while abstracting low-level detail. ...
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
The design of a large chip is typically hierarchical
127
click to vote
FMSD
2006
15 years 4 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
129
click to vote
JLP
2006
15 years 4 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
148
click to vote
FORTEST
2008
15 years 5 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...