Author: Michael W. Whalen

Publication Overview

Publication period start: 2003

Number of co-authors: 5

Co-Authors

Number of publications with favourite co-authors

Johann Schumann

Bernd Fischer

Jon Whittle

Productive Colleagues

Most productive colleagues in number of publications

Jeffrey M. Thompson

Mats Per Erik Heimdahl

Jon Whittle

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