Sciweavers

2521 search results - page 86 / 505
» Semantic Component Composition
Sort
View
ENTCS
2010
130views more  ENTCS 2010»
15 years 2 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
GPCE
2008
Springer
15 years 3 months ago
Polymorphic embedding of dsls
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
Christian Hofer, Klaus Ostermann, Tillmann Rendel,...
FASE
2001
Springer
15 years 7 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
ICLP
1992
Springer
15 years 6 months ago
A Declarative View of Inheritance in Logic Programming
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
Michele Bugliesi
EUROMICRO
2004
IEEE
15 years 6 months ago
Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
Steffen Zschaler