"Algebraic Specifications in Software Engineering: An Introduction"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Algebraic Specifications in Software Engineering: An Introduction	Ivo Van Horebeek; Johan Lewi	1989	Springer Berlin Heidelberg
Experimentation in Software Engineering: An Introduction	Claes Wohlin; Per Runeson; Martin Höst; Magnus C. Ohlsson; Björn Regnell; Anders Wesslén	2000	Springer US
Engineering Software Products: An Introduction to Modern Software Engineering	Ian Sommerville	2019	Pearson
An Introduction to Software Engineering	Greg Jones	April 29, 1990	John Wiley and Sons (WIE)
Reusable software component retrieval via normalized algebraic specifications	Robert Allen Steigerwald	1991	Naval Postgraduate School;Available from the National Technical Information Service
Software Engineering with OBJ: Algebraic Specification in Action	Joseph A. Goguen; Grant Malcolm	2000	Springer US
Software engineering with OBJ: algebraic specification in action	Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)	2000	Springer US
Nondeterminism in Algebraic Specifications and Algebraic Programs	Hussmann	1993	Birkhäuser Boston
Guide to software engineering standards and specifications	Stan Magee	1997	Artech House
Introduction to Software Engineering	Ronald J. Leach	2016	Routledge
Introduction to software engineering /	Leach, Ronald J.	[2000], ©2000.	CRC Press,
Business specifications: the key to successful software engineering	Haim Kilov	1999	Prentice Hall PTR
Software engineering: an engineering approach	James F. Peters	2000	John Wiley
Algebraic Geometry: An Introduction	Daniel Perrin	2008	Springer London
Algebraic Topology: An Introduction	William S. Massey		Springer
Algebraic geometry: an introduction	Perrin D.	2008	Springer
Algebraic Curves: An Introduction to Algebraic Geometry	William Fulton	2008	Addison-Wesley
The construction of formal specifications: an introduction to the model-based and algebraic approaches	J. G. Turner; T. L. McCluskey	1994	McGraw-Hill
A Concise Introduction to Software Engineering	Pankaj Jalote	2008	Springer London
Writing Engineering Specifications	Paul Fitchett; Jeremy Haslam	2002	Routledge
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
Software Engineering: Executable Specifications		Why Prolog?: Justifying Logic Programming for Applications	Gregory L. Lazarev	1989	Prentice Hall;Prentice Hall International
An Algebraic Approach to Modeling in Software Engineering	George J. Loegel; C. V. Ravishankar	Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993	Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo	1994	Springer London
Continuous Software Engineering: An Introduction	Jan Bosch	Continuous Software Engineering	Jan Bosch	2014	Springer International Publishing
An introduction to software engineering		Java Methods: object-oriented programming and data structures	Maria Litvin; Gary Litvin	2011	Skylight Publishing
Algebraic specifications	M-C Gaudel	Software Engineer's Reference Book	John A. McDermid	1991	Butterworth-Heinemann
Algebraic Framework for Reverse Engineering on Specifications		Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology	G. Lambert-Torres	2008	IOS Press
Partial Specifications of Libraries: Applications in Software Engineering	Vladimir Itsykson	Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers	Anna Kalenkova; Jose A. Lozano; Rostislav Yavorskiy	1st ed. 2021	Springer International Publishing
Software Specifications	R.J. Wieringa	Design Methods for Reactive Systems	R.J. Wieringa	2003	Morgan Kaufmann
Engineering Specifications		Engineering communication /	Knisely, Charles W.,; Knisely, Karin,		CENGAGE Learning
Nondeterministic Algebraic Specifications	Heinrich Hussmann	Nondeterminism in Algebraic Specifications and Algebraic Programs	Hussmann	1993	Birkhäuser Boston
Modular algebraic specifications	Horst Hansen; Michael Löwe	Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings	Jan Grabowski; Pierre Lescanne; Wolfgang Wechler	1988	Springer Berlin Heidelberg
Algebraic Imperative Specifications	Marie-Claude Gaudel; Alexandre Zamulin	Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI' 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings	Dines Bjørner; Manfred Broy; Alexandre V. Zamulin	2000	Springer Berlin Heidelberg
MODULAR ALGEBRAIC SPECIFICATIONS	Horst Hansen; Michael Löwe	Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988	Jan Grabowski; Pierre Lescanne; Wolfgang Wechler	1988	De Gruyter
5. Algebraic Specifications		Software specification: a comparison of formal methods /	Gannon, John D.,; Purtilo, James.; Zelkowitz, Marvin V.,	[1994], ©1994.	Ablex Pub. Co.,
An Introduction to Recommendation Systems in Software Engineering	Martin P. Robillard; Robert J. Walker	Recommendation Systems in Software Engineering	Martin P. Robillard; Walid Maalej; Robert J. Walker; Thomas Zimmermann	2014	Springer Berlin Heidelberg
2 - Algebraic Specifications in PSF	G.J. Veltink	Algebraic Specification of Communication Protocols	S. Mauw; G. J. Veltink	1993-09	Cambridge University Press
2. Algebraic Specifications in PSF	G.J. Veltink	Algebraic specification of communication protocols /	Mauw, S.; Veltink, G. J.	1993.	Cambridge University Press,
Engineering Software & Software Engineering	Dieter Rombach	SOFSEM ' 98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings	Branislav Rovan	1998	Springer Berlin Heidelberg
Prototyping object oriented specifications in an algebraic environment	A. Toval; I. Ramos; O. Pastor	Database and Expert Systems Applications: 5th International Conference, DEXA' 94, Athens, Greece, September 7 - 9, 1994. Proceedings	Dimitris Karagiannis	1994	Springer Berlin Heidelberg
Software Engineering: An Overview	Philip A. Laplante	Software Engineering for Image Processing Systems	Philip A. Laplante	2003	Routledge
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Algebraic Specifications in Software Engineering: An Introduction" - similar Books and Chapters