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

	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Guiding Reification in OWL through Aggregation Paula Severi1 , Jos´e Fiadeiro1 , and David Ekserdjian2 1 DocID: 1thD7 - View Document
	A Design of Deep Reification Shigeru Chiba YungYu Zhuang Maximilian Scherr DocID: 1sVbS - View Document
	For They Know Not What They Do Discourse Ethics, Opposing Standpoints, and Reification Research Proposal by Odin Kroeger e-mail: Giving grounds, however, justifying the evidence, comes to an end DocID: 1s2Qd - View Document
	Ovopub: Modular data publication with minimal provenance Alison Callahan1 and Michel Dumontier1,2,3 1 Department of Biology, 2Institute of Biochemistry, 3School of Computer Science, DocID: 1rkBJ - View Document
	Linked Data and Time – Modeling Researcher Life Lines by Events Johannes Trame, Carsten Keßler, and Werner Kuhn Institute for Geoinformatics, University of M¨ unster, Germany {johannes.trame,carsten.kessler,kuhn}@uni DocID: 1qMlf - View Document