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...
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...
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...