Sökt på: Sökresultat
totalt 537 träffar
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 …
Service-Oriented Computing
This book constitutes the refereed conference proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. …
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 …
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and …
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Wearepleasedtopresenttheproceedingsofthe14thMontereyWorkshop,which tookplaceSeptember10–13,2007inMonterey,CA,USA. Inthispreface,wegive the reader an overview of what took place at …
Static Analysis
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 …
Static Analysis
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the …
Practical Aspects of Declarative Languages
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and …