Sciweavers

7139 search results - page 429 / 1428
» Language Engineering in Practice
Sort
View
SCAM
2007
IEEE
16 years 1 months ago
Keynote Address: .QL for Source Code Analysis
Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query language, named .QL, ...
Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pav...
KBSE
2006
IEEE
16 years 1 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
COOPIS
2003
IEEE
16 years 28 days ago
A Distributed Rule Mechanism for Multidatabase Systems
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
Vasiliki Kantere, John Mylopoulos, Iluju Kiringa
QSIC
2003
IEEE
16 years 27 days ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
AOSD
2003
ACM
16 years 26 days ago
Conquering aspects with Caesar
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
Mira Mezini, Klaus Ostermann