1021 search results - page 11 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
111
click to vote
FASE
2008
Springer
15 years 26 days ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
ECMDAFA
2009
Springer
15 years 3 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
90
Voted
WWW
2006
ACM
15 years 11 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
100
click to vote
VL
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
CHI
2006
ACM
15 years 11 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...