Program Criteria for Software Engineering Accreditation Programs.
Gerald L. EngelPublished in: IEEE Softw. (1999)
Keyphrases
- software engineering
- computer programs
- programming language
- program execution
- automatic programming
- control program
- high level programming language
- programming environment
- symbolic execution
- program slicing
- prolog programs
- computer chess
- functional programs
- programming education
- novice programmers
- development process
- java programs
- programming environments
- hardware designs
- set of test cases
- high level programming
- software systems
- control flow
- recursive programs
- evaluation criteria
- undergraduate engineering
- programs written
- software development
- object oriented
- search based software testing
- stable model semantics
- design patterns
- application programs
- selection criteria
- reverse engineering
- software maintenance
- static analysis
- source code
- software architecture
- software projects
- declarative programming
- multi criteria
- programming skills
- fixpoint
- magic sets
- program synthesis
- program code
- declarative semantics