From Object Orientation to Formal Methods

Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf.

From Object Orientation to Formal Methods

Author: Olaf Owe

Publisher: Springer

ISBN: 3540399933

Page: 394

View: 739

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.

Formal Methods for Distributed Processing

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

Formal Methods for Distributed Processing

Author: Howard Bowman

Publisher: Cambridge University Press

ISBN: 9780521771849

Page: 480

View: 539

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

Formal Methods for Open Object Based Distributed Systems

This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence ...

Formal Methods for Open Object Based Distributed Systems

Author: Paolo Ciancarini

Publisher: Springer Science & Business Media

ISBN: 9780792384298

Page: 436

View: 930

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Formal Methods for Open Object Based Distributed Systems IV

This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and ...

Formal Methods for Open Object Based Distributed Systems IV

Author: Scott F. Smith

Publisher: Springer Science & Business Media

ISBN: 9780792379232

Page: 417

View: 162

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

The Way of Z

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

The Way of Z

Author: Jonathan Jacky

Publisher: Cambridge University Press

ISBN: 9780521559768

Page: 350

View: 501

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

Formal Methods for Open Object based Distributed Systems

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems.

Formal Methods for Open Object based Distributed Systems

Author: Howard Bowman

Publisher: Springer

ISBN:

Page: 470

View: 927

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.

Formal Methods for Components and Objects

An asynchronous communication model for distributed concurrent objects. In
Proc. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM'04),
pages 188–197. IEEE Press, Sept. 2004. E. B. Johnsen and O. Owe. Object-
oriented ...

Formal Methods for Components and Objects

Author: Frank S. de Boer

Publisher: Springer Science & Business Media

ISBN: 3540291318

Page: 328

View: 556

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.

Formal Verification of Object Oriented Software

The US Department of Defense has been a major source of funding for
investigating the application of formal methods to ... What is interesting for the use
of formal methods for object-oriented system design and development is that
there is ...

Formal Verification of Object Oriented Software

Author: Bernhard Beckert

Publisher: Springer

ISBN: 3642317626

Page: 251

View: 919

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

Structured Object Oriented Formal Language and Method

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.

Structured Object Oriented Formal Language and Method

Author: Zhenhua Duan

Publisher: Springer

ISBN: 3030136515

Page: 197

View: 344

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

Formal Object Oriented Development

This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

Formal Object Oriented Development

Author: Kevin Lano

Publisher: Springer Science & Business Media

ISBN: 1447130731

Page: 422

View: 837

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices. The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

Formal Methods for Open Object Based Distributed Systems

This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).The conference was part of the Third Federated c- ferences on ...

Formal Methods for Open Object Based Distributed Systems

Author: Gilles Barthe

Publisher: Springer Science & Business Media

ISBN: 3540688625

Page: 259

View: 457

This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).The conference was part of the Third Federated c- ferences on Distributed Computing Techniques (DisCoTec), together with the 10th International Conference on Coordination Models and Languages (COOR- DINATION 2008) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008). We are grateful to Frank Eliassen and Einar Broch Johnsen of the University of Oslo for the excellent organization of this event in Olso, Norway, June 4–6, 2008. The goal of the FMOODS conferences is to bring together researchers and practitioners whose work encompasses three important and related ?elds: – Formal methods – Distributed systems – Object-based technology The 14 papers presented at FMOODS 2008 and included in this volume were selected by the Program Committee among 35 submissions. Each submission was reviewed by at least three Program Committee members. They all re?ect thescopeoftheconferenceandcoverthe following topics: semantics of obje- oriented programming; formal techniques for speci?cation, analysis, and re?- ment; model checking; theorem proving and deductive veri?cation;type systems and behavioral typing; formal methods for service-oriented computing; integ- tion of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

Concurrent Object Oriented Programming and Petri Nets

This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections.

Concurrent Object Oriented Programming and Petri Nets

Author: Gul A. Agha

Publisher: Springer

ISBN: 3540453970

Page: 544

View: 353

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

Structured Object Oriented Formal Language and Method

How to enable practitioners to easily and effectively use formal techniques still
remains challenging. The Structured Object-Oriented Formal Language (SOFL)
has been developed to address this challenge by providing a comprehensible ...

Structured Object Oriented Formal Language and Method

Author: Shaoying Liu

Publisher: Springer

ISBN: 3642392776

Page: 149

View: 773

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

Formal Object oriented Specification Using Object Z

This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to illustrate the techniques and language of ...

Formal Object oriented Specification Using Object Z

Author: Roger Duke

Publisher: MacMillan

ISBN: 9780333801239

Page: 229

View: 837

This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description.

Structured Object Oriented Formal Language and Method

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019.

Structured Object Oriented Formal Language and Method

Author: Huaikou Miao

Publisher: Springer Nature

ISBN: 3030414183

Page: 364

View: 641

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Formal Methods for Open Object Based Distributed Systems

Static analysis of such a model was previously done in a dataflow oriented way,
with type systems. ... functionality using informal approaches, our work is focused
on applying formal methods to improve concurrent object oriented programming.

Formal Methods for Open Object Based Distributed Systems

Author: Roberto Gorrieri

Publisher: Springer Science & Business Media

ISBN: 354034893X

Page: 270

View: 745

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands,
October 24-26, 2007, Revised Lectures Marcello M. Bonsangue, Susanne Graf,
Willem-Paul de Roever. An Object-Oriented Component Model for
Heterogeneous ...

Formal Methods for Components and Objects

Author: Marcello M. Bonsangue

Publisher: Springer Science & Business Media

ISBN: 3540921877

Page: 313

View: 262

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.

Modular Specification and Verification of Object Oriented Programs

Starting from these considerations, Peter Muller ̈ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent.

Modular Specification and Verification of Object Oriented Programs

Author: Peter Müller

Publisher: Springer Science & Business Media

ISBN: 9783540431671

Page: 298

View: 331

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process. – The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ̈ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.

FME 2003 Formal Methods

During the short history of Computer Science and Software Engineering, there
have been proposed many development methods or paradigms: such as
structured design, object orientation, etc,, etc. The same situation will be found
when we ...

FME 2003  Formal Methods

Author: Italy) International Symposium of Formal Methods Europe 2003 (Pisa

Publisher: Springer Science & Business Media

ISBN: 9783540408284

Page: 942

View: 401

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Formal Methods for Components and Objects

This encapsulation principle is essential to both the object-oriented and the
component-based software engineering paradigms. Formal methods for
component- and object-oriented systems are needed to ensure behavioral and
security ...

Formal Methods for Components and Objects

Author: Elena Giachino

Publisher: Springer

ISBN: 3642406157

Page: 241

View: 129

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.