Interactive Program Verification

1989 ◽  
pp. 210-230
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum
Keyword(s):  
Program Verification ◽  
Interactive Program

An interactive program verification system

1975 ◽  
Author(s):  
Donald I. Good ◽  
Ralph L. London ◽  
W. W. Bledsoe
Keyword(s):  
Program Verification ◽  
Interactive Program ◽  
Verification System

An interactive program verification system

1975 ◽  
Vol 10 (6) ◽  
pp. 482-492 ◽  
Author(s):  
Donald I. Good ◽  
Ralph L. London ◽  
W. W. Bledsoe
Keyword(s):  
Program Verification ◽  
Interactive Program ◽  
Verification System

An interactive program verification system

1975 ◽  
Vol SE-1 (1) ◽  
pp. 59-67 ◽  
Author(s):  
Donald I. Good ◽  
Ralph L. London ◽  
W. W. Bledsoe
Keyword(s):  
Program Verification ◽  
Interactive Program ◽  
Verification System

Automatic versus interactive program verification

2013 ◽  
Vol 33 (3) ◽  
pp. 87-88
Author(s):  
Suad Alagic
Keyword(s):  
Program Verification ◽  
Interactive Program

A User's Appraisal of an Automated Program Verification Aid

1975 ◽  
Author(s):  
Larry K. Whipple ◽  
Mark A. Pitts
Keyword(s):  
Program Verification

Tejo 1– An Interactive Program for the Division of Estuaries into Homogeneous Areas

1987 ◽  
Vol 19 (9) ◽  
pp. 43-51 ◽  
Author(s):  
A. S. Câmara ◽  
M. Cardoso da Silva ◽  
L. Ramos ◽  
J. Gomes Ferreira
Keyword(s):  
Water Quality ◽  
Computer Program ◽  
Heuristic Algorithm ◽  
Management Model ◽  
Interactive Program ◽  
Basin Management ◽  
Interactive Computer Program ◽  
Lake Basins

The division of an estuary into homogeneous areas from both hydrodynamic and ecological standpoints is essential to any estuarine basin management model. This paper presents an approach based on a heuristic algorithm to achieve such a division. The methodology implemented through an interactive computer program named Tejo 1 applies morphological, water quality and management criteria in order to achieve the disaggregation. The approach is equally applicable to river or lake basins, with only minor adaptations. An application of Tejo 1 to the Tejo estuary is included for illustrative purposes, which resulted in the final division of the estuary into 11 homogeneous areas.

Sign in / Sign up

Export Citation Format

Share Document