


default search action
7. MOMPES 2010: Antwerp, Belgium
- Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010. ACM 2010, ISBN 978-1-4503-0123-7

- Sofia Azevedo, Ricardo J. Machado

, Alexandre Bragança
, Hugo Ribeiro:
Support for variability in use case modeling with refinement. 1-8 - Federico Ciccozzi, Antonio Cicchetti

, Toni Siljamäki, Jenis Kavadiya:
Automating test cases generation: from xtUML system models to QML test models. 9-16 - Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet:

A new modeling approach for IMA platform early validation. 17-20 - Raphael Mannadiar, Hans Vangheluwe

:
Modular synthesis of mobile device applications from domain-specific models. 21-28 - Marcio Ferreira da Silva Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller, Flávio Rech Wagner:

Design space abstraction and metamodeling for embedded systems design space exploration. 29-36 - Andreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck

, Jacques Thomas, Stefan Kowalewski:
View-supported rollout and evolution of model-based ECU applications. 37-44 - Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega

, Jean-Luc Richier:
Assertion-based test oracles for home automation systems. 45-52 - Benny Shimony, Ioanis Nikolaidis, Pawel Gburzynski, Eleni Stroulia

:
PicOS tuples: easing event based programming in tiny pervasive systems. 53-60 - Feng Zhou, Søren Top

, Krzysztof Sierszecki
, Christo Angelov:
Simulink analysis of component-based embedded applications. 61-68

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














