Counterexample Interpretation for Contract-Based Design.

Arut Prakash Kaleeswaran Arne Nordmann Thomas Vogel Lars Grunske

Published in: IMBSA (2020)

Keyphrases

design decisions
user interface
real time
feature selection
case study
supply chain
human computer interaction
design process
computer aided
databases
real world
search algorithm
natural language
mobile devices
knowledge based systems
optimal design