Sciweavers

6201 search results - page 47 / 1241
» Implementation of Axiomatic Language
Sort
View
GTTSE
2007
Springer
15 years 10 months ago
Evolving a DSL Implementation
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
Laurence Tratt
128
Voted
ICSE
2005
IEEE-ACM
16 years 3 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,...
ATAL
2004
Springer
15 years 9 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...
ICWE
2004
Springer
15 years 9 months ago
An XHTML 2.0 Implementation
The next version of XHTML is at work-in-progress stage in the World Wide Web Consortium. It adds a lot of features to the most used content language of the Web. The most notable ch...
Mikko Pohja, Mikko Honkala, Petri Vuorimaa
ICFP
2002
ACM
16 years 3 months ago
Final shift for call/cc: : direct implementation of shift and reset
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Martin Gasbichler, Michael Sperber