Author: Michael W. Whalen

Publications

Co-authors

Johann Schumann

1

Bernd Fischer

1

Jon Whittle

1

Productive Colleagues

Jeffrey M. Thompson

5

Mats Per Erik Heimdahl

8

Jon Whittle

9

Publications

Heimdahl, Mats Per Erik, Whalen, Michael W., Thompson, Jeffrey M. (2003): 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. pp. 349. https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800349abs.htm

Schumann, Johann, Fischer, Bernd, Whalen, Michael W., Whittle, Jon (2003): Certification Support for Automatically Generated Programs. In: HICSS 2003 , 2003, . pp. 337. https://csdl.computer.org/comp/proceedings/hicss/2003/1874/09/187490337aabs.htm