Whither Specifications as Programs.

David A. Naumann Minh Ngo

Published in: UTP (2019)

Keyphrases

control flow
recursive programs
control structures
computer programs
written in natural language
control program
automatic programming
formal specification
finite state machines
high level
artificial intelligence
neural network
software testing
website
transformation rules
genetic algorithm
data mining
data sets