Industrial Strength Formal Methods In Practice

Author : Michael G. Hinchey,Jonathan P. Bowen
Publisher : Springer Science & Business Media
Page : 410 pages
File Size : 43,7 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447105237

Get Book

Industrial-Strength Formal Methods in Practice by Michael G. Hinchey,Jonathan P. Bowen Pdf

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Author : Jim Woodcock,James C.P. Woodcock,Peter G. Larsen
Publisher : Springer Science & Business Media
Page : 712 pages
File Size : 55,5 Mb
Release : 1993
Category : Business & Economics
ISBN : 3540566627

Get Book

FME '93: Industrial-Strength Formal Methods by Jim Woodcock,James C.P. Woodcock,Peter G. Larsen Pdf

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

Author : Shaoying Liu
Publisher : Springer Science & Business Media
Page : 410 pages
File Size : 45,6 Mb
Release : 2013-03-09
Category : Computers
ISBN : 9783662072875

Get Book

Formal Engineering for Industrial Software Development by Shaoying Liu Pdf

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

Author : Wolfgang Grieskamp,Thomas Santen,Bill Stoddart
Publisher : Springer Science & Business Media
Page : 449 pages
File Size : 49,5 Mb
Release : 2007-10-23
Category : Computers
ISBN : 9783540409113

Get Book

Integrated Formal Methods by Wolfgang Grieskamp,Thomas Santen,Bill Stoddart Pdf

Author : Maurice H. ter Beek,Annabelle McIver,José N. Oliveira
Publisher : Springer Nature
Page : 776 pages
File Size : 45,8 Mb
Release : 2019-09-23
Category : Computers
ISBN : 9783030309428

Get Book

Formal Methods – The Next 30 Years by Maurice H. ter Beek,Annabelle McIver,José N. Oliveira Pdf

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.

Author : Robert M. Hierons,Jonathan P. Bowen,Mark Harman
Publisher : Springer
Page : 370 pages
File Size : 44,8 Mb
Release : 2008-04-13
Category : Computers
ISBN : 9783540789178

Get Book

Formal Methods and Testing by Robert M. Hierons,Jonathan P. Bowen,Mark Harman Pdf

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

Author : Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
Publisher : Springer
Page : 692 pages
File Size : 45,6 Mb
Release : 2018-07-11
Category : Computers
ISBN : 9783319955827

Get Book

Formal Methods by Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink Pdf

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

Author : Shengchao Qin,Zongyan Qiu
Publisher : Springer
Page : 670 pages
File Size : 47,5 Mb
Release : 2011-10-23
Category : Computers
ISBN : 9783642245596

Get Book

Formal Methods and Software Engineering by Shengchao Qin,Zongyan Qiu Pdf

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

Author : Ana Cavalcanti,Dennis Dams
Publisher : Springer
Page : 820 pages
File Size : 48,6 Mb
Release : 2009-11-04
Category : Computers
ISBN : 9783642050893

Get Book

FM 2009: Formal Methods by Ana Cavalcanti,Dennis Dams Pdf

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee.

Author : Teofilo Gonzalez,Jorge Diaz-Herrera,Allen Tucker
Publisher : CRC Press
Page : 2326 pages
File Size : 55,5 Mb
Release : 2014-05-07
Category : Computers
ISBN : 9781439898536

Get Book

Computing Handbook by Teofilo Gonzalez,Jorge Diaz-Herrera,Allen Tucker Pdf

The first volume of this popular handbook mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing Machinery (ACM) and the IEEE Computer Society (IEEE-CS). Written by established leading experts and influential young researchers, it examines the elements involved in designing and implementing software, new areas in which computers are being used, and ways to solve computing problems. The book also explores our current understanding of software engineering and its effect on the practice of software development and the education of software professionals.

Author : Phillip A. Laplante
Publisher : CRC Press
Page : 1872 pages
File Size : 45,5 Mb
Release : 2010-11-22
Category : Computers
ISBN : 9781351249256

Get Book

Encyclopedia of Software Engineering Three-Volume Set (Print) by Phillip A. Laplante Pdf

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]

Author : Hassan B. Diab,Albert Y. Zomaya
Publisher : John Wiley & Sons
Page : 693 pages
File Size : 55,8 Mb
Release : 2005-10-05
Category : Computers
ISBN : 9780471674221

Get Book

Dependable Computing Systems by Hassan B. Diab,Albert Y. Zomaya Pdf

A team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.

Author : Jean-Raymond Abrial,Uwe Glässer
Publisher : Springer
Page : 235 pages
File Size : 43,7 Mb
Release : 2010-01-10
Category : Computers
ISBN : 9783642114472

Get Book

Rigorous Methods for Software Construction and Analysis by Jean-Raymond Abrial,Uwe Glässer Pdf

This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.

Author : Alexander Romanovsky,Martyn Thomas
Publisher : Springer Science & Business Media
Page : 262 pages
File Size : 47,9 Mb
Release : 2013-07-09
Category : Computers
ISBN : 9783642331701

Get Book

Industrial Deployment of System Engineering Methods by Alexander Romanovsky,Martyn Thomas Pdf

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.

Author : Mike Hinchey,Lorcan Coyle
Publisher : Springer Science & Business Media
Page : 477 pages
File Size : 51,9 Mb
Release : 2012-01-02
Category : Computers
ISBN : 9781447122975

Get Book

Conquering Complexity by Mike Hinchey,Lorcan Coyle Pdf

Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm. The problem is fundamentally one of complexity: software is fundamentally complex because it must be precise. Problems that appear to be specified quite easily in plain language become far more complex when written in a more formal notation, such as computer code. Comparisons with other engineering disciplines are deceptive. One cannot easily increase the factor of safety of software in the same way that one could in building a steel structure, for example. Software is typically built assuming perfection, often without adequate safety nets in case the unthinkable happens. In such circumstances it should not be surprising to find out that (seemingly) minor errors have the potential to cause entire software systems to collapse. The goal of this book is to uncover techniques that will aid in overcoming complexity and enable us to produce reliable, dependable computer systems that will operate as intended, and yet are produced on-time, in budget, and are evolvable, both over time and at run time. We hope that the contributions in this book will aid in understanding the nature of software complexity and provide guidance for the control or avoidance of complexity in the engineering of complex software systems.