Huibiao Zhu

Jin Song Dong

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Formal Methods and Software Engineering

Formal methods have made signi?cant progress in recent years with succe- ful stories from Microsoft (SLAM project), Intel (i7 processor veri?cation) and NICTA/OK-Lab (formal veri?cation of an OS kernel). The main focus of f- malengineeringmethodsliesinhowformalmethodscanbee?ectivelyintegrated intomainstreamsoftwareengineering.Variousadvancedtheories,techniquesand tools havebeen proposed, developed and applied in the speci?cation, design and veri?cation of software or in the construction of software. The challenge now is how to integrate them into engineering development processes to e?ectively deal with large-scale and complex computer systems for their correct and - ?cient construction and maintenance. This requires us to improve the state of the art by researching e?ective approaches and techniques for integration of f- mal methods into industrial engineering practice, including new and emerging practice. Thisseries,InternationalConferencesonFormalEngineeringMethods,brings together those interested in the application of formal engineering methods to computer systems. This volume contains the papers presented at ICFEM 2010, the 12th International Conference on Formal Engineering Methods, held November 17–19, in Shanghai, China, in conjunction with the Third Inter- tional Symposium on Unifying Theories of Programming (UTP 2010). The Program Committee received 114 submissions from 29 countries and - gions. Each paper was reviewed by at least three program committee members.

Jim Woodcock

INTERNATIONAL CONFERENCE ON FORMAL ENGIN

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Yang Liu

Jun Sun

Grigoris Antoniou

Wei Hu

Yuan-Fang Li

Zhe Wang

This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials. The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies.

6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

Semantic Technology

This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference.

Jin Song Dong

Books

Your next favorite book is out there