An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL).

Published in: DSD (2017)

Keyphrases

oriented programming
artificial intelligence
object oriented
case study
knowledge based systems
model checking
neural network
data mining
genetic algorithm
natural language
distributed databases
design principles
modeling language
design methodology
modelling language
functional verification