Sciweavers

9018 search results - page 172 / 1804
» 3D-Brain Model Software
Sort
View
DATE
2008
IEEE
81views Hardware» more  DATE 2008»
15 years 9 months ago
Using UML as Front-end for Heterogeneous Software Code Generation Strategies
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
Lisane B. de Brisolara, Marcio F. da S. Oliveira, ...
CBSE
2009
Springer
15 years 10 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi
FASE
2009
Springer
15 years 10 months ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
SCAM
2009
IEEE
15 years 10 months ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann
OMER
2001
15 years 4 months ago
UML for Embedded Real-time Systems and the UML Extensions by ARTISAN Software Tools
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
Andreas Korff