Sciweavers

3836 search results - page 523 / 768
» Semantics of Database Transformations
Sort
View
PLILP
1992
Springer
15 years 8 months ago
Strictness Analysis for Attribute Grammars
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
Mads Rosendahl
CC
2004
Springer
114views System Software» more  CC 2004»
15 years 8 months ago
Integrating the Soot Compiler Infrastructure into an IDE
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
Jennifer Lhoták, Ondrej Lhoták, Laur...
FASE
2004
Springer
15 years 8 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
CAISE
2008
Springer
15 years 6 months ago
Semi-Automated Model Synchronisation in SOM
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
Christian Flender, Thomas Hettel, Michael Lawley, ...
BPM
2006
Springer
132views Business» more  BPM 2006»
15 years 6 months ago
Product-Driven Enterprise Interoperability for Manufacturing Systems Integration
The "Babel tower effect", induced by the heterogeneity of applications available in the operation of enterprises brings to a consistent lack of "exchangeability"...
Michele Dassisti, Hervé Panetto, Angela Tur...