COMPUTING SCIENCE An Exegesis of Four Formal Descriptions of ALGOL 60 Cliff B. Jones, Troy K. Astarte

Source URL: internal.ncl.ac.uk

Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract

Source URL: fm.csl.sri.com

• Automated theorem proving
• Theoretical computer science
• Logic
• Mathematics
• Mathematical proofs
• Proof assistants
• Formal methods
• Formal verification
• KeY
• Isabelle
• Rippling
• Automated reasoning

Examples of how to Determine the Specifications of Control Systems Joey W Coleman and Cliff B Jones School of Computing Science University of Newcastle upon Tyne NE1 7RU, UK

Source URL: rodin.cs.ncl.ac.uk

• Combustion
• Problem frames approach
• Software development
• Flame

Raman scattering for understanding order in liquid crystals Professor Helen Gleeson Professor Cliff Jones Dr Mamatha Nagaraj Raman scattering is a spectroscopic technique that allows the order in liquid crystalline syste

Source URL: www.physics.leeds.ac.uk

Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo

Source URL: homepages.cs.ncl.ac.uk

• Software engineering
• Computer science
• Theoretical computer science
• Formal methods
• Fellows of the British Computer Society
• Logic in computer science
• Cliff Jones
• Dines Bjrner
• Models of computation
• Vienna Development Method
• David Gries
• Formal Aspects of Computing

Introduction Addressing the Social Determinants of Children’s Health: A Cliff Analogy Camara Phyllis Jones, MD, MPH, PhD Clara Yvonne Jones, MD, MPH

Source URL: www.vdh.virginia.gov

What can we do (technically) to get “the right specification”? Cliff B Jones University of Newcastle upon Tyne Newcastle, NE1 7RU, UK

Source URL: vstte.ethz.ch

Intuition before Formalism Cliff Jones Newcastle University FM 2015 Oslo

Source URL: homepages.cs.ncl.ac.uk

• Logic
• Music industry
• Relational grammar
• Formalism
• Philosophy
• Mereology
• FO
• Intuition

A Model for Capturing and Replaying Proof Strategies Leo Freitas, Cliff B. Jones, Andrius Velykis and Iain Whiteside School of Computing Science, Newcastle University, NE1 7RU, UK

Source URL: andrius.velykis.lt

• Statements
• Conjectures

Case Studies in Systematic Software Development

Source URL: homepages.cs.ncl.ac.uk

• Vienna Development Method
• Dines Bjørner
• Cliff Jones
• Formal specification
• Software development process
• Reification
• Abstraction
• Meta-IV
• Formal methods
• Software development
• Computing