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 / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck.

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...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Machado, Ricardo J. (Editor), Maciel, Rita Suzana (Editor), Rubin, Julia (Editor), Botterweck, Goetz (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Programming and Software Engineering ; 7706 Springer eBook Collection.
Subjects:	Software engineering. Computer logic. Computer communication systems. Programming languages (Electronic computers). Artificial intelligence. Computer simulation. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Models in Software Engineering Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
Published: (2011)

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers
Published: (2010)

Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Published: (2002)

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Published: (2013)

Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings
Published: (2012)

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Published: (2018)

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Published: (2012)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Published: (2014)

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Published: (2019)

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Published: (2017)

Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers
Published: (2011)

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Published: (2006)

Power Estimation and Optimization Methodologies for VLIW-based Embedded Systems
by: Zaccaria, Vittorio, et al.
Published: (2003)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Published: (2013)

Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Published: (2001)

Formal Engineering for Industrial Software Development Using the SOFL Method
by: Liu, Shaoying
Published: (2004)

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
Published: (2012)

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Published: (2012)

Pervasive Computing: A Networking Perspective and Future Directions
Published: (2019)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Published: (2016)

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Published: (2010)

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Published: (2016)

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Published: (2017)

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers
Published: (2010)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Published: (2015)

Model-Based Software Performance Analysis
by: Cortellessa, Vittorio, et al.
Published: (2011)

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings
Published: (2009)

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Published: (2019)

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Published: (2013)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Published: (2017)

Models in Hardware Testing Lecture Notes of the Forum in Honor of Christian Landrault
Published: (2010)

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Published: (2009)

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Published: (2017)

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
Published: (2007)

Software Process Modeling
Published: (2005)

Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Published: (1996)

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Published: (2005)

Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Published: (2004)

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Published: (2017)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Published: (2016)