लॉगिन | साइन अप | सेटिंग्स | मेरी इच्छा सूची

 



खोजा जा रहा है ...
0 %





Graph Transformations and Model-Driven Engineering
Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
द्वारा Gregor Engels, Claus Lewerentz, Bernhard Westfechtel, Wilhelm Schäfer, Andy Schürr, Dr Wilhelm Schafer Dr
Paperback, 768 पन्ने, प्रकाशित 2011 द्वारा Springer
ISBN-13: 978-3-642-17321-9, ISBN: 3-642-17321-7

"Essays Dedicated to Manfred Nagl on the Occasion of his 65th BirthdayBroschiertes BuchManfred 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 designprocesses,andsoftwarearchitectures.We ?veofhisnumerousacademic descendants were in?uenced deeply by Manfred s wor ..."






Lecture Notes in Computer Science
Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of His 65Th Birthday 5765
द्वारा Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel, David Hutchison
768 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-3-642-17322-6, ISBN: 3-642-17322-5

"Each type of library item can be borrowed for a different period of time (books 6 weeks, journals 3 days, videos 1 week). ... Materials will be lent to employees only if they have (1) no overdue lendables, (2) fewer than 10 articles out, and (3) ... After further brainstorming, the CRC team might propose librarian as a further candidate and recognise further items that a library might need to handle, like for example software and a ..."






Graph Transformations and Model-Driven Engineering
Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
द्वारा Gregor Engels, Claus Lewerentz, Wilhelm Sch Fer
Paperback, 782 पन्ने, प्रकाशित 2011 द्वारा Springer
ISBN-13: 978-3-642-17323-3, ISBN: 3-642-17323-3






8th Conference on Software Engineering Environments
Proceedings, Cottbus, Germany, April 8-9, 1997
द्वारा Jurgen Ebert, Claus Lewerentz
प्रकाशित 1997
ISBN-13: 978-0-8186-8021-2, ISBN: 0-8186-8021-0






8th Conference on Software Engineering Environments
proceedings, Cottbus, Germany, April 8-9, 1997
द्वारा Claus Lewerentz, Ieee Computer Society
Paperback, 184 पन्ने, प्रकाशित 1997 द्वारा Institute Of Electrical & Electronics Enginee
ISBN-13: 978-0-8186-8019-9, ISBN: 0-8186-8019-9

"... also to the people of the repository suppliers, for their presentations, their technical aid and all their other efforts. We would also thank the anonymous referees, Michael Kuchenbecker and Nick Grindell for their help in improving this paper."






8th Conference on Software Engineering Environments
Proceedings, Cottbus, Germany, April 8-9, 1997
द्वारा Claus Lewerentz, Jurgen Ebert
173 पन्ने, प्रकाशित 1997 द्वारा Ieee Computer Society Press
ISBN-13: 978-0-8186-8020-5, ISBN: 0-8186-8020-2






Formal Development of Reactive Systems(1st Edition)
Case Study Production Cell
द्वारा Claus Lewerentz, Thomas Lindner
Paperback, प्रकाशित 1995 द्वारा Springer-Verlag
ISBN-13: 978-0-387-58867-4, ISBN: 0-387-58867-1

"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 developm ..."






Interaktives Entwerfen grosser Programmsysteme
Konzepte und Werkzeuge (Informatik-Fachberichte) (German Edition)
द्वारा Claus Lewerentz, Abha Agrawal
Paperback, 179 पन्ने, प्रकाशित 1988 द्वारा Springer-Verlag
ISBN-13: 978-0-387-50553-4, ISBN: 0-387-50553-9






Interaktives Entwerfen großer Programmsysteme
Konzepte und Werkzeuge (Informatik-Fachberichte) (Delaware Edition)
द्वारा Claus Lewerentz
Paperback, 179 पन्ने, प्रकाशित 1988 द्वारा Springer
ISBN-13: 978-3-540-50553-2, ISBN: 3-540-50553-9

"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 Einsa ..."






Formal Development of Reactive Systems
Case Study Production Cell (Lecture Notes in Computer Science)
द्वारा Claus Lewerentz, Thomas Lindner
Paperback, 400 पन्ने, प्रकाशित 1995 द्वारा Springer
ISBN-13: 978-3-540-58867-2, ISBN: 3-540-58867-1

"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 importa ..."

सभी लेखक

Claus Lewerentz

Gregor Engels

Bernhard Westfechtel

Andy Schürr

Wilhelm Schäfer

Dr Wilhelm Schafer Dr

David Hutchison

Wilhelm Sch Fer

Jurgen Ebert

Thomas Lindner


सभी बाइंडिंग

Paperback

Unknown


सभी वर्ष

2011

2010

1997

1995

1988


सभी क्षेत्रों

English

German