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

Takashi Kitamura, Keishi Okamoto, Makoto Takeyama

Browse the full PRDC paper archive.