Case studies and tools for contract specifications.
Todd W. SchillerKellen DonohueForrest CowardMichael D. ErnstPublished in: ICSE (2014)
Keyphrases
- case study
- lessons learned
- software tools
- decision support
- open source
- database
- search engine
- high level
- detailed descriptions
- delay insensitive
- operational semantics
- literature review
- formal specification
- user friendly
- business process
- building blocks
- end users
- expert systems
- information retrieval
- real world
- data sets
- real time