Mats Per Erik Heimdahl

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1997
Publication period end
2003
Number of co-authors
7

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Thompson, Jeffrey M., Heimdahl, Mats Per Erik (2003): Structuring product family requirements for n-dimensional and hierarchical product lines. In Requir. Eng., 8 (1) pp. 42-54. http://dx.doi.org/10.1007/s00766-003-0166-0

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

Choi, Yunja, Rayadurgam, Sanjai, Heimdahl, Mats Per Erik (2002): Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. In Requir. Eng., 7 (4) pp. 225-242. http://dx.doi.org/10.1007/s007660200018

Thompson, Jeffrey M., Heimdahl, Mats Per Erik (2001): Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Li. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 56-65. http://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250056abs.htm

Heimdahl, Mats Per Erik, Thompson, Jeffrey M. (2000): Specifying and Analysing System-Level Inter-Component Interfaces. In Requir. Eng., 5 (4) pp. 208-224. http://springerlink.metapress.com/openurl.asp?genre=article&issn=1432-010X&volume=5&issue=4&spage=208

Heimdahl, Mats Per Erik, Thompson, Jeffrey M., Czerny, Barbara J. (1998): Specification and Analysis of Intercomponent Communication. In IEEE Computer, 31 (4) pp. 47-54.

Heimdahl, Mats Per Erik, Keenan, David J. (1997): Generating Code from Hierarchical State-Based Requirements. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 210-. http://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400210abs.htm

Heimdahl, Mats Per Erik, Reese, Jon Damon (1997): Software Requirements Specification and System Safety. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 264. http://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400264abs.htm