1021 search results - page 55 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
113
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
DAC
2002
ACM
16 years 5 days ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
101
click to vote
SAC
2005
ACM
15 years 4 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
FMCAD
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...