Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach.
Rafika ThabetElyes LamineAmine BoufaiedDominik BorkOuajdi KorbaaHervé PingaudPublished in: AMCIS (2020)
Keyphrases
- formal specification
- specification language
- data abstraction
- object oriented design
- specification languages
- process algebra
- model checking
- formal specification language
- design methodology
- reverse engineering
- code generation
- design methodologies
- formal methods
- concurrent systems
- temporal logic
- cooperative
- database systems
- case study
- grid workflow
- protocol specification
- information systems