Programming Methodology
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer New York

9781461263173, 9781461263159

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Algebraic Specification of Abstract Data Types

Programming Methodology ◽

10.1007/978-1-4612-6315-9_21 ◽

1978 ◽

pp. 282-308 ◽

Cited By ~ 4

Author(s):

J. V. Guttag ◽

J. J. Horning

Keyword(s):

Algebraic Specification ◽

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Software Engineering— Some Principles and Problems

Programming Methodology ◽

10.1007/978-1-4612-6315-9_4 ◽

1978 ◽

pp. 29-36 ◽

Cited By ~ 1

Author(s):

W. M. Turski

Keyword(s):

Software Engineering

Download Full-text

System Structure for Software Fault Tolerance

Programming Methodology ◽

10.1007/978-1-4612-6315-9_26 ◽

1978 ◽

pp. 362-387 ◽

Cited By ~ 4

Author(s):

Brian Randell

Keyword(s):

Fault Tolerance ◽

System Structure ◽

Software Fault Tolerance ◽

Software Fault

Download Full-text

Guarded Commands, Nondeterminacy, and Formal Derivation of Programs

Programming Methodology ◽

10.1007/978-1-4612-6315-9_14 ◽

1978 ◽

pp. 166-175 ◽

Cited By ~ 5

Author(s):

Edsger W. Dijkstra

Keyword(s):

Formal Derivation

Download Full-text

Correctness Concerns and, among Other Things, Why They Are Resented

Programming Methodology ◽

10.1007/978-1-4612-6315-9_8 ◽

1978 ◽

pp. 80-88

Author(s):

Edsger W. Dijkstra

Download Full-text

On Structured Programming

Programming Methodology ◽

10.1007/978-1-4612-6315-9_7 ◽

1978 ◽

pp. 70-74 ◽

Cited By ~ 1

Author(s):

David Gries

Download Full-text

The Humble Programmer

Programming Methodology ◽

10.1007/978-1-4612-6315-9_2 ◽

1978 ◽

pp. 9-22

Author(s):

Edsger W. Dijkstra

Download Full-text

Structured Multiprogramming

Programming Methodology ◽

10.1007/978-1-4612-6315-9_17 ◽

1978 ◽

pp. 215-223

Author(s):

Per Brinch Hansen

Download Full-text

Proof of a Program: FIND

Programming Methodology ◽

10.1007/978-1-4612-6315-9_10 ◽

1978 ◽

pp. 101-115

Author(s):

C. A. R. Hoare

Download Full-text

Software Engineering

Programming Methodology ◽

10.1007/978-1-4612-6315-9_3 ◽

1978 ◽

pp. 23-28 ◽

Cited By ~ 2

Author(s):

J. N. Buxton

Keyword(s):

Software Engineering

Download Full-text