Sciweavers

15778 search results - page 442 / 3156
» Aikido and software engineering
Sort
View
ETFA
2008
IEEE
15 years 8 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Daniela Cancila, Roberto Passerone
PEPM
1999
ACM
15 years 11 months ago
Quasiquotation in Lisp
Quasiquotation is the technology commonly used in Lisp to write program-generating programs. In this paper I will review the history and development of this technology, and explai...
Alan Bawden
FOSSACS
1998
Springer
15 years 11 months ago
Mobile Ambients
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
Luca Cardelli, Andrew D. Gordon
FSTTCS
1998
Springer
15 years 11 months ago
On the Confluence of Trace Rewriting Systems
In [NO88], a particular trace monoid M is constructed such that for the class of length
Markus Lohrey
RE
1997
Springer
15 years 11 months ago
Enhancing a Requirements Baseline with Scenarios
Julio Cesar Sampaio do Prado Leite, Gustavo Rossi,...