Zhiming Liu

Jonathan P. Bowen

Zili Zhang

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems

Wang Yi

Xuandong Li

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications

Alan Wassyng

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.

First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Foundations of Health Informatics Engineering and Systems

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2004

Huibiao Zhu

Jim Woodcock

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics. He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP) , the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely read and followed by a large number of researchers, and it has been used in many postgraduate courses. He was a senior researcher at Oxford during 1984-1998, and then a senior research fellow at the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during 1998-2005. He has been a professor and currently the Dean of the Institute of Software Engineering at East China Normal University, Shanghai, China. In 2005, He Jifeng was elected as an academician to the Chinese Academy of Sciences. He also received an honorary doctorate from the University of York. He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods

Anders P. Ravn

This volume contains the papers presented at the 7th International Symposium on Automated Technologyfor Veri?cation and Analysis held during October 13- 16 in Macao SAR, China. The primary objective of the ATVA conferences - mains the same: to exchangeand promote the latest advances of state-of-the-art researchon theoretical and practical aspects of automated analysis, veri?cation, and synthesis. Among 74 research papers and 10 tool papers submitted to ATVA 2009, the Program Committee accepted 23 as regular papers and 3 as tool papers. In all, 33 experts from 17 countries worked hard to make sure that every submission received a rigorous and fair evaluation. In addition, the program included three excellenttutorialsandkeynotetalksbyMarkGreenstreet(U.BritishColumbia), Orna Grumberg (Technion), and Bill Roscoe (Oxford University). The conf- ence organizers were truly grateful to have such distinguished researchers as keynote speakers. Many worked hard and o?ered their valuable time so generously to make ATVA 2009 successful. First of all, the conference organizers thank all 229 - searchers who worked hard to complete and submit papers to the conference. ThePCmembers,reviewers,andSteeringCommitteemembersalsodeserves- cial recognition. Without them, a competitive and peer-reviewed international symposium simply cannot take place. Many organizations sponsored the symposium. They include: The United Nations University, International Institute of Software Technology (UNU-IIST); Macao Polytechnic Institute (MPI); Macao POST;and FormalMethods Europe (FME). The conference organizers thank them for their generous support and assistance.

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Theoretical Aspects of Computing -- ICTAC 2013

Jifeng He

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Formal Methods and Software Engineering

Cliff B. Jones

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Theoretical Aspects of Computing - ICTAC 2007

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems

José Luiz Fiadeiro

Jinyun Xue

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Zhiming Liu

Books

Your next favorite book is out there