Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges.
Ian J. HayesLarissa A. MeinickePublished in: UTP (2019)
Keyphrases
- design decisions
- design principles
- design issues
- design process
- architectural design
- participatory design
- lessons learned
- real world
- trade off
- tool support
- key issues
- databases
- design choices
- high level
- concurrency control
- query language
- user interface
- expert systems
- instructional design
- cooperative
- design science
- software engineering
- relational algebra
- database systems
- artificial intelligence
- database
- wisdom web