Case Studies in Systematic Software Development

First Page		Document Content
Date: 2015-01-08 04:19:12 Vienna Development Method Dines Bjørner Cliff Jones Formal specification Software development process Reification Abstraction Meta-IV Formal methods Software development Computing		Case Studies in Systematic Software Development Add to Reading List Source URL: homepages.cs.ncl.ac.uk Download Document from Source Website File Size: 2,67 MB Share Document on Facebook

	COMPUTING SCIENCE An Exegesis of Four Formal Descriptions of ALGOL 60 Cliff B. Jones, Troy K. Astarte DocID: 1sZVu - View Document
	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 DocID: 1qCzp - View Document
	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 DocID: 1pkmF - View Document
	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 DocID: 1muds - View Document
	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 DocID: 1m4O9 - View Document