The Vienna Development Method: The Meta-Language PDF Download

Author: D. Bjorner
Publisher: Springer
ISBN: 9783662181713
Category : Computers
Languages : en
Pages : 384

View

Book Description

Author: V.S. Alagar
Publisher: Springer
ISBN: 9780857292766
Category : Computers
Languages : en
Pages : 646

View

Book Description
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

Author: Gerard O'Regan
Publisher: Springer
ISBN: 3319640216
Category : Mathematics
Languages : en
Pages : 336

View

Book Description
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.

Author: Quentin Charatan
Publisher: Red Globe Press
ISBN: 0333992814
Category : Computers
Languages : en
Pages : 0

View

Book Description
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.

Author: Eric C.R. Hehner
Publisher: Springer Science & Business Media
ISBN: 1441985964
Category : Computers
Languages : en
Pages : 257

View

Book Description
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.

Author: Robin E. Bloomfield
Publisher: Springer Science & Business Media
ISBN: 9783540502142
Category : Computer science
Languages : en
Pages : 516

View

Book Description
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.

Author: Eugen Antalovsky
Publisher: European Investment Bank
ISBN: 9286138741
Category : Business & Economics
Languages : en
Pages : 74

View

Book Description
This essay reviews the political circumstances and strategic orientations of Vienna's comprehensive urban development policy, and how the EIB's investments facilitated key projects and supported Vienna's process of urban modernisation. Urban development in Vienna took place in four cycles, which are characterised by distinctive internal and external conditions and opportunities. Each prompted different levels of EIB engagement.

Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 184628435X
Category : Computers
Languages : en
Pages : 243

View

Book Description
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.

Author: Cliff B. Jones
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 360

View

Book Description
Software -- Software Engineering.

Author: Boris Shishkov
Publisher: Springer
ISBN: 331994214X
Category : Computers
Languages : en
Pages : 468

View

Book Description
This book constitutes the proceedings of the 8th International Symposium on Business Modeling and Software Design, BMSD 2018, held in Vienna, Austria, in July 2018. The 14 full papers and 21 short papers selected for inclusion in this book deal with a large number of research topics: (i) Some topics concern Business Processes (BP), such as BP modeling / notations / visualizations, BP management, BP variability, BP contracting, BP interoperability, BP modeling within augmented reality, inter-enterprise collaborations, and so on; (ii) Other topics concern Software Design, such as software ecosystems, specification of context-aware software systems, service-oriented solutions and micro-service architectures, product variability, software development monitoring, and so on; (iii) Still other topics are crosscutting with regard to business modeling and software design, such as data analytics as well as information security and privacy; (iv) Other topics concern hot technology / innovation areas, such as blockchain technology and internet-of-things. Underlying with regard to all those topics is the BMSD’18 theme: Enterprise Engineering and Software Engineering - Processes and Systems for the Future.