1146 search results - page 77 / 230 » Formal Specification Generation from Requirement Documents |
ISSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
AGTIVE
2003
Springer
15 years 3 months ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
JETAI
2002
14 years 9 months ago
2002
We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe t...