Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications.
Suddhasil DeDiganta GoswamiSukumar NandiPublished in: ICDCIT (2013)
Keyphrases
- formal specification
- object oriented design
- design space
- concurrent systems
- design methodology
- input output
- mobile phone
- high level
- model checking
- design process
- object oriented
- mobile devices
- cooperative
- context aware
- mobile learning
- programming language
- software engineering
- multi agent
- case study
- specification languages