WorldCat Identities

Lewerentz, Claus

Overview
Works: 51 works in 108 publications in 2 languages and 1,523 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, dgs, Contributor, htt, Other
Publication Timeline
.
Most widely held works by Claus Lewerentz
Formal development of reactive systems : case study production cell by Claus Lewerentz( Book )

21 editions published in 1995 in English and German and held by 564 WorldCat member libraries worldwide

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 the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use
Proceedings of VISSOFT 2011 : 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis : September 29-30, 2011, Williamsburg, Virginia, USA by International Workshop on Visualizing Software for Understanding and Analysis( )

1 edition published in 2011 in English and held by 258 WorldCat member libraries worldwide

Proceedings, 8th Conference on Software Engineering Environments : Cottbus, Germany, April 8-9, 1997 by Software Engineering Environments Conference( )

1 edition published in 2000 in English and held by 238 WorldCat member libraries worldwide

8th Conference on Software Engineering Environments : proceedings, Cottbus, Germany, April 8-9, 1997 by Software Engineering Environments Conference( Book )

8 editions published in 1997 in English and held by 108 WorldCat member libraries worldwide

Interaktives Entwerfen grosser Programmsysteme : Konzepte und Werkzeuge by Claus Lewerentz( Book )

9 editions published in 1988 in German and Undetermined and held by 105 WorldCat member libraries worldwide

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 des IPSEN-Ansatzes sind der hohe Grad an Integration verschiedener Software-Werkzeuge und -Dokumente und der Einsatz eines einheitlichen Modellierungs- und Realisierungsmechanismus für Software-Entwicklungsumgebungen. Software-Dokumente werden intern als attributierte Graphstrukturen modelliert, und Werkzeuge werden als Graphprozessoren über solchen Strukturen aufgefaßt. Die vorliegende Arbeit, die über einen Teil dieses Projektes berichtet, beschäftigt sich in erster Linie mit Konzepten und Werkzeugen für den Arbeitsbereich "Programmieren im Großen", d.h. mit dem Entwerfen von Programmsystemen auf der Ebene von Teilsystemen, Modulen, Modulschnittstellen und -beziehungen. Es wird ein Modulkonzept zusammen mit einer entsprechenden Entwurfssprache vorgestellt und diskutiert, wie damit beschriebene Systemarchitekturen in vorgegebene Programmiersprachen abgebildet werden können. Hinzu kommen Konzepte zur Beschreibung und Verwaltung von Varianten und Revisionen von Systemkomponenten. Die Erstellung technischer Dokumentation und die Verwaltung eines Projektteams werden ebenfalls behandelt. Zu jedem Arbeitsbereich werden Syntax-gesteuerte Editoren, Analyse- und Transformationswerkzeuge vorgestellt, die integriert zusammenarbeiten und sich dem Benutzer auf einheitliche Weise präsentieren. Die Realisierung dieser Werkzeuge gemäß dem "Graphentechnik"--Ansatz wird kurz dargestellt, im Anhang der Arbeit findet sich eine formale Beschreibung des verwendeten Graphgrammatik-Kalküls
Graph transformations and model-driven engineering essays dedicated to Manfred Nagl on the occasion of his 65th birthday by G Engels( Book )

9 editions published in 2010 in English and German and held by 80 WorldCat member libraries worldwide

Annotation
Consistent Software Cities : supporting comprehension of evolving software systems by Frank Steinbrückner( )

1 edition published in 2013 in English and held by 17 WorldCat member libraries worldwide

On integration mechanisms within a graph-based software development environment by Claus Lewerentz( Book )

4 editions published between 1986 and 1987 in 3 languages and held by 15 WorldCat member libraries worldwide

Manifest Strategische Bedeutung des Software Engineering in Deutschland( )

1 edition published in 2006 in German and held by 14 WorldCat member libraries worldwide

Incremental programming in the large syntax aided specification editing, integration, and maintenance by Rupert Gall( Book )

4 editions published between 1983 and 1984 in English and German and held by 10 WorldCat member libraries worldwide

Integrated project team management in a software development environment by Thorsten Janning( Book )

1 edition published in 1988 in German and held by 8 WorldCat member libraries worldwide

An annotated bibliography <1983> on software development environments by Claus Lewerentz( Book )

1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide

Objektorientierte Spezifikationsmethoden( Book )

1 edition published in 1992 in German and held by 6 WorldCat member libraries worldwide

An annotated bibliography (1983) on software development environments by Claus Lewerentz( Book )

1 edition published in 1983 in German and held by 5 WorldCat member libraries worldwide

Issues in tool integration( Book )

1 edition published in 1993 in German and held by 4 WorldCat member libraries worldwide

SoftUrbs : visualizing software systems as urban structures by Claus Lewerentz( Book )

2 editions published in 2009 in English and held by 4 WorldCat member libraries worldwide

CrocoPat a tool for efficient pattern recognistion in large object oriented programs by Dirk Beyer( Book )

1 edition published in 2003 in English and held by 4 WorldCat member libraries worldwide

Are software engineers true engineers? by Claus Lewerentz( Book )

1 edition published in 1998 in English and held by 4 WorldCat member libraries worldwide

Zur Bedeutung von Spezifikationen in verschiedenen Teilaufgaben der Entwicklung kundenspezifischer Software by Claus Lewerentz( Book )

1 edition published in 1997 in German and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.65 (from 0.46 for An annotat ... to 0.95 for 8th Confer ...)

Interaktives Entwerfen grosser Programmsysteme : Konzepte und Werkzeuge
Covers
Graph transformations and model-driven engineering essays dedicated to Manfred Nagl on the occasion of his 65th birthday
Languages
English (48)

German (21)