Sciweavers

996 search results - page 67 / 200
» A Compositional Model for Software Reuse
Sort
View
CORR
2004
Springer
108views Education» more  CORR 2004»
15 years 3 months ago
Pervasive Service Architecture for a Digital Business Ecosystem
In this paper we present ideas and architectural principles upon which we are basing the development of a distributed, open-source infrastructure that, in turn, will support the ex...
Thomas Heistracher, Thomas Kurz, Claudius Masuch, ...
DFG
2004
Springer
15 years 7 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
IADIS
2003
15 years 5 months ago
Educational Component Model for Adaptive Web-Based Courses
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
Freddy Duitama, Bruno Defude, Amel Bouzeghoub, Cla...
ECOWS
2004
Springer
15 years 9 months ago
A Conceptual Framework for Semantic Web Services Development and Deployment
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
Claus Pahl
IEE
2010
136views more  IEE 2010»
15 years 2 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil