Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

The Future of Software Engineering: Panel Discussions

Edgar G. Daylight

0/5 ( ratings)

Top researchers debate whether any real progress has been made during the past decades and how to distinguish between good and bad software. This booklet allows the reader to compare and contrast dominant voices in software engineering. It may serve as an aid for lecturers in explaining to engineering students how to see the wood for the trees in the complicated field of software engineering. The researchers address concurrency, program verification, and the contradistinction between software today versus how it should be in the future. Is it possible to increase the level of abstraction without paying a price in program performance? What is the difference between engineering verification and real verification? What is the role of program specifications in today's development practice? Panelists: Barry Boehm, Manfred Broy, Erich Gamma, Michael A. Jackson, David L. Parnas, Niklaus Wirth, Pamela Zave, Yuri Gurevich, Rustan Leino, Bertrand Meyer, and Andreas Zeller.

Language: English

Pages: 48

Format: Kindle Edition

Publisher: Lonely Scholar

Release: December 13, 2011

The Future of Software Engineering: Panel Discussions

Edgar G. Daylight

0/5 ( ratings)

Top researchers debate whether any real progress has been made during the past decades and how to distinguish between good and bad software. This booklet allows the reader to compare and contrast dominant voices in software engineering. It may serve as an aid for lecturers in explaining to engineering students how to see the wood for the trees in the complicated field of software engineering. The researchers address concurrency, program verification, and the contradistinction between software today versus how it should be in the future. Is it possible to increase the level of abstraction without paying a price in program performance? What is the difference between engineering verification and real verification? What is the role of program specifications in today's development practice? Panelists: Barry Boehm, Manfred Broy, Erich Gamma, Michael A. Jackson, David L. Parnas, Niklaus Wirth, Pamela Zave, Yuri Gurevich, Rustan Leino, Bertrand Meyer, and Andreas Zeller.

Language: English

Pages: 48

Format: Kindle Edition

Publisher: Lonely Scholar

Release: December 13, 2011

More books from Edgar G. Daylight

The Dawn of Software Engineering: From Turing to Dijkstra

3.5/5 ( ratings)

The Essential Knuth

Algorithmic Barriers Falling: P=NP?

4.8/5 ( ratings)

Rate this book!

Write a review?