M. Broy's Books

Software Pioneers

Contributions to Software Engineering

By: M. Broy

Write a review Read reviews Take a Quiz Solve Book Puzzle

Software Pioneers

Contributions to Software Engineering

By: M. Broy

This book, coming with 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 an important supplement to the book providing more than 12 hours of video documentation. Besides a representative overview drawing together the highlights of the presentations, the video recording of each pioneer's talk together with the transparencies used is included. Together, the book and the four DVDs constitute a unique and major contribution to the history of software engineering.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

764

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540430814

ISBN 13

9783540430810

Constructive Methods in Computing Science

International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

By: Manfred Broy

Write a review Read reviews Take a Quiz Solve Book Puzzle

Constructive Methods in Computing Science

International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

By: Manfred Broy

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

474

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642748848

ISBN 13

9783642748844

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

By: Dines Bjorner,Manfred Broy,Alexandre V. Zamulin

Write a review Read reviews Take a Quiz Solve Book Puzzle

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

By: Dines Bjorner,Manfred Broy,Alexandre V. Zamulin

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference was to give an overview of research directions which are decisive for the growth of major areas of research activities in system informatics. The conference was the third one in the line. The r st and second inter- tionalconferences\PerspectivesofSystemInformatics"wereheldinNovosibirsk, Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences gathered a wide spectrum of specialists and were undoubtedly very successful. The third conferenceincluded many of the subjects of the second conference, such as theoretical computer science, programming methodology, new infor- tiontechnologies,andthepromising eldofarti cialintelligence|asimportant components of system informatics. The style of the second conference was p- served to a certain extent in that there were a considerable number of invited papers in addition to the contributed papers. However,posters were replaced by short talks mainly given by young researchers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

552

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540671021

ISBN 13

9783540671022

Book's by M. Broy

Software Pioneers

Software Pioneers

Constructive Methods in Computing Science

Constructive Methods in Computing Science

Perspectives of System Informatics

Perspectives of System Informatics

Username

Password

Username

Password

Password again

Birthday

Email