Author: Mats Per Erik Heimdahl
Publications
Co-authors
Productive Colleagues
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. https://dx.doi.org/10.1007/s00766-003-0166-0
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. https://dx.doi.org/10.1007/s007660200018
Heimdahl, Mats Per Erik, Thompson, Jeffrey M. (2000): Specifying and Analysing System-Level Inter-Component Interfaces. In Requir. Eng., 5 (4) pp. 208-224. https://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-. https://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. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400264abs.htm
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
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. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250056abs.htm