Author: Mats Per Erik Heimdahl
Publication Overview
Publication period start: 1998
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.
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