"On the Refinement Calculus" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
On the Refinement Calculus	Carroll Morgan; Trevor Vickers	1992	Springer London
Refinement Calculus: A Systematic Introduction	Ralph-Johan Back; Joakim Wright	1998	Springer New York
Vehicle Refinement	Matthew Harrison	2004	Butterworth-Heinemann
Solitary refinement	Madeleine	1972	S.C.M. Press
On the optimality of an additive iterative refinement method	Maksymilian Dryja	1989	Courant Institute of Mathematical Sciences, New York University
Elementary textbook on the calculus	Virgil Snyder	1912	American Book Company
treatise on the differential calculus.	Walton, William	1846	Deightons;Whittaker & co. [etc.]
Elementary textbook on the calculus	Virgil Snyder	1912	American Book co.
Examples on the integral calculus		1850	J. Weale
Elementary textbook on the calculus	Virgil Snyder	January 1, 1912	Cornell University Library
A Treatise on the Differential and Integral Calculus: and on the calculus of variations	Edward Henry Courtenay	1868	A. S. Barnes & co.
A Treatise on the Differential and Integral Calculus: And on the Calculus of Variations	Edward Henry Courtenay	1860	A. S. Barnes & Burr
A treatise on the differential and integral calculus, and on the calculus of variations.	Edward H[enry] Courtenay	1855	A. S. Barnes & co.
A treatise on the differential and integral calculus: and on the calculus of variations	Edward Henry Courtenay	1855	A. S. Barnes & Company
Specification, refinement, and proof	Woodcock J. Using Z.
Rewards writing: sentence refinement	Anita L. Archer	2008	Sopris West (Cambium Learning)
Optimal iterative refinement method.	Olof Widlund	1988	Courant Institute of Mathematical Sciences, New York University
Optimal iterative refinement methods.	Olof Widlund	1988	Courant Institute of Mathematical Sciences, New York University
A Treatise on Infinitesimal Calculus: Containing Differential and Integral Calculus, Calculus of. . .	Bartholomew Price	1868	University press
A Treatise on Infinitesimal Calculus: Containing Differential and Integral Calculus, Calculus of. . .	Bartholomew Price	1857	University press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Refinement Calculus		Specification, refinement, and proof	Woodcock J. Using Z.
The Refinement Calculus	Carroll Morgan	Program Design Calculi	Manfred Broy	1993	Springer Berlin Heidelberg
A tutorial on the refinement calculus	J. C. P. Woodcock	VDM ' 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials	Soren Prehn; Hans Toetenel	1991	Springer Berlin Heidelberg
The Refinement Calculus Hierarchy	Ralph-Johan Back; Joakim von Wright	Refinement Calculus: A Systematic Introduction	Ralph-Johan Back; Joakim Wright	1998	Springer New York
Intuitionistic Refinement Calculus	Sylvain Boulmé	Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings	Simona Ronchi Della Rocca	2007	Springer Berlin Heidelberg
10 - Refinement Calculus		Data Refinement: Model-Oriented Proof Methods and their Comparison	Willem-Paul de Roever; Kai Engelhardt	1998-12	Cambridge University Press
Z and the refinement calculus	Steve King	VDM ' 90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings	Dines Bjørner; C.A.R. Hoare; Hans Langmaack	1990	Springer Berlin Heidelberg
The refinement calculus, and literate development	Carroll Morgan	Formal Program Development: IFIP TC2/WG 2. 1 State-of-the-Art Report	Bernhard Möller; Helmut Partsch; Steve Schuman	1993	Springer Berlin Heidelberg
The Refinement of Event Calculus Models	Bill Stoddart; Steve Dunne	IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999	Keijiro Araki; Andy Galloway; Kenji Taguchi	1999	Springer London
Experimenting with a Refinement Calculus	A. J. M. van Gasteren	Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra	W. H. J. Feijen; A. J. M. Gasteren; D. Gries; J. Misra	1990	Springer New York
A refinement calculus for statecharts	Peter Scholz	Fundamental Approaches to Software Engineering: First International Conference, FASE' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	Egidio Astesiano	1998	Springer Berlin Heidelberg
Development of Semantic Debuggers Based on Refinement Calculus	Rohit N. Kundaji; R. K. Shyamasundar	Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings	Bart Demoen; Vladimir Lifschitz	2004	Springer Berlin Heidelberg
Adding specification constructors to the refinement calculus	Nigel Ward	FME ' 93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings	James C.P. Woodcock; Peter G. Larsen	1993	Springer Berlin Heidelberg
Local Abstraction-Refinement for the mu-Calculus	Harald Fecher; Sharon Shoham	Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings	Dragan Bosnacki; Stefan Edelkamp	2007	Springer Berlin Heidelberg
Structural Refinement for the Modal nu-Calculus	Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez	Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings	Gabriel Ciobanu; Dominique Méry	2014	Springer International Publishing
Tool Support for the Circus Refinement Calculus	Alessandro Cavalcante Gurgel; Cristiano Gurgel de Castro; Marcel Vinicius Medeiros Oliveira	Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings	Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca	2008	Springer Berlin Heidelberg
Types and Invariants in the Refinement Calculus	Carroll Morgan; Trevor Vickers	On the Refinement Calculus	Carroll Morgan; Trevor Vickers	1992	Springer London
Building BSP programs using the refinement calculus	D. B. Skillicorn	Parallel and Distributed Processing: 10th International IPPS/SPDP' 98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings	Jose Rolim	1998	Springer Berlin Heidelberg
Types and invariants in the refinement calculus	Carroll Morgan	Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings	Jan L.A. van de Snepscheut	1989	Springer Berlin Heidelberg
The Refinement Calculus of Reactive Systems Toolset	Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis	Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II	Dirk Beyer; Marieke Huisman	1st ed. 2018	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries