Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson. NIMBUS: A Tool for Specification Centered Development. In 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA. pages 349, IEEE Computer Society, 2003. [doi]
Abstract is missing.