Essential concepts of algebraic specification and program development

Donald Sannella; Andrzej Tarlecki

doi:10.1007/bf01211084

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 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

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

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

Algebraic Specification with Functionals in Program Development by Transformation

Esprit ’89 ◽

10.1007/978-94-009-1063-8_25 ◽

1989 ◽

pp. 302-320 ◽

Cited By ~ 3

Author(s):

B. Krieg-Brückner

Keyword(s):

Program Development ◽

Algebraic Specification

Download Full-text

Carolyn S. Schroeder Award for Outstanding Clinical Practice: Program development, practice integration, and early career development.

Clinical Practice in Pediatric Psychology ◽

10.1037/cpp0000111 ◽

2015 ◽

Vol 3 (4) ◽

pp. 262-269

Author(s):

Shanna M. Guilfoyle

Keyword(s):

Clinical Practice ◽

Career Development ◽

Program Development ◽

Early Career ◽

Development Practice

Download Full-text

A British-American Psychologist on Core Assumptions of Managed Healthcare and Suggestions for Clinical Program Development

PsycEXTRA Dataset ◽

10.1037/e412542005-007 ◽

1999 ◽

Author(s):

Jay Skidmore ◽

Keyword(s):

Program Development ◽

American Psychologist ◽

Clinical Program

Download Full-text

Addressing the Diverse Needs of Adolescents Through Community-Based Collaboration and Consultation: Contextualized HIV Prevention for Female Mexican Adolescents: From Process to Program Development

PsycEXTRA Dataset ◽

10.1037/e413792005-657 ◽

2000 ◽

Author(s):

Audrey Bangi

Keyword(s):

Hiv Prevention ◽

Program Development ◽

Community Based ◽

Mexican Adolescents

Download Full-text

Engaging People Who Use Drugs in Policy and Program Development: A Community-based Approach

PsycEXTRA Dataset ◽

10.1037/e509182013-001 ◽

2012 ◽

Author(s):

Lianping Ti ◽

◽

Despina Tzemis ◽

Margot Kuo ◽

Jane Buxton

Keyword(s):

Program Development ◽

People Who Use Drugs ◽

Community Based

Download Full-text

Managing Program Development to Enhance Quality Training

PsycEXTRA Dataset ◽

10.1037/e516082018-001 ◽

2014 ◽

Author(s):

Robert Perl

Keyword(s):

Program Development

Download Full-text

Individual differences and learner control I: Program development and investigation of control over mnemonics in computer-assisted instruction

PsycEXTRA Dataset ◽

10.1037/e531132009-001 ◽

1974 ◽

Author(s):

Wilson A. Judd ◽

Harold F. O'Neil ◽

Philip F. Spelt

Keyword(s):

Individual Differences ◽

Program Development ◽

Learner Control ◽

Computer Assisted Instruction ◽

Computer Assisted ◽

Assisted Instruction

Download Full-text