Abstract is missing.
- A relationship-based approach to model managementMarsha Chechik. 1 [doi]
- Applying software product line techniques in model-based embedded systems engineeringAndreas Polzer, Stefan Kowalewski, Goetz Botterweck. 2-10 [doi]
- Reliable operating modes for distributed embedded systemsWolfgang Haberl, Stefan Kugele, Uwe Baumgarten. 11-21 [doi]
- On practical Service-Based Computing in distributed embedded automotive systemsHesham Shokry, Mike Hinchey. 22-30 [doi]
- A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systemsMichael J. Ocean, Assaf J. Kfoury, Azer Bestavros. 31-41 [doi]
- Verification of an abstract component using communication patternsYunja Choi. 42-52 [doi]
- MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representationFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner. 53-60 [doi]
- ArcheOpterix: An extendable tool for architecture optimization of AADL modelsAldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya. 61-71 [doi]