A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation.

Franz Lichtenberger

Published in: ADT (1983)

Keyphrases

software development
software engineering
software architecture
neural network
software systems
model checking
efficient implementation
software projects
real time
databases
face verification
aspect oriented