Specifying Compositional Units for Correct Program Development in Computational Logic

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_1 ◽

2004 ◽

pp. 1-29 ◽

Cited By ~ 2

Author(s):

Kung-Kiu Lau ◽

Mario Ornaghi

Keyword(s):

Program Development ◽

Computational Logic ◽

Correct Program

Download Full-text

Program Development in Computational Logic

10.1007/b98187 ◽

2004 ◽

Cited By ~ 1

Keyword(s):

Program Development ◽

Computational Logic

Download Full-text

Software Tools for Correct Program Development

Computer-Based Problem Solving Process ◽

10.1142/9789814663748_0016 ◽

2015 ◽

pp. 249-262

Keyword(s):

Program Development ◽

Software Tools ◽

Correct Program

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

Exploratory evaluation of a concept termed restoration: Program development, immediate and long term therapeutic effects

PsycEXTRA Dataset ◽

10.1037/e532212008-014 ◽

1967 ◽

Author(s):

William Hirschman

Keyword(s):

Program Development ◽

Therapeutic Effects

Download Full-text

Training Cops: Program Development and Implementation

PsycEXTRA Dataset ◽

10.1037/e579842013-001 ◽

2013 ◽

Author(s):

Melissa Graham ◽

Romana Lopez

Keyword(s):

Program Development

Download Full-text