Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Weiterlesen
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
Weiterlesen
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Weiterlesen
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Weiterlesen
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Weiterlesen
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Weiterlesen
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Weiterlesen
Supervisory Control of Concurrent Systems
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
WeiterlesenSystematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...
Weiterlesen
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Weiterlesen
The Delft Systems Approach : Analysis and Design of Industrial Systems
The pace of development in knowledge and know-how in the fields of organisational sciences, logistics and information technology ...
Weiterlesen
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Weiterlesen
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Weiterlesen
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Weiterlesen
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Weiterlesen
