Integrating an Equality Prover into a Software Development System Based on Type Theory.

Martin Strecker Maria Sorea

Published in: KI (1997)

Keyphrases

software development
software engineering
theoretical framework
theorem proving
databases
computational model
genetic algorithm
case study
software systems
development process
theorem prover
theoretical basis
software quality
neural network
software components
formal theory