Hakutulokset: Sarja Programming and Software Engineering
yhteensä 526 hakutulosta
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 …
Search Based Software Engineering
This book constitutes the refereed proceedings of the Third International Symposium on Search Based Software Engineering, SSBSE 2011 held in Szeged, Hungary in collocation with …
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 …