Programming Methodology

By: Annabelle Mclver (Editor), Carroll Morgan (Editor)

Write A Review

Hardcover | 1 October 2002

At a Glance

Hardcover
488 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 7 to 10 business days

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.

Industry Reviews

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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Networking & Communications Computer Programming & Software Development Programming & Scripting Languages Software Engineering Compilers & Interpreters

Other Editions and Formats

Paperback

Published: 3rd December 2010

View Product

Preface
Contributors
Models and correctness	p. 1
Wanted: a compositional approach to concurrency	p. 5
Enforcing behavior with contracts	p. 17
Asynchronous progress	p. 57
A reduction theorem for concurrent object-oriented programs	p. 69
Abstractions from time	p. 95
A predicative semantics for real-time refinement	p. 109
Aspects of system description	p. 137
Modelling architectures for dynamic systems	p. 161
"What is a method?" - an essay on some aspects of domain engineering	p. 175
Programming techniques	p. 205
Object-oriented programming and software development - a critical assessment	p. 211
A trace model for pointers and objects	p. 223
Object models as heap invariants	p. 247
Abstraction dependencies	p. 269
Type systems	p. 293
What do types mean? - From intrinsic to extrinsic semantics	p. 309
Applications and automated theories	p. 329
Automated verification using deduction, exploration, and abstraction	p. 333
An experiment in feature engineering	p. 353
High-level circuit design	p. 381
Power analysis: attacks and countermeasures	p. 415
A probabilistic approach to information hiding	p. 441
Index	p. 461
Table of Contents provided by Blackwell. All Rights Reserved.

Programming Methodology

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Learning Go

An Idiomatic Approach to Real-World Go Programming

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Introduction to Programming Languages

Typesetting Mathematics With Latex

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Think Python

How To Think Like a Computer Scientist

Effective Typescript

83 Specific Ways to Improve Your Typescript

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Building Web Apps with Bolt

Unlock the Future of AI-First Development

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python for Excel

A Modern Environment for Automation and Data Analysis

C++ Programming Language, The

Introduction to Machine Learning with Python

A Guide for Data Scientists

Flask Web Development, 2nd Edition

Developing Web Applications with Python

C# 12 in a Nutshell

The Definitive Reference

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Python Cookbook

Recipes for Mastering Python : 3rd Edition

This product is categorised by