Parnas, David Lorge.
David Parnas Canadian software engineer
Parnas, David Lorge 1941-
Parnas, D. L. (David Lorge)
David Parnas
Parnas, David L.
Parnas, David L. (David Lorge)
VIAF ID: 18153118 ( Personal )
Permalink: http://viaf.org/viaf/18153118
Preferred Forms
- 100 0 _ ‡a David Parnas
- 100 0 _ ‡a David Parnas ‡c Canadian software engineer
- 200 _ | ‡a Parnas ‡b David L.
-
-
- 100 1 _ ‡a Parnas, David Lorge
-
-
- 100 1 _ ‡a Parnas, David Lorge ‡d 1941-
-
4xx's: Alternate Name Forms (23)
5xx's: Related Names (1)
- 551 _ _ ‡a Pittsburgh <NY> ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
Estimating software reliability using inverse sampling | |
Formal documentation of well-structured programs | |
Formally specifying a communications protocol using the trace assertion method | |
Inspection procedures for critical programs that model physical phenomena | |
Interface specifications for the SCR (A-7E) Extended computer module. D. L. Parnas. | |
Myths and methods : is there a scientific basis for Y2K inspections? | |
On the computational complexity of the maximum trade problem | |
Podstawy oprogramowania : zbiór artykułów Davida L. Parnasa | |
Precisely annotated hierarchical pictures of programs | |
Predicate logic for software engineering | |
SDI, two views of professional responsibility, 1987: | |
Software fundamentals | |
Table transformation tools : why and how | |
Tabular representations in relational documents | |
Trace rewriting systems |