Author: Michael W. Whalen

Publications

Publication period start: 2003
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Johann Schumann
1
Bernd Fischer
1
Jon Whittle
1

Productive Colleagues

Most productive colleagues in number of publications
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