Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speec...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Margaria, Tiziana (Επιμελητής έκδοσης), Steffen, Bernhard (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Σειρά:	Communications in Computer and Information Science, 17
Θέματα:	Computer science. Software engineering. Computer programming. Computers. Computer simulation. Computer Science. Software Engineering/Programming and Operating Systems. Theory of Computation. Programming Techniques. Software Engineering. Models and Principles. Simulation and Modeling.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

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 /
Έκδοση: (2016)

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Έκδοση: (2009)

The Common Component Modeling Example Comparing Software Component Models /
Έκδοση: (2008)

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering /
Έκδοση: (2009)

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
Έκδοση: (2009)

Software Process Modeling
Έκδοση: (2005)

A Software Process Model Handbook for Incorporating People’s Capabilities
ανά: Acuña, Silvia Teresita, κ.ά.
Έκδοση: (2005)

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
Έκδοση: (2009)

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
Έκδοση: (2008)

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Έκδοση: (2017)

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
Έκδοση: (2016)

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers /
Έκδοση: (2009)

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /
Έκδοση: (2009)

Transactions on Aspect-Oriented Software Development V
Έκδοση: (2009)

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers /
Έκδοση: (2013)

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers /
Έκδοση: (2014)

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Έκδοση: (2008)

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures /
Έκδοση: (2009)

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 /
Έκδοση: (2009)

Software Engineering: Specification, Implementation, Verification
ανά: Alagić, Suad
Έκδοση: (2017)

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 /
Έκδοση: (2005)

Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
Έκδοση: (2008)

Software Process Modeling
ανά: Acuna, Silvia T.
Έκδοση: (2005)

A Software Process Model Handbook for Incorporating Peopleβs Capabilities
ανά: Acuna, Silvia T.
Έκδοση: (2005)

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
Έκδοση: (2013)

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /
Έκδοση: (2007)

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
Έκδοση: (2007)

Models@run.time Foundations, Applications, and Roadmaps /
Έκδοση: (2014)

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
Έκδοση: (2007)

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
Έκδοση: (2008)

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
Έκδοση: (2008)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers /
Έκδοση: (2010)

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
Έκδοση: (2008)

Coloured Petri Nets Modelling and Validation of Concurrent Systems /
ανά: Jensen, Kurt, κ.ά.
Έκδοση: (2009)

Transactions on Aspect-Oriented Software Development II
Έκδοση: (2006)

Software Engineering for Self-Adaptive Systems
Έκδοση: (2009)

Distributed Simulation A Model Driven Engineering Approach /
ανά: Topçu, Okan, κ.ά.
Έκδοση: (2016)

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers /
Έκδοση: (2011)

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers /
Έκδοση: (2012)

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_p4d780d1obg35jhgbb1n2076o3