Inspection of safety-critical software using program-function tables

Authors:
David Lorge Parnas
Affiliations:
-
Venue:
Software fundamentals
Year:
2001

Citing 0
Cited 2

Structured programming: a minor part of software engineering

Information Processing Letters - Special issue: Contribution to computing science
Teaching formal methods in the context of software engineering

ACM SIGCSE Bulletin

Quantified Score

Hi-index	0.01

Visualization

Abstract