Establishing Viable Programs of Research: The Exetutive Information System Program at the University of Georgia.
Hugh J. WatsonJohn W. SatzingerSanjay K. SinghPublished in: Data Base (1994)
Keyphrases
- information systems
- computer programs
- control program
- program execution
- automatic programming
- programming environment
- prolog programs
- high level programming language
- java programs
- functional programs
- symbolic execution
- novice programmers
- computer chess
- programming education
- logic programs
- programming environments
- program slicing
- recursive programs
- stable model semantics
- intermediate level
- programming language constructs
- control flow
- expert systems
- database
- data sets
- set of test cases
- database systems
- program code
- test cases
- knowledge management
- programming language
- information technology
- logic programming
- concurrent programming
- genetic algorithm
- concurrent programs
- information security
- undergraduate engineering
- static analysis
- high level programming
- declarative semantics