Author: Manfred Broy
Publisher: Springer
Keywords: computer, systems, sciences, series, asi, program, design, nato, deductive
Number of Pages: 467
Published: 1996-06-18
List price: $199.00
ISBN-10: 3540609474
ISBN-13: 9783540609476

This volume presents some of the most advanced research in the description of distributed systems and the design calculi of software and of hardware using functional, algebraic, logical, and programming calculi. The deductive treatment of distributed systems is presented in its complete spectrum from formal foundations and functional system specifications to assertion calculi for the verification of system programs. A highlight is the use of model checking techniques for proving properties about finite state automaton systems with extremely large state sets. It is also shown how the formalisms

Author: Manfred Broy
Publisher: Springer
Keywords: informatik, theoretische, springer, lehrbuch, german, und, systemstrukturen, eine, grundlegende, einfã¼hrung, band
Number of Pages: 415
Published: 2003-04-01
List price: $44.95
ISBN-10: 3540643923
ISBN-13: 9783540643920

Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentli

Author: Manfred Broy
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Keywords: nato, program, calculi, design, july, asi, germany, august, study, proceedings, advanced, institute, marktoberdorf
Number of Pages: 409
Published: 1993-11
List price: unknow
ISBN-10: 354056943X
ISBN-13: 9783540569435

Authors:Manfred Broy, Ernst Denert,
Publisher: Springer
Keywords: pioneers, software
Number of Pages: 728
Published: 2002-08-15
List price: $139.00
ISBN-10: 3540430814
ISBN-13: 9783540430810

This book, which is accompanied by four DVDs, presents epochal works of 16 of the most influential software pioneers. Seminal historical papers, going back as far as to the 1950s, are complemented by new papers especially written by the software pioneers for inclusion in this book and by short biographical notes. The volume is based on a conference where the pioneers met and presented their assessment of the past, new ideas, and visions for the future. The volume editors coherently integrated the historical contributions with current aspects and future perspectives. The four DVDs included are

Authors:Manfred Broy, Markus Pizka,
Publisher: IOS Press
Keywords: nato, science, software, engineering, algebras, logic, models
Number of Pages: 403
Published: 2003-08
List price: $168.00
ISBN-10: 1586033425
ISBN-13: 9781586033422

Computer software is a pervasive factor in advancing the progress and increasing the efficiency of industry, science, commerce and communication. Moreover, it is a significant contributor to the general quality of life of the individual citizen. Future potential contributions are likely to be even greater. Realization of the potential and avoidance of the global risks inherent to the introduction of any new technology, will depend on the imagination, invention, skill and professional discipline of future cohorts of software engineers. This volume focuses on the education of res

Authors:Manfred Broy, Johannes Gruenbauer, David Harel, Tony
Publisher: Springer
Keywords: engineering, intensive, systems, theories, software, mathematics, physics, chemistry, institute, nato, proceedings, advanced, study
Number of Pages: 404
Published: 2005-09-01
List price: $99.95
ISBN-10: 1402035314
ISBN-13: 9781402035319

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applicat

Authors:Manfred Broy, Johannes Gruenbauer, David Harel, Tony
Publisher: Springer
Keywords: engineering, intensive, systems, theories, software, mathematics, physics, chemistry, institute, nato, proceedings, advanced, study
Number of Pages: 404
Published: 2005-08
List price: $199.00
ISBN-10: 1402035306
ISBN-13: 9781402035302

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applicat