Programming Methodology - Rilegato

Rilegato

ISBN 10: 0387953493 ISBN 13: 9780387953496

Casa editrice: Springer-Verlag GmbH, 2002

Riassunto

The IFIP working group 2. 3 (Programming Methodology) is made up of internationally prominent computing academics and industrialists, and broadly its purpose is to invent, discuss and assess new and emerging techniques for improving the quality of software and systems. The group's membership has been influential in topics such as program correctness, object orientation, operating systems and distributed computing; indeed many thriving areas of research nowadays are based on ideas which were once scrutinized by the 2. 3 working committee. This is a volume of chapters written by the membership which will form a reference and guide to the front line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.

Su questo libro

Recensione

From the reviews:

"The book represents a collection of essays concerning the various topics of programming methodology. ... A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. ... Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004)

Contenuti

(parts and sections listed) Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior] Part II: Programming techniques [object orientation, type theory] Part III: Applications and automated theories [putting theories into practice by automation, programming circuits, security and keeping secrets]

Dettagli dell'edizione

• Editore: Springer-Verlag GmbH
• Data di pubblicazione: 2002
• Lingua: Inglese
• ISBN 10: 0387953493
• ISBN 13: 9780387953496
• Rilegatura: Copertina rigida
• Numero di pagine: 488
• Redattore: Mclver Annabelle, Morgan Carroll
• Contatto del produttore: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Germania