Keyword

formal specification

Description: A mathematically based description of a system’s required behavior, used to guide software design, development, and verification.

Primary topic: Formal Methods in Verification (25%)

Wikidata ID: wiki/Q1437424

OpenAlex ID: keywords/formal-specification

The Definition of Standard ML

1997 · Robin Milner, Robert Harper, et al. · The MIT Press eBooks · 2,419

Applying 'design by contract'

1992 · B. Meyer · Computer · 2,159

The B-book: assigning programs to meanings

1997 · Choice Reviews Online · 2,112

A classification and comparison framework for software architecture description languages

2000 · N. Medvidovic, R.N. Taylor · IEEE Transactions on Software Engineering · 1,988

PDF

The algorithmic analysis of hybrid systems

1995 · R. Alur, C. Courcoubetis, et al. · Theoretical Computer Science · 1,884

PDF

Requirements engineering

2000 · Bashar Nuseibeh, Steve Easterbrook · 1,836

PDF

Symbolic Model Checking

1993 · Kenneth L. McMillan · Springer eBooks · 1,810

Systematic software development using VDM

1986 · Cli B. Jones · Prentice Hall International (UK) Ltd. eBooks · 1,712

The B-Book

1996 · J. R. Abrial, A. Hoare, et al. · Cambridge University Press eBooks · 1,702

Software abstractions: logic, language and analysis

2007 · Choice Reviews Online · 1,523

The Temporal Logic of Reactive and Concurrent Systems: Specification

1991 · Amir Pnueli, Zohar Manna · 1,355

Introduction to the ISO specification language LOTOS

1987 · Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1,303

PDF

Modeling in Event-B

2010 · Jean-Raymond Abrial · Cambridge University Press eBooks · 1,271

Specifying real-time properties with metric temporal logic

1990 · Ron Koymans · Real-Time Systems · 1,181

Formal Methods: State of the Art and Future Directions

1996 · EM Clarke, JM Wing, et al. · 1,123

Modeling in Event-B system and software engineering

2010 · Abrial, Jean-Raymond · 1,111

Using Z: Specification, Refinement, and Proof

1996 · Jim Woodcock, Jim Davies · Medical Entomology and Zoology · 958

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

2002 · Leslie Lamport · CERN Document Server (European Organization for Nuclear Research) · 938

Process algebra

1990 · J. C. M. Baeten, W. P. Weijland · 929

On interprocess communication

1986 · Leslie Lamport · Distributed Computing · 852

The Abstract State Machines Method for High-Level System Design and Analysis

2009 · Egon Börger · Springer eBooks · 841

Formal methods

1996 · Edmund M. Clarke, Jeannette M. Wing · ACM Computing Surveys · 765

PDF

IEEE Transactions on Software Engineering

1978 · IEEE Transactions on Computers · 761

Fundamentals of Algebraic Specification 1

1985 · Hartmut Ehrig, Bernd Mahr · Springer eBooks · 721

Rodin: an open toolset for modelling and reasoning in Event-B

2010 · Jean-Raymond Abrial, Michael Butler, et al. · International Journal on Software Tools for Technology Transfer · 690

Works count: 25,540

Citation count: 233,300