Specification-Driven Evolution of Floor Plan Design.

Katarzyna Grzesiak-Kopec Barbara Strug Grazyna Slusarczyk

Published in: PPSN (2) (2022)

Keyphrases

engineering design
neural network
high level
learning algorithm
expert systems
control system
design decisions
software design
website
case study
data model
design process
computer aided
plan recognition
formal methods
formal verification