Algebraic Specification and Program Development by Stepwise Refinement

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_1 ◽

2000 ◽

pp. 1-9 ◽

Cited By ~ 5

Author(s):

Donald Sannella

Keyword(s):

Program Development ◽

Algebraic Specification ◽

Stepwise Refinement

Download Full-text

Program development by stepwise refinement

Communications of the ACM ◽

10.1145/362575.362577 ◽

1971 ◽

Vol 14 (4) ◽

pp. 221-227 ◽

Cited By ~ 678

Author(s):

Niklaus Wirth

Keyword(s):

Program Development ◽

Stepwise Refinement

Download Full-text

Program development by inductive stepwise refinement

Software Practice and Experience ◽

10.1002/spe.4380150102 ◽

1985 ◽

Vol 15 (1) ◽

pp. 1-28 ◽

Cited By ~ 2

Author(s):

R. Geoff Dromey

Keyword(s):

Program Development ◽

Stepwise Refinement

Download Full-text

Simulation program development by stepwise refinement in UNITY

1991 Winter Simulation Conference Proceedings. ◽

10.1109/wsc.1991.185620 ◽

2002 ◽

Cited By ~ 5

Author(s):

M. Abrams ◽

E.H. Page ◽

R.E. Nance

Keyword(s):

Program Development ◽

Simulation Program ◽

Stepwise Refinement

Download Full-text

Program Development by Stepwise Refinement

Pioneers and Their Contributions to Software Engineering ◽

10.1007/978-3-642-48354-7_23 ◽

2001 ◽

pp. 545-569

Author(s):

Niklaus Wirth

Keyword(s):

Program Development ◽

Stepwise Refinement

Download Full-text

Algebraic specification and functionals for transformational program and meta program development

TAPSOFT '89 - Lecture Notes in Computer Science ◽

10.1007/3-540-50940-2_26 ◽

1989 ◽

pp. 36-59 ◽

Cited By ~ 11

Author(s):

Bernd Krieg-Brückner

Keyword(s):

Program Development ◽

Algebraic Specification

Download Full-text

Program Development by Stepwise Refinement and Related Topics

Bell System Technical Journal ◽

10.1002/j.1538-7305.1981.tb00246.x ◽

1981 ◽

Vol 60 (3) ◽

pp. 347-378 ◽

Cited By ~ 3

Author(s):

N. Gehani

Keyword(s):

Program Development ◽

Stepwise Refinement

Download Full-text

Program Development by Stepwise Refinement

Software Pioneers ◽

10.1007/978-3-642-59412-0_10 ◽

2002 ◽

pp. 149-169

Author(s):

Niklaus Wirth

Keyword(s):

Program Development ◽

Stepwise Refinement

Download Full-text

Program development by stepwise refinement

Communications of the ACM ◽

10.1145/357980.358010 ◽

1983 ◽

Vol 26 (1) ◽

pp. 70-74 ◽

Cited By ~ 11

Author(s):

Niklaus Wirth

Keyword(s):

Program Development ◽

Stepwise Refinement

Download Full-text

Essential concepts of algebraic specification and program development

Formal Aspects of Computing ◽

10.1007/bf01211084 ◽

1997 ◽

Vol 9 (3) ◽

pp. 229-269 ◽

Cited By ~ 65

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Program Development ◽

Algebraic Specification

Download Full-text

Algebraic specification and formal methods for program development: what are the real problems?

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0007 ◽

1993 ◽

pp. 115-120

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Formal Methods ◽

Program Development ◽

Algebraic Specification ◽

The Real

Download Full-text