C F SHAW Praxis Systems plc. / IBM Vienna Laboratory / /
Continent
Europe / /
Event
FDA Phase / /
Facility
Manchester University / Hall International Contents / IBM Vienna Laboratory / /
IndustryTerm
large software houses / software engineering / large systems / serious software development / computer systems / deterministic software / trained software engineers / storage management / user interface systems / beautiful software / software industry / incorrect software / printing devices / proof systems / industry-scale tools / software development / /
Organization
JONES Department of Computer Science / British Standards Institute / British Standards Institution / Manchester University / /
Person
Robin Milner / George Bernard Shaw / John McCarthy / Formal Aspects vii viii / Peter Lucas / Hans Beki / Cliff Jones / Michael Jackson / Wolfgang Henhapl / Tony Hoare / Rod Burstall / Dana Scott / Peter Landin / CLIFF B JONES / John Reynolds / Christopher Strachey / /
Position
author / designer / /
Product
LNCS98 / /
ProgrammingLanguage
Ada / PL/I / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
database management system / PL/I / operating system / /
Case Studies in Systematic Software Development