Computing & Internet      Programming

The French School of Programming

(0 reviews)
Hard Cover
£223.98
£152.31
Condition
Quantity
(230 available)
Share
Book Details
Language
English
Publishers
Springer; 2024th edition (30 April 2024)
Weight
0.82 KG
Publication Date
03/06/2024
ISBN-10
3031345177
Pages
463 pages
ISBN-13
9783031345173
Dimensions
15.6 x 2.54 x 23.39 cm
SKU
9783031345173
Author Name
Bertrand Meyer (Editor)
------Latest book (2023): Handbook of Requirements and Business Analysis, SpringerA concise but comprehensive review of requirements engineering. Includes a standard plan for writing modern requirements. Covers requirements writing, requirements elicitation, uses and limitations of scenarios (use cases, user stories), formal approaches to requirements, object-oriented requirements...Complemented by teaching materials and templates for writing rquirements.------Bertrand Meyer is Provost and Professor of Software Engineering at Constructor Institute, Schaffhausen, Switzerland. He was previously at ETH Zurich. He is Founder and CTO of Eiffel Software, Santa Barbara, California.He is the initial designer of the Eiffel method and language and has continued to participate in its evolution. He also directed the development of the EiffelStudio environment, compiler, tools and libraries through their successive versions.His previous book, published in May 2014, is an irreverent, in-depth introduction to agile methods: "Agile! The Good, the Hype and the Ugly" (Springer), the first book to take a critical look at agile development and sort out the productive and damaging ideas.His previous book is an influential an introduction to programming, "Touch of Class: Learning to Program Well, Using Object Technology and Contracts", based on more than a decade of teaching introductory programming at ETH and now supported by a MOOC (http://se.ethz.ch/mooc/programming).Earlier books include "Object-Oriented Software Construction" (a general presentation of object technology, winner of the 1998 Jolt Award); "Eiffel: The Language" (description of the Eiffel language); "Object Success" (a discussion of object technology for managers); "Reusable Software" (a discussion of reuse issues and solutions); "Introduction to the Theory of Programming Languages". He has also authored numerous articles (see publication list) and edited or co-edited several dozen conference proceedings, including the 2005 "Verified Software".Other activities include: chair of the TOOLS conference series ; director of the LASER summer school on software engineering (taking place every year since 2003 in early September in Elba island, Italy); member, and chair since 2009, of the IFIP TC2 committee (Software technology); member of the IFIP Working Group 2.3 on Programming Methodology; member of the French Academy of Technologies. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment), trainer in object technology and other software topics, and conference speaker.Awards include ACM Software System Award, IEEE Harlan D. Mills prize, Fellow of the ACM, Dahl-Nygaard Prize, and an honorary doctorate from University of York (UK).Prior to founding Eiffel Software in 1985, Meyer had a 9-year technical and managerial career at EDF, and was for three years on the faculty at the University of California. His experience with object technology through the Simula language, as well as early work on abstract data types and formal specification (including participation in the first versions of the Z specification language) provided some of the background for the development of Eiffel.At Constructor Institute he pursues research on the construction and verification of high-quality software.He has a home page at https://se.ethz.ch/~meyer and a blog page at https://bertrandmeyer.comRead more about this authorRead less about this author
Read More

Reviews & Ratings

out of 5.0
(0 reviews)
There have been no reviews for this product yet.
The 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 Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction.

In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types.

In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9.

Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations.

Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types.

In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions. This book will be of special interest to anyone with an interest in modern views of programming ― on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… ― and in the insights of a brilliant group of innovators in the field.

. .

Frequently Bought Products

Product Queries (0)

Login Or Registerto submit your questions to seller

Other Questions

No none asked to seller yet

Bookiyos Books Solutions - Quality Books, Unbeatable Prices

Bookiyos Books Solutions is your premier online bookstore offering a vast selection of over 5 crore books. Whether you're looking for the latest releases, timeless classics, or rare finds, we have something for every reader. Our platform serves customers worldwide, including the USA, UK, and Europe, with fast delivery and easy return policies to ensure a hassle-free shopping experience. Discover daily updates, exclusive deals, and a comprehensive collection of books that cater to all your reading needs. Shop with confidence at Bookiyos, where quality books and unbeatable prices meet.

Why Choose Bookiyos?

Extensive Inventory: New, old, and rare books available.
Fast Delivery: Same or next-day shipping.
Easy Returns: Hassle-free refund and return policies.
Global Reach: Serving customers in the USA, UK, Europe, and beyond.
Daily Updates: Thousands of new titles added every day.
Join our community of book lovers and start your literary journey with Bookiyos Books Solutions today!