Programming Methodology

Monographs in Computer Science

Annabelle McIver, Caroll Morgan

470 pages, parution le 06/11/2002

Ajouter à une liste

Indisponible

Résumé

The IFIP working group 2.3 (Programming Methodology) is made up of internationally prominent computing academics and industrialists, and its broad 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. In this volume, members of the influential working group survey new topics 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.

Contents
Part I. Models and correctness:

Concurrency and interaction
Logical Aproaches to asynchrony
Systems and real time
Specifying complex behavior

Part II. Programming techniques:

Object orientation
Type theory

Part III. Applications and automating theories:

Automation
Programming circuits
Security and keeping secrets

L'auteur - Annabelle McIver

Mclver, A., Macquarie Unversity, Sydney, NSW, Australia; Editor

L'auteur - Caroll Morgan

Morgan, C., The University of South Australia, Sydney, NSW, Australia; Editor

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Annabelle McIver, Caroll Morgan
Parution	06/11/2002
Nb. de pages	470
Format	16 x 24
Couverture	Relié
Poids	785g
Intérieur	Noir et Blanc
EAN13	9780387953496
ISBN13	978-0-387-95349-6