Takashi Kitamura, Keishi Okamoto, Makoto Takeyama. Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. In Yutaka Ishikawa, Dong Tang, Hiroshi Nakamura, editors, 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010. pages 251-252, IEEE Computer Society, 2010. [doi]
Abstract is missing.