Using Safety Contracts to Verify Design Assumptions During Runtime.

Omar Jaradat Sasikumar Punnekkat

Published in: Ada-Europe (2018)

Keyphrases

engineering design
design process
underlying assumptions
database
data sets
design methodology
databases
social networks
case study
supply chain
object oriented
business processes
software architecture
optimal design