Software Engineering

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.

We are rapidly heading towards a world in which the computing infrastructure will contain billions of devices, which will interact with other computing/communications devices that are carried or worn by users as they go through their daily routines.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time.

This book constitutes the refereed proceedings of the 17th European Symposium on Computer Security, ESORICS 2012, held in Pisa, Italy, in September 2012.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011.

This book constitutes the refereed proceedings of the 5th International Conference on Artificial General Intelligence, AGI 2012, held in Oxford, UK, in December 2012.

This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.

This book constitutes the refereed proceedings of the Third IFIP WG 5.

This two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the International Conference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011.

The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14-17, 2010 in Tozeur, Tunisia.

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.

The pioneering organizers of the ?

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

This Festschrift volume, published to honor Peter D.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013.

This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.

This two-volume set CCIS 173 and CCIS 174 constitutes the extended abstracts of the posters presented during the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 12 other thematically similar conferences.

This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013.

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011.

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project.

This book is the definitive guide to building modern browser extensions, covering everything from fundamental concepts to advanced techniques.

This book contains substantially extended and revised versions of the best papers from the 14th International Conference on Enterprise Information Systems (ICEIS 2012), held in Wroclaw, Poland, in June/July 2012.

This book contains substantially extended and revised versions of the best papers from the 14th International Conference on Enterprise Information Systems (ICEIS 2012), held in Wroclaw, Poland, in June/July 2012.

This two-volume set CCIS 173 and CCIS 174 constitutes the extended abstracts of the posters presented during the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 12 other thematically similar conferences.

This book constitutes the refereed proceedings of the Second IFIP WG 5.

This book constitutes the refereed proceedings of the 13th IFIP WG 5.

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.

Die Nikon D7100 verfugt uber einen enormen Funktionsumfang, der leicht verwirren kann.

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.

This book constitutes the proceedings of the workshops held at the 29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, which took place in Tampere, Finland, during September 23-26, 2025.

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.