Sciweavers

4469 search results - page 278 / 894
» A Language for Role Specifications
Sort
View
JAIR
1998
163views more  JAIR 1998»
15 years 6 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi
ENTCS
2006
139views more  ENTCS 2006»
15 years 6 months ago
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars
The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensi...
Damijan Rebernak, Marjan Mernik, Pedro Rangel Henr...
DSL
2009
15 years 4 months ago
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
Sumant Tambe, Aniruddha S. Gokhale
SIGADA
2004
Springer
16 years 1 days ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
JIISIC
2007
15 years 8 months ago
A Minimal OCL-based Profile for Model Transformation
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
Roxana S. Giandini, Gabriela Pérez, Claudia...