Precise documentation of well-structured programs

1967, Mathematical Aspects of Computer Science, 19

floyd, 1968, Assigning meanings to programs, Proc Symp Appl Math, 19

jones, 1986, Systematic Software Development Using VDM

leveson, 1994, Personal communication

10.1016/0020-0190(80)90048-4

10.1145/360569.360659

mills, 1980, Function semantics for sequential programs, Proc IFIP Congress 1980, 241

10.1145/186258.186508

parnas, 1971, Information distributions aspects of design methodology, Proc IFIP Congress 71, 26

10.1145/361598.361623

10.1145/358161.358168

10.1109/TSE.1985.232209

10.1109/ISRE.1993.324857

10.1145/69610.357988

van schouwen, 1990, The A-7 Requirements Model Re-examination for Real-Time Systems and an Application to Monitoring Systems, 93

10.1109/TSE.1980.230208

heninger, 1978, Software requirements for the A-7E aircraft, 523

iglewski, 1993, Documentation Paradigms, 45

10.1145/363235.363259

dijkstra, 1976, Discipline of Programming

jensen, 1976, Lecture Notes in Computer Science, 18

10.1145/363095.363143

parnas, 1986, Less restrictive constructs for structured programs, 16

parnas, 1991, Assessment of safety-critical software in nuclear power plants, Nuclear Safety, 32, 189

parnas, 1989, The trace assertion method of module interface specification, 39

parnas, 1992, Tabular Representation of Relations, 17

parnas, 1991, Functional Documentation for Computer Systems Engineering (Version 2), 14

10.1145/362575.362577

sawicki, 1992, Analiza metody SPS(R) weryfikacji programow