Login / Signup

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.

Takashi KitamuraKeishi OkamotoMakoto Takeyama
Published in: PRDC (2010)
Keyphrases
  • reference model
  • reference models
  • functional requirements
  • formal specification
  • mobile robot
  • management system
  • database
  • information systems
  • open source
  • knowledge management
  • test cases