ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close