"e;The NCL Natural Constraint Language"e; presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint …
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of …
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 …
This highly relevant and up-to-the-minute book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures and Compilers, …
This bookconstitutes the proceedings of the 19th International Conference on FundamentalApproaches to Software Engineering, FASE 2016, which took place in Eindhoven,The …
This book constitutes the thoroughly refereed post-proceedings of the 7th ERCIM Workshop on User Interfaces for All, held in Paris, France, in October 2002.The 40 revised full …
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, …
Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschläge für …
Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, ließ sich kaum voraussehen, welche Bedeutung einmal der organisatorische …