Sciweavers

3429 search results - page 40 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
IFIP
1998
Springer
13 years 12 months ago
Modeling of Hypermedia Applications with HyDev
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
Peter Pauen, Josef Voss, Hans-Werner Six
FOAL
2007
ACM
13 years 11 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
OMER
2001
13 years 9 months ago
A Model-Based Approach for Automotive Software Development
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
Peter Braun 0003, Martin Rappl
ICFP
2005
ACM
14 years 7 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
IESA
2007
13 years 9 months ago
Formalizing the OPAL eBusiness ontology design patterns with OWL
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
Fulvio D'Antonio, Michele Missikoff, Francesco Tag...