2005 |
11 | EE | Jing Liu,
Robyn R. Lutz,
Jeffrey M. Thompson:
Mapping concern space to software architecture: a connector-based approach.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
2003 |
10 | EE | Mats Per Erik Heimdahl,
Michael W. Whalen,
Jeffrey M. Thompson:
NIMBUS: A Tool for Specification Centered Development.
RE 2003: 349 |
9 | EE | Jeffrey M. Thompson,
Mats Per Erik Heimdahl:
Structuring product family requirements for n-dimensional and hierarchical product lines.
Requir. Eng. 8(1): 42-54 (2003) |
2001 |
8 | EE | Jeffrey M. Thompson,
Mats Per Erik Heimdahl:
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines.
RE 2001: 56-65 |
2000 |
7 | EE | Jeffrey M. Thompson,
Michael W. Whalen,
Mats Per Erik Heimdahl:
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study.
J. UCS 6(7): 731-757 (2000) |
6 | EE | Mats Per Erik Heimdahl,
Jeffrey M. Thompson:
Specifying and Analysing System-Level Inter-Component Interfaces.
Requir. Eng. 5(4): 208-224 (2000) |
1999 |
5 | EE | Jeffrey M. Thompson,
Mats Per Erik Heimdahl,
Steven P. Miller:
Specification-Based Prototyping for Embedded Systems.
ESEC / SIGSOFT FSE 1999: 163-179 |
4 | EE | Jeffrey M. Thompson,
Mats Per Erik Heimdahl:
An Integrated Development Environment for Prototyping Safety Critical Systems.
IEEE International Workshop on Rapid System Prototyping 1999: 172-177 |
1998 |
3 | EE | Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
Michael W. Whalen:
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.
EUROMICRO 1998: 10435-10444 |
2 | | Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
Barbara J. Czerny:
Specification and Analysis of Intercomponent Communication.
IEEE Computer 31(4): 47-54 (1998) |
1997 |
1 | | Mats Per Erik Heimdahl,
Jeffrey M. Thompson:
Specification and Analysis of System Level Inter-Component Communication.
ICFEM 1997: 192- |