| 書目名稱 | The French School of Programming | | 編輯 | Bertrand Meyer | | 視頻video | http://file.papertrans.cn/911/910002/910002.mp4 | | 概述 | Presents a survey of software engineering research by some of the most prestigious names in French computer science.Details on topics such as programming language design, object-orientation, rewriting | | 圖書封面 |  | | 描述 | .T.he French School of Programming.?is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science.?The authors include several of the originators?of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques..The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machi | | 出版日期 | Book 2024 | | 關(guān)鍵詞 | Software Engineering; Programming Methodology; Programming Languages; Formal Methods of Computing; Softw | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-34518-0 | | isbn_softcover | 978-3-031-34520-3 | | isbn_ebook | 978-3-031-34518-0 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-24 12:05
發(fā)表于 2025-3-21 18:41:39
