C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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