Sökt på: Sökresultat
totalt 523 träffar
Ada 2012 Reference Manual. Language and Standard Libraries
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual …
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. …
Algebraic Methodology and Software Technology
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July …
Graph Transformations and Model-Driven Engineering
Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of …
Advances in Conceptual Modeling
This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in …
Search-Based Software Engineering
This book constitutes the refereed proceedings of the 10th International Symposium on Search-Based Software Engineering, SSBSE 2018, held in Montpellier, France, in September 2018. …
Formal Methods for Dynamical Systems
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and …
Component Deployment
This volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment (CD 2005), which took place from 28 to 29, November …
Intelligent Tutoring Systems
This volume constitutes the proceedings of the 16th International Conference on Intelligent Tutoring Systems, ITS 2020, held in Athens, Greece, in June 2020. The 23 full papers and …
Search Based Software Engineering
This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September …
ECOOP - Object-Oriented Programming
The21stEuropeanConferenceonObject-OrientedProgramming,ECOOP2007, was held in Berlin, Germany, on July 30 to August 3, 2007. ECOOP is the most importantand inspiring forumin …
Service-Oriented Computing – ICSOC 2016 Workshops
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented …