Sciweavers

9455 search results - page 241 / 1891
» The Modelling Language Zinc
Sort
View
SCAM
2008
IEEE
16 years 5 days ago
Using Program Transformations to Add Structure to a Legacy Data Model
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella
ATAL
2004
Springer
15 years 11 months ago
A UML Based Approach for Modeling and Implementing Multi-Agent Systems
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
ICLP
2009
Springer
16 years 6 months ago
Debugging for Model Expansion
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
ICSE
2005
IEEE-ACM
16 years 5 months ago
Modeling and implementing software architecture with acme and archJava
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan,...
ICFP
2004
ACM
16 years 5 months ago
Relating models of backtracking
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
Mitchell Wand, Dale Vaillancourt