Abstract
A technique is presented whereby a significant amount of program validation can be done simply by exercising the program components in a model environment provided by a finite state machine, specially built to characterise the real environment of that component. The tools necessary to support such a technique are characterised and the merits and demerits of the technique are discussed.
Keywords
Computer scienceComponent (thermodynamics)Finite-state machineState (computer science)Programming languageFinite stateDevelopment (topology)Software engineeringMachine learning
Affiliated Institutions
Related Publications
The Enterprise Ontology
This is a comprehensive description of the Enterprise Ontology, a collection of terms and definitions relevant to business enterprises. We state its intended purposes, describe ...
Object-oriented programming with flavors
This paper describes Symbolics' newly redesigned object-oriented programming system, Flavors. Flavors encourages program modularity, eases the development of large, complex prog...
Object-oriented programming with flavors
This paper describes Symbolics' newly redesigned object-oriented programming system, Flavors. Flavors encourages program modularity, eases the development of large, complex prog...
Deep Reinforcement Learning for Multiagent Systems: A Review of Challenges, Solutions, and Applications
Reinforcement learning (RL) algorithms have been around for decades and employed to solve various sequential decision-making problems. These algorithms, however, have faced grea...
A Unified Model of Requirements Elicitation
Effective requirements elicitation is essential to the success of software development projects. Many papers have been written that promulgate specific elicitation methods. A fe...
Publication Info
- Year
- 1975
- Type
- article
- Volume
- 10
- Issue
- 6
- Pages
- 221-227
- Citations
- 32
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
32
OpenAlex
Cite This
Peter Henderson
(1975).
Finite state modelling in program development.
ACM SIGPLAN Notices
, 10
(6)
, 221-227.
https://doi.org/10.1145/390016.808443
Identifiers
- DOI
- 10.1145/390016.808443