Model-Based Methodologies for Pervasive and Embedded Software : :: SCD d'Orléans

Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were...

Полное описание

Сохранить в:

Библиографические подробности
Другие авторы:	Machado, Ricardo J. (Публикующий директор), Maciel, Rita Suzana (Публикующий директор), Rubin, Julia (Публикующий директор), Botterweck, Goetz (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
Редактирование:	1st ed. 2013.
Серии:	Programming and Software Engineering 7706
Online-ссылка:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Примечание:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Model-Based Methodologies for Pervasive and Embedded Software, Texte imprimé, 9783642382086 • Model-Based Methodologies for Pervasive and Embedded Software, Texte imprimé, 9783642382109

Схожие документы

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Security in pervasive computing : First International Conference, Boppard, Germany, March 12-14, 2003 : revised Papers
по: Hutter, Dieter

Embedded software : the works
по: Walls, Colin
Опубликовано: (2012)

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
по: Shukla, Sandeep K.
Опубликовано: (2010)

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Pervasive Computing and the Networked World : Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

Embedded Software Testing : Developing reliable software from fundamentals to AI-based techniques
по: Gruenfelder, Stephan, и др.
Опубликовано: (2026)

Model driven development for embedded software : application to communications for drone swarm
по: Maxa, Jean-Aimé, и др.
Опубликовано: (2018)

Software language engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, revised selected papers

Generative and component-based software engineering : first international symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers

Agent-oriented software engineering. 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, revised selected papers

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Grid and pervasive computing : 8th International conference, GPC 2013 and colocated workshops, Seoul, Korea, May 9-11, 2013. Proceedings

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Model-Based Design of Adaptive Embedded Systems
по: Basten, Twan
Опубликовано: (2013)

Model-Based Engineering of Collaborative Embedded Systems
Опубликовано: (2021)

Pervasive computing : First International Conference, Pervasive 2002, Zurich, Switzerland, August 26-28, 2002 : Proceedings

Software frameworks and embedded control systems
по: Pasetti, Alessandro

pervasive computing : Second international conference, PERVASIVE 2004, Linz/Vienna, Austria, April 18-23, 2004 : Proceedings

Generative and component-based software engineering : second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers

Smart and Pervasive Healthcare
Опубликовано: (2026)

Ubiquitous and Pervasive Computing
Опубликовано: (2023)

Software engineering for embedded systems : methods, practical techniques, and applications
по: Oshana, Robert
Опубликовано: (2013)

Pervasive and Mobile Computing.

Fast software encryption : 8th International Workshop, FSE 2001, Yokohama, Japan, April 2 4, 2001 : revised papers

Embedded Systems Design Based on Formal Models of Computation
по: Radojevic, Ivan, и др.

Performance Analysis of Real-Time Embedded Software
по: Li, Yau-Tsun Steven, и др.

International journal of pervasive computing and communications.
Опубликовано: (2005)

Multi-agent-based simulation. International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012 : revised selected papers
по: Giardini, Francesca

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Pervasive Computing in IoT
Опубликовано: (2024)

Organic and pervasive computing : ARCS 2004 : International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004 : proceedings

Generative and component-based software engineering : third international conference, GCSE 2001, Erfurt, Germany, September 2001 : proceedings

Software Development for Embedded Multi-core Systems : A Practical Guide Using Embedded Intel Architecture
по: Domeika, Max

Hardware-Software Co-Design of Embedded Systems : The POLIS Approach
по: Balarin, Felice, и др.

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

Hardware-Software Co-Synthesis of Distributed Embedded Systems
по: Yen, Ti-Yen, и др.

Co-Synthesis of Hardware and Software for Digital Embedded Systems
по: Gupta, Rajesh Kumar

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales