{"title":"Edgar G Daylight","description":null,"products":[{"product_id":"dawn-of-software-engineering-book-edgar-g-daylight-9789491386022","title":"The Dawn of Software Engineering","description":"Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building such machines during World War I. Turing's influence was felt more in programming after his death than in computer building during his lifetime. The first person to receive a Turing award was a programmer, not a computer builder. Logicians and programmers recast Turing's notions of machine and universality. Gradually, these recast notions helped programmers to see the bigger picture of what they were accomplishing. Later, problems unsolvable with a computer influenced experienced programmers, including Edsger W. Dijkstra. Dijkstra's pioneering work shows that both unsolvability and aesthetics have practical relevance in software engineering. But to what extent did Dijkstra and others depend on Turing's accomplishments? This book presents a revealing synthesis for the modern software engineer and, by doing so, deromanticizes Turing's role in the history of computing.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50054121423121,"sku":"CIN9491386026G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51068228305169,"sku":"NIN9789491386022","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52402048041233,"sku":"NLS9789491386022","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":53263779168529,"sku":"GOR012284277","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9491386026.jpg?v=1750840578"},{"product_id":"pluralism-in-software-engineering-book-edgar-g-daylight-9789491386008","title":"Pluralism in Software Engineering","description":"What an absolutely cool guy  --- Dennis Shasha, NYU Fascinating. very worthwhile --- Robert Harper, CMU What mathematical rigor has and has not to offer to software engineers. Peter Naur wrote his first research paper at the age of 16. Soon an internationally acclaimed astronomer, Naur's expertise in numerical analysis gave him access to computers from 1950. He helped design and implement the influential ALGOL programming language. During the 1960s, Naur was in sync with the research agendas of McCarthy, Dijkstra, and others. By 1970, however, he had distanced himself from them. Instead of joining Dijkstra's structured programming movement, he made abundantly clear why he disapproved of it. Underlying Naur's criticism is his plea for pluralism: a computer professional should not dogmatically advocate a method and require others to use it in their own work. Instead, he should respect the multitude of personal styles in solving problems. What philosophy has to do with software engineering. Though Peter Naur definitely does not want to be called a philosopher, he acknowledges having been influenced by Popper, Quine, Russell, and others. Naur's writings of the 1970s and 1980s show how he borrowed concepts from philosophy to further his understanding of software engineering. In later years, he mainly scrutinized the work in philosophy and mathematical logic \u0026amp; rules in particular. By penetrating deeply into the 1890 research of William James, Naur gradually developed his own theory of how mental life is like at the neural level of the nervous system. This development, in turn, helps explain why he always opposed the Turing Test and Artificial Intelligence, why he had strong misgivings about the Formal Methods movement and Dijkstra's research in particular.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51067435057425,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51067436728593,"sku":"NIN9789491386008","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52606069244177,"sku":"NLS9789491386008","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/949138600X.jpg?v=1751097454"},{"product_id":"future-of-software-engineering-book-edgar-g-daylight-9789491386015","title":"The Future of Software Engineering","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51630586888465,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51630589051153,"sku":"NGR9789491386015","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52589672694033,"sku":"NLS9789491386015","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52779659034897,"sku":"NIN9789491386015","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9491386018.jpg?v=1750873322"},{"product_id":"turing-tales-book-edgar-g-daylight-9789491386060","title":"Turing Tales","description":"\u003cp\u003eEdgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between their favorite mathematical concepts and the representations thereof in the real world. This leads to mistakes. Daylight introduces seemingly small but useful distinctions. As a result, technical corrections are put forth in connection with formal verification, computer viruses, and program transformation systems.\u003c\/p\u003e \u003cp\u003eEven mathematics isn't free from conceptual flaws. Raymond Boute scrutinizes several unsound treatments of the function concept and connects his findings with computer science proper.\u003c\/p\u003e \u003cp\u003eDaylight also rectifies the romantic idea that Turing invented the modern computer. Contrary to public opinion today, most computer pioneers were not trying to build a practical realization of a universal Turing machine. An exception in this regard is the Dutch computer builder Willem van der Poel, whose story is told here in English for the first time.\u003c\/p\u003e \u003cp\u003eArhur C. Fleck rounds out the historiographical weight of this book with his valuable reflections on the history of programming languages and Turing-Award winners.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52332230181137,"sku":"NLS9789491386060","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52763770880273,"sku":"NIN9789491386060","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789491386060.jpg?v=1758150969"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-edgar-g-daylight.oembed","provider":"World of Books ","version":"1.0","type":"link"}