|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ricardo Jorge Machado 0001, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck (eds.) |
Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![Springer, 978-3-642-38208-6 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette |
A Graphical Specification of Model Composition with Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 1-18, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kent Inge Fagerland Simonsen, Lars Michael Kristensen |
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 106-125, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Markus Klotzbücher, Herman Bruyninckx |
A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 58-68, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Mori, Anthony Cleve |
Feature-Based Adaptation of Database Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 85-105, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski |
Analysis of Simulink Models Using Databases and Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 69-84, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Madalena Gonçalves, João M. Fernandes |
Guidelines for Modelling Reactive Systems with Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 126-137, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
MapIt: A Model Based Pattern Recovery Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 19-37, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Falzon, Gordon J. Pace |
Combining Testing and Runtime Verification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers, pp. 38-57, 2012, Springer, 978-3-642-38208-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Azevedo, Ricardo J. Machado 0001, Alexandre Bragança, Hugo Ribeiro |
Support for variability in use case modeling with refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 1-8, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Mannadiar, Hans Vangheluwe |
Modular synthesis of mobile device applications from domain-specific models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 21-28, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Feng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov |
Simulink analysis of component-based embedded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 61-68, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier |
Assertion-based test oracles for home automation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 45-52, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marcio F. da S. Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller 0003, Flávio Rech Wagner |
Design space abstraction and metamodeling for embedded systems design space exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 29-36, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benny Shimony, Ioanis Nikolaidis, Pawel Gburzynski, Eleni Stroulia |
PicOS tuples: easing event based programming in tiny pervasive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 53-60, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet |
A new modeling approach for IMA platform early validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 17-20, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Polzer, Bernd Hedenetz, Daniel Merschen, Goetz Botterweck, Jacques Thomas, Stefan Kowalewski |
View-supported rollout and evolution of model-based ECU applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 37-44, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Federico Ciccozzi, Antonio Cicchetti, Toni Siljamäki, Jenis Kavadiya |
Automating test cases generation: from xtUML system models to QML test models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010, pp. 9-16, 2010, ACM, 978-1-4503-0123-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2010, Antwerp, Belgium, September 20-24, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![ACM, 978-1-4503-0123-7 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hesham Shokry, Mike Hinchey |
On practical Service-Based Computing in distributed embedded automotive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 22-30, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yunja Choi |
Verification of an abstract component using communication patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 42-52, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten |
Reliable operating modes for distributed embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 11-21, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik |
A relationship-based approach to model management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 1, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner |
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 53-60, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros |
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 31-41, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya |
ArcheOpterix: An extendable tool for architecture optimization of AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 61-71, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Polzer, Stefan Kowalewski, Goetz Botterweck |
Applying software product line techniques in model-based embedded systems engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 2-10, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cubo, Carlos Canal, Ernesto Pimentel 0001 |
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 3-13, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Flávio Rech Wagner |
Software Quality Metrics and their Impact on Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 68-77, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lidia Fuentes, Nadia Gámez, Pablo Sánchez 0002 |
Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 34-43, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iván García-Magariño, Jorge J. Gómez-Sanz |
Framework for Defining Model Language Metamodels for CASE Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 14-23, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Dallien, Wendy MacCaull, Allen Tien |
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 78-91, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Jorge Machado 0001, João M. Fernandes, Flávio Rech Wagner, Rick Kazman (eds.) |
Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![IEEE Computer Society, 0-7695-3104-0 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Dionisio de Niz |
Architectural Concurrency Equivalence with Chaotic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 57-67, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Driver, Vinny Cahill, Siobhán Clarke |
Separation of Distributed Real-Time Embedded Concerns with Theme/UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 27-33, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco A. Wehrmeister, Edison Pignaton de Freitas, Dalimir Orfanus, Carlos Eduardo Pereira, Franz-Josef Rammig |
A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 44-54, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Anastasopoulos, András Balogh |
Model-driven Development of Particle System Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 102-114, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | João M. Fernandes, Ricardo Jorge Machado 0001, Ridha Khédri, Siobhán Clarke (eds.) |
Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![IEEE Computer Society, 0-7695-2769-8 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner |
ModES: Embedded Systems Design Methodology and Tools Based on MDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 67-76, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Rodrigues da Silva, João de Sousa Saraiva, Rui Silva, Carlos Martins |
XIS-UML Profile for eXtreme Modeling Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 55-66, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean Bézivin, Mikaël Barbero, Frédéric Jouault |
On the Applicability Scope of Model Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 3-7, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet |
A Generic Execution Framework for Models of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 45-54, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bas Graaf, Arie van Deursen |
Model-Driven Consistency Checking of Behavioural Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 115-126, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nektarios Georgalas, Shumao Ou, Manooch Azmoodeh, Kun Yang |
Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 21-32, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Cetina, Estefanía Serral, Javier Muñoz, Vicente Pelechano |
Tool Support for Model Driven Development of Pervasive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 33-44, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bæk Jørgensen |
Executable Use Cases: A Supplement to Model-Driven Development?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 8-15, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Conmy, Richard F. Paige |
Model-driven Development of Particle System Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 127-136, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
Designing a Unified Process for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 77-90, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Bragança, Ricardo Jorge Machado 0001 |
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, pp. 91-101, 2007, IEEE Computer Society, 0-7695-2769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Jorge Machado 0001, João M. Fernandes, Matthias Riebisch, Bernhard Schätz (eds.) |
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006, Potsdam, Germany, March 30, 2006, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![IEEE Computer Society, 0-7695-2538-5 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|