A case study using lightweight formalism to review an information system specification.
Fiona PolackPublished in: Softw. Pract. Exp. (2001)
Keyphrases
- lightweight
- information systems
- operational semantics
- business rules
- case study
- action language
- high level
- wireless sensor networks
- knowledge representation
- transition systems
- conceptual model
- formal language
- communication infrastructure
- dos attacks
- development environments
- formal specification
- literature review
- requirements analysis
- data driven
- knowledge management