Filter
Datorer: maskinvara
Filter
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. …
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 …
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. …
The21stEuropeanConferenceonObject-OrientedProgramming,ECOOP2007, was held in Berlin, Germany, on July 30 to August 3, 2007. ECOOP is the most importantand inspiring forumin …
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 …
Welcome to ICSOC-ServiceWave 2009. This volume contains the research and demopapersselectedforpresentationattheSeventhInternationalConferenceon Service-Oriented Computing, which …
This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016. The 14 papers …
The EuropeanConference on Model Driven Architecture - Foundations and - plications (ECMDA-FA) is a new conference dedicated to the study and - dustrial adoption of the model-driven …
Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical …
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November …