Open AccessBook
Systematic software development using VDM
Cliff B. Jones
- 01 Jun 1986
2.1K
TL;DR: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
read more
Abstract: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition a small case study.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Towards a framework for comparing data models
Atm Ad Aerts,van Km Kees Hee +1 more
- 01 Jan 1989
TL;DR: A framework for datamodeling is proposed which is both fonnal and concise and constructed around the concepts of objects and their mutual functional relations.
Computer science students perceptions of learning formal reasoning methods
TL;DR: In this article, an empirical study was conducted with second and third year computer science undergraduates at Queen Mary and Westfield College, University of London to understand the difficulties they encountered in learning formal reasoning methods.
8
Second-Order Functions and Theorems in ACL2
TL;DR: SOFT as discussed by the authors is a tool to mimic second-order functions and theorems in the first-order logic of ACL2, which can be used to carry out program refinement inside ACL2.
8
An undergraduate course in formal methods: “description is our business”
Guy Tremblay
- 01 Mar 1998
TL;DR: A new undergraduate course in formal methods which emphasizes software specification and description instead of formal program correctness or program derivation to show students that some simple notions from logic and mathematics, together with appropriate constructs for defining software components and systems, can be useful for this purpose.
8
Related Papers (5)
Edsger W. Dijkstra
- 01 Jan 1976
Robin Milner
- 01 Jan 1989
Jim Woodcock,Jim Davies +1 more
- 01 Jan 1996
Ian J. Hayes,Bill Flinn +1 more
- 01 Dec 1987