"Program development by transformation and refinement"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Program Development by Refinement: Case Studies Using the B Method	Emil Sekerinski; Kaisa Sere	1999	Springer London
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System	Berthold Hoffmann; Bernd Krieg-Brückner	1993	Springer Berlin Heidelberg
Change, Transformation and Development	J. Stan Metcalfe; Uwe Cantner	2003	Physica-Verlag HD
Green Transformation and Development	Shuzhong Gu; Meie Xie; Xinhua Zhang	1st ed. 2019	Springer Nature Singapore
Organization Development and Transformation	Wendell L. French; A. Zawacki	2005	Mc Graw Hill India
The Origin, Development, and Refinement of Medieval Religious Mendicancies	Donald Prudlo (Editors)	2011-02-14	Brill
Parallel Algorithm Derivation and Program Transformation	Robert Paige; J.H. Reif; Ralph Wachter	1993	Springer US
World Orders, Development and Transformation	E. Sahle	2010	Palgrave Macmillan UK
Vehicle Refinement	Matthew Harrison	2004	Butterworth-Heinemann
Solitary refinement	Madeleine	1972	S.C.M. Press
Specification, refinement, and proof	Woodcock J. Using Z.
The TVA Regional Planning and Development Program: The Transformation of an Institution and Its Mission	David A. Johnson	2005	Routledge
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement	Manfred Broy; Ketil Stølen	2001	Springer New York
Export market development by agricultural commodity promotion program	Karen J. Spatz	1989	U.S. Dept. of Agriculture, Agricultural Cooperative Service
The 1977 community development block grant program for the city of Boston, by program and by neighborhood	Boston Redevelopment Authority	1977
TOURISM AND TRANSITION: GOVERNANCE, TRANSFORMATION AND DEVELOPMENT; ED. BY DEREK R. HALL.	Derek R. Hall		CABI PUBLISHING
Tanzania: Party Transformation and Economic Development	Henry Bienen	1967	Princeton University Press
Organization Development: Accelerating Learning and Transformation	S. Ramnarayan; T. V. Rao	October 2011	SAGE Response
Tanzania: party transformation and economic development	Henry Bienen, Henry Bienen	1967	Princeton University Press
Community development program and application: first program year	New York (N.Y.). Mayor	1975	City of New York
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
Program development by transformation and refinement	Stefan Jähnichen; Fatima Ali Hussain; Matthias Weber	Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986	Reidar Conradi; Tor M. Didriksen; Dag H. Wanvik	1986	Springer Berlin Heidelberg
Program Development by Stepwise Refinement	Niklaus Wirth	Software Pioneers: Contributions to Software Engineering	Manfred Broy; Ernst Denert	2002	Springer Berlin Heidelberg
Program Development by Stepwise Refinement	Niklaus Wirth	Programming Methodology: A Collection of Articles by Members of IFIP WG2. 3	David Gries	1978	Springer New York
Program Development by Stepwise Refinement	Niklaus Wirth	Pioneers and Their Contributions to Software Engineering: sd& m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions	Manfred Broy; Ernst Denert	2001	Springer Berlin Heidelberg
Program Development by Proof Transformation	Ulrich Berger; Helmut Schwichtenberg	Proof and Computation	Helmut Schwichtenberg	1995	Springer Berlin Heidelberg
Algebraic Specification and Program Development by Stepwise Refinement	Donald Sannella	Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR' 99, Venice, Italy, September 22-24, 1999 Selected Papers	Annalisa Bossi	2000	Springer Berlin Heidelberg
Program Refinement	Derek Andrews	A Theory and Practice of Program Development	Derek J. Andrews	1997	Springer London
Program Refinement by Theorem Prover	J. von Wright	6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994	David Till	1994	Springer London
Software Development by Refinement	Dusko Pavlovic; Douglas R. Smith	Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers	Bernhard K. Aichernig; Tom Maibaum	2003	Springer Berlin Heidelberg
Algebraic formalisation of program development by transformation	Bernd Krieg-Brückner	ESOP ' 88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings	Harald Ganzinger	1988	Springer Berlin Heidelberg
Program monitoring and refinement	Tristan J. McIntosh	Ethics Training for Managers: Best Practices and Techniques	Logan Watts; Kelsey Medeiros; Tristan McIntosh; Tyler Mulhearn	2020	Routledge
Linearization by Program Transformation	Sandra Alves; Mário Florido	Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers	Maurice Bruynooghe	2004	Springer Berlin Heidelberg
Program transformation by supercompilation	Valentin F. Turchin	Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985	Harald Ganzinger; Neil Jones	1986	Springer Berlin Heidelberg
Program Correctness by Transformation	Marieke Huisman; Stefan Blom; Saeed Darabi; Mohsen Safari	Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2018	Springer International Publishing
The Taming Sneaky Fears Program: Development and Refinement	Suneeta Monga; Diane Benoit	Assessing and Treating Anxiety Disorders in Young Children: The Taming Sneaky Fears Program	Suneeta Monga; Diane Benoit	1st ed. 2018	Springer International Publishing
Designware: Software Development by Refinement	Douglas R. Smith	High Integrity Software	Victor L. Winter; Sourav Bhattacharya	2001	Springer US
Program transformation and proof transformation	Wilfried Sieg; Stanley S. Wainer	Computer Science Logic: 7th Workshop, CSL ' 93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers	Egon Börger; Yuri Gurevich; Karl Meinke	1994	Springer Berlin Heidelberg
Imperative Program Transformation by Rewriting	David Lacey; Oege de Moor	Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings	Reinhard Wilhelm	2001	Springer Berlin Heidelberg
Program production by successive transformation	M. Griffiths	Language Hierarchies and Interfaces: International Summer School	F.L. Bauer; K. Samelson	1976	Springer Berlin Heidelberg
Program Development and Specification Refinement in the Schema Calculus	Martin C. Henson; Steve Reeves	ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings	Jonathan P. Bowen; Steve Dunne; Andy Galloway; Steve King	2000	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Program development by transformation and refinement" - similar Books and Chapters