Authors:M. Broy, M Broy, T. Hoare, J. Grunbauer,
Publisher: IOS Press
Keywords: security, nato, information, communication, series, science, volume, systems, reliability, software
Number of Pages: 434
Published: 2007-05-15
List price: $183.00
ISBN-10: 1586037315
ISBN-13: 9781586037314

The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. However, based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods,

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