A crucial step toward the goal of automatic extraction of propositional information from natural language text is the identification of semantic relations between constituents in ...
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...
Paolo Atzeni, Paolo Cappellari, Riccardo Torlone, ...
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...