Sciweavers

4 search results - page 1 / 1
» Library within Cyberspace Paradigm: the Integrated Virtual L...
Sort
View
INAP
2005
Springer
13 years 10 months ago
TURTLE++ - A CIP-Library for C++
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
Petra Hofstedt, Olaf Krzikalla
EUROMICRO
2006
IEEE
13 years 10 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
ELPUB
2006
ACM
13 years 10 months ago
Electronic Publishing at Humboldt University Berlin - Concepts, Tools and Services
Originally established to merely publish electronic theses and dissertations (ETDs) as well as postdoctoral theses, the edoc server at Humboldt University Berlin (http://edoc.hu-b...
Uwe Müller, Manuel Klatt, Susanne Dobratz, Sv...