A new programming methodology for long-lived software systems

Authors:
Robert Strom;Nagui Halim
Affiliations:
IBM Research Division, Yorktown Heights, New York;IBM Research Division, Yorktown Heights, New York
Venue:
IBM Journal of Research and Development
Year:
1984

Citing 9
Cited 0

Communicating sequential processes

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Mechanisms for compile-time enforcement of security

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Guardians and actions: linguistic support for robust, distributed programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
NIL: An integrated language and system for distributed programming

Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
SIMULA 67 common base language, (Norwegian Computing Center. Publication)

SIMULA 67 common base language, (Norwegian Computing Center. Publication)
A Language Extension for Controlling Access to Shared Data

IEEE Transactions on Software Engineering
Capability Managers

IEEE Transactions on Software Engineering
Language Features for Access Control

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The implementer of a large, complex software system cannot make it completely defect free, so he must normally provide fixes for defects found after the code is put into service. A system user may do preventive service by installing these fixes before ...