Back to Results
First PageMeta Content
Formal methods / Systems engineering / Turing machine / Computability theory / Problem frames approach / Moving frame / Frame language / Frame / Complexity / Theoretical computer science / Applied mathematics / Science


Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have
Add to Reading List

Document Date: 2001-10-09 19:38:32


Open Document

File Size: 117,04 KB

Share Result on Facebook

Facility

A square / The square / /

IndustryTerm

pure function applications / process network / software development problems / data processing / telephone messages / word processing / motor car / data-processing problem / word-processing / machinery / software developers / motor car control / computing / software development problem / software descriptions / software development / software systems / /

MusicAlbum

The Real World / /

Person

Tony Hoare / Polya / /

Position

Model data structure / Worker / compiler writer / /

ProgrammingLanguage

COBOL / Prolog / Pascal / /

Technology

relational database / process control system / simulation / process control / /

SocialTag