Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Conference on Software Reliability
Abstracts of papers submitted to the conference
Abstract of the paper, 15.07.1974(?)
"The Dynamic Verification of Assertions: A Proposal".
Abstract of the paper, 15.07.1974(?)
"The correctness of synchronizing mechanism in a system of concurrent processes" (by T. Kasami et al.).
Abstract of the paper, 15.07.1974(?)
"A Sufficient Condition for the Completeness and Consistency of Decision Tables".
Abstract of the paper, 15.07.1974(?)
"An Approach to Compiler Correctness" (by L.M. Chirica and D.F. Martin).
Abstract of the paper, 15.07.1974(?)
"A Practical Approach for Generating Inductive Assertions" (by M. Moriconi).
Abstract of the paper, 15.07.1974(?)
"An Interactive Program Verification System".
Abstract of the paper, 15.07.1974(?)
"Specification and Proving of Command Programs".
Abstract of the paper, 15.07.1974(?)
"Set-Theoretic Correctness Proofs".
Abstract of the paper, 15.07.1974(?)
"Finding Invariant Assertions for Proving Programs".
Abstract of the paper, 15.07.1974(?)
"Proving Structured Programs Correct, Level by Level".
Abstract of the paper, 15.07.1974
"Logical Analysis of Programs".
Abstract of the paper, 15.07.1974(?)
"Program Verification by Predicate Transformation".
Abstract of the paper, 15.07.1974(?)
"Knowledge about Programs: a Model and Case Study".
Abstract of the paper, 15.07.1974(?)
"On the Principle of Unique Definition" (by P.D. Griem Jr.).
Abstracts of the papers, 15.07.1974(?)
"A comparison of Two Schemes for Specifying the Behavior of Systems with Concurrency" and "Well-Formed Representation of Programs".
Advance Abstract of the paper, 15.07.1974(?)
"Initial Considerations of the Use of Operators in the Manipulation of Programs" (by J.M. Perry).
Abstract of the paper, 15.07.1974(?)
"A Basis for Provable Programming".
Abstract of the paper, 15.07.1974(?)
"Single Loop Program Synthesis" (by J.W. Duran).
Abstract of the paper, 15.07.1974(?)
"Invariance in Data Structures Primitives" (by J.C. Thompson).
Abstract of the paper, 15.07.1974(?)
"The Synthesis of Programs as an Approach to the Construction of Reliable Programs".

1 2 3 4 5 6 7 8 9
Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016