1669 search results - page 45 / 334 » Structured Specification of Model Interpreters |
126
Voted
EPEW
2008
Springer
15 years 4 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
139
Voted
JSS
2010
14 years 9 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
105
Voted
DAC
1992
ACM
15 years 6 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
127
Voted
CLEIEJ
2002
15 years 2 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
108
Voted
AAAI
2004
15 years 4 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...