"Software Engineering with OBJ: Algebraic Specification in Action"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
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
Software Engineering: Specification, Implementation, Verification	Suad Alagić	1st ed. 2017	Springer International Publishing
Algebraic Specifications in Software Engineering: An Introduction	Ivo Van Horebeek; Johan Lewi	1989	Springer Berlin Heidelberg
Foundations of Algebraic Specification and Formal Software Development	Donald Sannella; Andrzej Tarlecki	2011	Springer Berlin Heidelberg
Software Specification and Design: An Engineering Approach	Ph.D., John C. Munson	2005	Routledge
Action Research in Software Engineering: Theory and Applications	Miroslaw Staron	1st ed. 2020	Springer International Publishing
Software Engineering 2: Specification of Systems and Languages	Dines Bjørner	2006	Springer Berlin Heidelberg
Software Engineering with UML	Bhuvan Unhelkar	2017	Routledge
Software engineering with B	J. B. Wordsworth	1996	Addison-Wesley
Software engineering with Ada	Grady Booch	1987	Benjamin/Cummings Pub. Co.
Software engineering with abstractions	Valdis Andris Bērzin̦s̆	1991	Addison-Wesley
Software engineering with Ada	Grady Booch	1994	Benjamin/Cummings
Software Specification Methods	Henri Habrias	2006	John Wiley & Sons
Software specification techniques	Narain Gehani; Andrew D. McGettrick	1986	Addison-Wesley
Software for Algebraic Geometry	Michael E. Stillman; Nobuki Takayama; Jan Verschelde	2008	Springer New York
Software Engineering with Computational Intelligence	Taghi M. Khoshgoftaar	2003	Springer US
Software Engineering with Reusable Components	Johannes Sametinger	1997	Springer Berlin Heidelberg
Engineering Analysis with ANSYS Software	Y. Nakasone; S. Yoshimoto and T.A. Stolarski	2006	Butterworth-Heinemann
Unified Software Engineering With Java	Georges G. Merx, Ronald J. Norman	2006	Pearson
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
Algebraic specification a step towards future software engineering	H. Partsch	Algebraic Methods: Theory, Tools and Applications	Martin Wirsing; Jan A. Bergstra	1989	Springer Berlin Heidelberg
Algebraic specification	Thomas Grünler; Micheal Breau; Rainer Weber	Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System	Berthold Hoffmann; Bernd Krieg-Brückner	1993	Springer Berlin Heidelberg
Algebraic Specification	V. S. Alagar; K. Periyasamy	Specification of Software Systems	V.S. Alagar; K. Periyasamy	1998	Springer New York
Algebraic Specification	V. S. Alagar; K. Periyasamy	Specification of Software Systems	V.S. Alagar; K. Periyasamy	2nd ed. 2011	Springer London
Algebraic Specification	Martin WIRSING	Formal Models and Semantics	J. van Leeuwen	1990	Elsevier
algebraic specification		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Specification of schedulers with algebraic specification techniques	Kouichi Wada; Kenichi Hagihara; Toshiro Araki; Nobuki Tokura	Operating Systems Engineering: Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980	M. Maekawa; L.A. Belady	1982	Springer Berlin Heidelberg
Algebraic Specification in CLEAR	Nimal Nissanke	Formal Specification: Techniques and Applications	Nimal Nissanke	1999	Springer London
Algebraic Specification in Casl	Hubert Baumeister; Didier Bert	Software Specification Methods: An Overview Using a Case Study	Marc Frappier; Henri Habrias	2001	Springer London
Algebraic Specification in CASL	Markus Roggenbach; Liam O’Reilly	Formal Methods for Software Engineering: Languages, Methods, Application Domains	Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh	1st ed. 2022	Springer International Publishing
Constructive Action Semantics in OBJ	Peter D. Mosses	Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday	Kokichi Futatsugi; Jean-Pierre Jouannaud; José Meseguer	2006	Springer Berlin Heidelberg
Algebraic specification with built-in domain constructions	Bernhard Möller; Andrzej Tarlecki; Martin Wirsing	CAAP ' 88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings	M. Dauchet; M. Nivat	1988	Springer Berlin Heidelberg
Algebraic specification with built-in domain constructio		CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21–24, 1988 Proceedings	Jochen Burghardt (auth.), M. Dauchet, M. Nivat (eds.)	1988	Springer-Verlag Berlin Heidelberg
Software Specification	Peter Pepper	Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983	Peter Pepper	1984	Springer Berlin Heidelberg
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
Algebraic view specification	Barbara Paech	Algebraic Methodology and Software Technology: 5th International Conference, AMAST ' 96 Munich, Germany, July 1996. Proceedings	Martin Wirsing; Maurice Nivat	1996	Springer Berlin Heidelberg
I - Algebraic specification		Formal Specification and Design	L. M. G. Feijs; H. B. M. Jonkers	1992-10	Cambridge University Press
45 Algebraic Specification		Fundamentals of software engineering	Rajib Mall	2018	PHI Learning Private Limited
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
Graph grammar engineering: A software specification method	Gregor Engels; Claus Lewerentz; Wilhelm Schäfer	Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986	Hartmut Ehrig; Manfred Nagl; Grzegorz Rozenberg; Azriel Rosenfeld	1987	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Software Engineering with OBJ: Algebraic Specification in Action" - similar Books and Chapters