"Algebraic Specification of a Model Transformation Engine"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Algebraic Foundations of Systems Specification	Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner	1999	Springer Berlin Heidelberg
Algebraic Specification of Communication Protocols	S. Mauw; G. J. Veltink	1993-09	Cambridge University Press
Algebraic specification of communication protocols /	Mauw, S.; Veltink, G. J.	1993.	Cambridge University Press,
Infinity Engine (Transformation)	Neal L. Asher	Mar 23, 2017	Tor UK
Algebraic Model Theory	Bradd T. Hart; A. Lachlan; Matthew A. Valeriote	1997	Springer Netherlands
Fundamentals of Algebraic Graph Transformation	Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer	2006	Springer Berlin Heidelberg
Language prototyping: an algebraic specification approach	Paul Klint	1996	World Scientific
"HU" [name of engine model] manual.	Outboard Marine Corporation	1994	Outboard Marine Corp.
Algebraic transformation groups - an introduction	Hanspeter Kraft	2018
Infinity Engine: Transformation Book Three	Neal L. Asher	Mar 21, 2017	Night Shade
Lectures on algebraic model theory /	Hart, Bradd T.; Valeriote, Matthew.	[2002], ©2002.	American Mathematical Society,
Foundations of Algebraic Specification and Formal Software Development	Donald Sannella; Andrzej Tarlecki	2011	Springer Berlin Heidelberg
A representative defense contractor: model specification I	Carl Russell Jones	1975	Naval Postgraduate School
Guiberson Engine Model T-1020	United States War Department; United States. Army. Services of Supply.	1942	U.S. G.P.O.
Specification of Joseph Hately: fire engine and boiler	Joseph Hately	1854	Queen's Printing Office;George E. Eyre and William Spottiswoode)
An algebraic specification language and a syntax directed editor	Norvell L. Lilly	1984	Naval Postgraduate School
Model reference adaptive control of a nuclear rocket engine.	Jack Thomas Humphries	1966
"EO" [name of engine model] service manual.	Outboard Marine Corporation	1994	Outboard Marine Corp.
EN [name of engine model] service manual.		1991	Outboard Marine Corp.
Transformation Groups and Algebraic K-Theory	Wolfgang Lück	1989	Springer Berlin Heidelberg
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 of a Model Transformation Engine	Artur Boronat; José Á. Carsí; Isidro Ramos	Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings	Luciano Baresi; Reiko Heckel	2006	Springer Berlin Heidelberg
Combining Graph Transformation and Algebraic Specification into Model Transformation	Hans-Jörg Kreowski; Sabine Kuske; Caroline von Totth	Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers	Till Mossakowski; Hans-Jörg Kreowski	2012	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
Model Transformation Specification and Design	Kevin Lano; Shekoufeh Kolahdouz-Rahimi	Advances in Computers	Atif Memon	2012	Elsevier
Model Transformation Specification and Verification	Kevin Lano	UML 2 Semantics and Applications	Kevin Lano	2009	John Wiley & Sons
Algebraic specification of concurrency	Egidio Astesiano; Gianna Reggio	Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers	Michel Bidoit; Christine Choppy	1993	Springer Berlin Heidelberg
Algebraic specification of a communication scheduler	Mathai Joseph; Abha Moitra	Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE)	Hartmut Ehrig; Christiane Floyd; Maurice Nivat; James Thatcher	1985	Springer Berlin Heidelberg
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
Algebraic Transformation		Java to Kotlin: A Refactoring Guidebook	Duncan McGregor, Nat Pryce	2021	O'Reilly Media
3 Specification of a Heat Engine		Seven Ideas That Shook the Universe	Nathan Spielberg, Bryon D. Anderson	1995	John Wiley & Sons
ENGINE OIL SPECIFICATION		Chrysler Voyager (1998) Service Manual
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 of Concurrent Systems	Egidio Astesiano; Manfred Broy; Gianna Reggio	Algebraic Foundations of Systems Specification	Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner	1999	Springer Berlin Heidelberg
Algebraic specification of reactive systems	Manfred Broy	Algebraic Methodology and Software Technology: 5th International Conference, AMAST ' 96 Munich, Germany, July 1996. Proceedings	Martin Wirsing; Maurice Nivat	1996	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Algebraic Specification of a Model Transformation Engine" - similar Books and Chapters