Michael W. Whalen

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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. http://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. http://csdl.computer.org/comp/proceedings/hicss/2003/1874/09/187490337aabs.htm