![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th MOMPES@ICSE 2009: Vancouver, BC, Canada
- ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada. IEEE Computer Society 2009, ISBN 978-1-4244-3721-4
Invited Talk
- Marsha Chechik:
A relationship-based approach to model management. 1
Distributed Embedded Systems
- Andreas Polzer, Stefan Kowalewski, Goetz Botterweck
:
Applying software product line techniques in model-based embedded systems engineering. 2-10 - Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten:
Reliable operating modes for distributed embedded systems. 11-21 - Hesham Shokry, Mike Hinchey
:
On practical Service-Based Computing in distributed embedded automotive systems. 22-30
Formal Approaches
- Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros
:
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. 31-41 - Yunja Choi:
Verification of an abstract component using communication patterns. 42-52
Tools
- Francisco Assis Moreira do Nascimento
, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner:
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. 53-60 - Aldeida Aleti
, Stefan Björnander, Lars Grunske
, Indika Meedeniya:
ArcheOpterix: An extendable tool for architecture optimization of AADL models. 61-71
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.