Formal Specification Papers

The role of formalism in system requirements (full version)

• authors: Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
• date: 2020
• future-topics: Requirements Engineering
• url: https://arxiv.org/abs/1911.02564

.

Consistency Checking of Functional Requirements

• authors: Simone Vuotto
• date: 2018
• future-topics: Requirements Engineering
• url: https://arxiv.org/abs/1804.10486

.

Consistency Checking in Requirements Analysis

• authors: Jaroslav Bendík
• date: 2017
• future-topics: Requirements Engineering
• url: https://jar-ben.github.io/papers/ISSTA2017.pdf

.

Automated Consistency Checking of Requirements Specifications

• authors: Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
• date: 1996
• future-topics: Requirements Engineering
• url: https://apps.dtic.mil/sti/tr/pdf/ADA465574.pdf

.

Automatic program generation from specifications using PROLOG

• authors: Alex Pelin, Pau Morrow
• date: 1988
• url: https://archive.org/details/nasa_techdoc_19880014812
• publication: NASA Technical Documents
• topics: Formal Specification, Prolog
• future-topics: Program Generation

.

Syntactic Theories in Practice

• authors: Olivier Danvy, Lasse R. Nielsen
• date: 2002
• online @ tidsskrift.dk

.