Abstract is missing.
- Support for variability in use case modeling with refinementSofia Azevedo, Ricardo J. Machado, Alexandre Bragança, Hugo Ribeiro. 1-8 [doi]
- Automating test cases generation: from xtUML system models to QML test modelsFederico Ciccozzi, Antonio Cicchetti, Toni Siljamäki, Jenis Kavadiya. 9-16 [doi]
- A new modeling approach for IMA platform early validationMichaël Lafaye, David Faura, Marc Gatti, Laurent Pautet. 17-20 [doi]
- Modular synthesis of mobile device applications from domain-specific modelsRaphael Mannadiar, Hans Vangheluwe. 21-28 [doi]
- Design space abstraction and metamodeling for embedded systems design space explorationMarcio F. da S. Oliveira, Francisco Assis M. do Nascimento, Wolfgang Müller 0003, Flávio Rech Wagner. 29-36 [doi]
- View-supported rollout and evolution of model-based ECU applicationsAndreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck, Jacques Thomas, Stefan Kowalewski. 37-44 [doi]
- Assertion-based test oracles for home automation systemsAjitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier. 45-52 [doi]
- PicOS tuples: easing event based programming in tiny pervasive systemsBenny Shimony, Ioanis Nikolaidis, Pawel Gburzynski, Eleni Stroulia. 53-60 [doi]
- Simulink analysis of component-based embedded applicationsFeng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov. 61-68 [doi]