"Specification and Transformation of Programs: A Formal Approach to Software Development"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Specification and Transformation of Programs: A Formal Approach to Software Development	Helmut A. Partsch	1990	Springer Berlin Heidelberg
Specification and transformation of programs: a formal approach to software development	Helmut A. Partsch	1990	Springer-Verlag
Formal specification and software development	Dines Bjørner	1982	Prentice-Hall
Foundations of Algebraic Specification and Formal Software Development	Donald Sannella; Andrzej Tarlecki	2011	Springer Berlin Heidelberg
Software specification: a comparison of formal methods /	Gannon, John D.,; Purtilo, James.; Zelkowitz, Marvin V.,	[1994], ©1994.	Ablex Pub. Co.,
Formal development of programs and proofs	E. W. Dijkstra	1990	Addison-Wesley
Formal specification using Z: a modelling approach /	Bottaci, Leon.; Jones, John.	1995.	International Thomson Publishing,
Formal Software Development: From VDM to Java	Quentin Charatan, Aaron Kans	2003	Palgrave Macmillan
Formal Specification Techniques for Engineering Modular C Programs	Yang Meng Tan	1996	Springer US
Software Specification and Design: An Engineering Approach	Ph.D., John C. Munson	2005	Routledge
Domain Modeling-Based Software Engineering: A Formal Approach	Ruqian Lu; Zhi Jin	2000	Springer US
Software development: a rigorous approach	Jones, C. B.	1980	Prentice/Hall International
Software Development Measurement Programs: Development, Management and Evolution	Miroslaw Staron; Wilhelm Meding	1st ed. 2018	Springer International Publishing
An integrated approach to software development	Russell J. Abbott	1986	Wiley
A formal approach to hazard decomposition in Software Fault Tree Analysis	Donald Michael Needham	1990	Naval Postgraduate School
Erlang Programming: a Concurrent Approach to Software Development	Cesarini, Francesco, Thompson, Simon & Simon Thompson	2009	O'Reilly Media, Inc
Formal Specification and Design	L. M. G. Feijs; H. B. M. Jonkers	1992-10	Cambridge University Press
Formal specification and design	L. M. G. Feijs	1992	Cambridge University Press
Understanding XML: A Software Development Approach	Hossein Hassani	2015	Bookboon.com
Modula-2: A Software Development Approach		March 1986	John Wiley & Sons Inc
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
Formal Specification of Software		56. Software Engineering	John G. Webster (Editor)	1999	Wiley
An Approach to Formal Specification of Component-Based Software		Handbook of Research on E-Services in the Public Sector: E-Government Strategies and Advancements	Abid Thyab Al Ajeeli	2010	IGI Global
A Pragmatic Approach to Formal Specification	Maritta Heisel	Object-Oriented Behavioral Specifications	Haim Kilov; William Harvey	1996	Springer US
Programs: Formal specification with		Mathematical Logic for Computer Science	Mordechai Ben-Ari PhD (auth.)	2001	Springer London
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs	Kung-Kiu Lau; Mario Ornaghi	Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993	Yves Deville	1994	Springer London
A Formal Approach to Software Reusability	K. Periyasamy	Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993	V.S. Alagar; S. Bergler; F.Q. Dong	1994	Springer London
On Formal Specification of Maple Programs	Muhammad Taimoor Khan; Wolfgang Schreiner	Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings	Johan Jeuring; John A. Campbell; Jacques Carette; Gabriel Reis; Petr Sojka; Makarius Wenzel; Volker Sorge	2012	Springer Berlin Heidelberg
Programs: Formal specification with Z	Mordechai Ben-Ari	Mathematical Logic for Computer Science	Mordechai Ben-Ari	2nd ed. 2001	Springer London
A Data Base Approach to Software Specification	John Miles Smith; Diane C. P. Smith	Software Development Tools	W.E. Riddle; R.E. Fairley	1980	Springer Berlin Heidelberg
Formal Specification of Evolutionary Software Agents	Hong Zhu	Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings	Chris George; Huaikou Miao	2002	Springer Berlin Heidelberg
A formal approach to hypertext using post-prototype formal specification	Danny B. Lange	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
Is Engineering Software Amenable to Formal Specification?	John W. Baugh Jr.	First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992	Ursula Martin; Jeannette M. Wing	1993	Springer London
8. Specification and development of programs		Computation and reasoning: a type theory for computer science /	Luo, Zhaohui.	1994.	Oxford University Press,
A Generic Approach to the Formal Specification of Requirements	C. Peper, R. Gotzhein and M. Kronenburg	First IEEE International Conference Conference [sic] on Formal Engineering Methods: Hiroshima, Japan, November 12-14, 1997: proceedings /	Hinchey, Michael G.; Liu, Shaoying.	[1997], ©1997.	IEEE Computer Society Press,
A Formal Approach to Lingware Development	Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou	Multiple Approaches to Intelligent Systems: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings	Ibrahim Imam; Yves Kodratoff; Ayman El-Dessouki; Moonis Ali	1999	Springer Berlin Heidelberg
A Formal Approach to Software Product Families	Martin Leucker; Daniel Thoma	Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	2012	Springer Berlin Heidelberg
A Formal Approach to Heterogeneous Software Modeling	Alexander Egyed; Nenad Medvidovic	Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Tom Maibaum	2000	Springer Berlin Heidelberg
A formal approach to large SOFTWARE CONSTRUCTION	J. R. Abrial	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
Programs and Software Development	Joés M. Garrido	Object Oriented Simulation: A Modeling and Programming Perspective	José M. Garrido	2009	Springer US
A GUI-Aided Approach to Formal Specification Construction	Shaoying Liu	Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers	Shaoying Liu; Zhenhua Duan	1st ed. 2016	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Specification and Transformation of Programs: A Formal Approach to Software Development" - similar Books and Chapters