Claus Lewerentz – författare
Visar alla böcker från författaren Claus Lewerentz. Handla med fri frakt och snabb leverans.
5 produkter
Interaktives Entwerfen großer Programmsysteme
Konzepte und Werkzeuge
Häftad, 1988
585 kr
Lägg i varukorg
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Die wesentlichen Charakteristika …
Formal Development of Reactive Systems
Case Study Production Cell
Av Claus Lewerentz, Thomas Lindner
Häftad, 1995
552 kr
Lägg i varukorg
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to …
Graph Transformations and Model-Driven Engineering
Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Av Gregor Engels, Claus Lewerentz m. fl.
Häftad, 2010
1131 kr
Lägg i varukorg
Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of disciplines, software engineering environments, engineering …
Graph Transformations and Model-Driven Engineering
Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Av Bernhard Westfechtel, Andy Schurr m. fl.
E-bok, 2010
1459 kr
Lägg i varukorg
Interaktives Entwerfen großer Programmsysteme
Konzepte und Werkzeuge
E-bok, 2013
621 kr
Lägg i varukorg
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Die wesentlichen Charakteristika …
