| 2009 |
|---|
| 71 | EE | Nan Niu,
Steve M. Easterbrook:
Concept analysis for product line requirements.
AOSD 2009: 137-148 |
| 2008 |
|---|
| 70 | EE | Rick Salay,
John Mylopoulos,
Steve M. Easterbrook:
Managing Models through Macromodeling.
ASE 2008: 447-450 |
| 69 | EE | Jonathan Lung,
Jorge Aranda,
Steve M. Easterbrook,
Gregory V. Wilson:
On the difficulty of replicating human subjects studies in software engineering.
ICSE 2008: 191-200 |
| 68 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Steve M. Easterbrook,
Marsha Chechik:
Global consistency checking of distributed models with TReMer+.
ICSE 2008: 815-818 |
| 67 | EE | James D. Herbsleb,
Marcelo Cataldo,
Daniela Damian,
Premkumar Devenbu,
Steve M. Easterbrook,
Audris Mockus:
Socio-technical congruence (STC 2008).
ICSE Companion 2008: 1027-1028 |
| 66 | EE | Nan Niu,
Steve M. Easterbrook:
Exploiting COTS-Based RE Methods: An Experience Report.
ICSR 2008: 212-216 |
| 65 | EE | Nan Niu,
Steve M. Easterbrook:
Extracting and Modeling Product Line Functional Requirements.
RE 2008: 155-164 |
| 64 | EE | Markus Strohmaier,
Jennifer Horkoff,
Eric S. K. Yu,
Jorge Aranda,
Steve M. Easterbrook:
Can Patterns Improve i* Modeling? Two Exploratory Studies.
REFSQ 2008: 153-167 |
| 63 | EE | Nan Niu,
Steve M. Easterbrook:
On-Demand Cluster Analysis for Product Line Functional Requirements.
SPLC 2008: 87-96 |
| 62 | EE | Zinovy Diskin,
Steve M. Easterbrook,
Jürgen Dingel:
Engineering Associations: From Models to Code and Back through Semantics.
TOOLS (46) 2008: 336-355 |
| 61 | EE | Sebastián Uchitel,
Steve M. Easterbrook:
Guest Editors' Introduction.
Autom. Softw. Eng. 15(1): 1-2 (2008) |
| 2007 |
|---|
| 60 | EE | Steve M. Easterbrook:
Empirical research methods for software engineering.
ASE 2007: 574 |
| 59 | EE | Jorge Aranda,
Ramzan Khuwaja,
Steve M. Easterbrook:
Discovering the shared understanding dynamics of large software teams.
CASCON 2007: 244-247 |
| 58 | EE | Rick Salay,
Marsha Chechik,
Steve M. Easterbrook,
Zinovy Diskin,
Pete McCormick,
Shiva Nejati,
Mehrdad Sabetzadeh,
Petcharat Viriyakattiyaporn:
An Eclipse-based tool framework for software model management.
ETX 2007: 55-59 |
| 57 | EE | Markus Strohmaier,
Eric S. K. Yu,
Jennifer Horkoff,
Jorge Aranda,
Steve M. Easterbrook:
Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach.
HICSS 2007: 188 |
| 56 | EE | Shiva Nejati,
Mehrdad Sabetzadeh,
Marsha Chechik,
Steve M. Easterbrook,
Pamela Zave:
Matching and Merging of Statecharts Specifications.
ICSE 2007: 54-64 |
| 55 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Sotirios Liaskos,
Steve M. Easterbrook,
Marsha Chechik:
Consistency Checking of Conceptual Models via Model Merging.
RE 2007: 221-230 |
| 54 | EE | Jorge Aranda,
Steve M. Easterbrook,
Greg Wilson:
Requirements in the wild: How small companies do it.
RE 2007: 39-48 |
| 53 | EE | Yijun Yu,
Nan Niu,
Bruno González-Baixauli,
William Candillon,
John Mylopoulos,
Steve M. Easterbrook,
Julio Cesar Sampaio do Prado Leite,
Gilles Vanwormhoudt:
Tracing and Validating Goal Aspects.
RE 2007: 53-56 |
| 52 | EE | Nan Niu,
Steve M. Easterbrook:
So, You Think You Know Others' Goals? A Repertory Grid Study.
IEEE Software 24(2): 53-61 (2007) |
| 51 | EE | Nan Niu,
Steve M. Easterbrook:
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach.
T. Aspect-Oriented Software Development 3: 40-72 (2007) |
| 2006 |
|---|
| 50 | EE | Vidya Lakshminarayanan,
WenQian Liu,
Charles L. Chen,
Steve M. Easterbrook,
Dewayne E. Perry:
Software architects in practice: handling requirements.
CASCON 2006: 329-332 |
| 49 | EE | Dewayne E. Perry,
Susan Elliott Sim,
Steve M. Easterbrook:
Case studies for software engineers.
ICSE 2006: 1045-1046 |
| 48 | EE | Nan Niu,
Steve M. Easterbrook:
Managing Terminological Interference in Goal Models with Repertory Grid.
RE 2006: 296-299 |
| 47 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Steve M. Easterbrook,
Marsha Chechik:
A relationship-driven approach to view merging.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 46 | EE | Marsha Chechik,
Arie Gurfinkel,
Benet Devereux,
Albert Y. C. Lai,
Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking.
Formal Methods in System Design 29(3): 295-344 (2006) |
| 45 | EE | Mehrdad Sabetzadeh,
Steve M. Easterbrook:
View merging in the presence of incompleteness and inconsistency.
Requir. Eng. 11(3): 174-193 (2006) |
| 2005 |
|---|
| 44 | EE | Steve M. Easterbrook,
Sebastián Uchitel:
Introduction to doctoral symposium.
ASE 2005: 435 |
| 43 | EE | Sharon F. Lymer,
WenQian Liu,
Steve M. Easterbrook:
Experience in using business scenarios to assess COTS components in integrated solutions.
CASCON 2005: 126-140 |
| 42 | EE | Jorge Aranda,
Steve M. Easterbrook:
Anchoring and adjustment in software estimation.
ESEC/SIGSOFT FSE 2005: 346-355 |
| 41 | EE | Nan Niu,
Steve M. Easterbrook,
Mehrdad Sabetzadeh:
A Category-theoretic Approach to Syntactic Software Merging.
ICSM 2005: 197-206 |
| 40 | | Nan Niu,
Steve M. Easterbrook:
On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study.
MSVVEIS 2005: 115-117 |
| 39 | EE | Steve M. Easterbrook,
Eric S. K. Yu,
Jorge Aranda,
Yuntian Fan,
Jennifer Horkoff,
Marcel Leica,
Rifat Abdul Qadir:
Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study.
RE 2005: 199-208 |
| 38 | EE | Mehrdad Sabetzadeh,
Steve M. Easterbrook:
An Algebraic Framework for Merging Incomplete and Inconsistent Views.
RE 2005: 306-318 |
| 37 | EE | Mehrdad Sabetzadeh,
Steve M. Easterbrook:
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views.
RE 2005: 453-454 |
| 36 | EE | Sotirios Liaskos,
Alexei Lapouchnian,
Yiqiao Wang,
Yijun Yu,
Steve M. Easterbrook:
Configuring Common Personal Software: a Requirements-Driven Approach.
RE 2005: 9-18 |
| 35 | EE | Tira Cohene,
Steve M. Easterbrook:
Contextual Risk Analysis for Interview Design.
RE 2005: 95-104 |
| 34 | EE | Dewayne E. Perry,
Susan Elliott Sim,
Steve M. Easterbrook:
Case Studies for Software Engineers.
SEW Tutorial Notes 2005: 96-159 |
| 2004 |
|---|
| 33 | EE | Dewayne E. Perry,
Susan Elliott Sim,
Steve M. Easterbrook:
Case Studies for Software Engineers.
ICSE 2004: 736-738 |
| 32 | EE | Vincenzo Gervasi,
Didar Zowghi,
Steve M. Easterbrook,
Susan Elliott Sim:
Report on the First International Workshop on Comparative Evaluation in Requirements Engineering.
ACM SIGSOFT Software Engineering Notes 29(2): 1-4 (2004) |
| 2003 |
|---|
| 31 | EE | Mehrdad Sabetzadeh,
Steve M. Easterbrook:
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach.
ASE 2003: 12-21 |
| 30 | EE | Susan Elliott Sim,
Steve M. Easterbrook,
Richard C. Holt:
Using Benchmarking to Advance Research: A Challenge to Software Engineering.
ICSE 2003: 74-83 |
| 29 | EE | Steve M. Easterbrook,
Marsha Chechik,
Benet Devereux,
Arie Gurfinkel,
Albert Y. C. Lai,
Victor Petrovykh,
Anya Tafliovich,
Christopher Thompson-Walsh:
\chiChek: A Model Checker for Multi-Valued Reasoning.
ICSE 2003: 804-805 |
| 28 | EE | WenQian Liu,
Steve M. Easterbrook:
Eliciting Architectural Decisions from Requirements using a Rule-based Framework.
STRAW 2003: 94-99 |
| 27 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Arie Gurfinkel:
Multi-valued symbolic model-checking.
ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003) |
| 2002 |
|---|
| 26 | EE | Susan Elliott Sim,
Richard C. Holt,
Steve M. Easterbrook:
On Using a Benchmark to Evaluate C++ Extractors.
IWPC 2002: 114-126 |
| 25 | EE | Steve M. Easterbrook,
Marsha Chechik:
Guest Editorial: Special Issue on Model Checking in Requirements Engineering.
Requir. Eng. 7(4): 221-224 (2002) |
| 2001 |
|---|
| 24 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Albert Y. C. Lai,
Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations.
CONCUR 2001: 441-455 |
| 23 | EE | Marsha Chechik,
Steve M. Easterbrook,
Victor Petrovykh:
Model-Checking over Multi-valued Logics.
FME 2001: 72-98 |
| 22 | | Steve M. Easterbrook,
Marsha Chechik:
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints.
ICSE 2001: 411-420 |
| 21 | | Steve M. Easterbrook,
Marsha Chechik:
2nd International Workshop on Living with Inconsistency.
ICSE 2001: 749-750 |
| 20 | | Marsha Chechik,
Steve M. Easterbrook,
Benet Devereux:
Model Checking with Multi-Valued Temporal Logics.
ISMVL 2001: 187-192 |
| 19 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook:
Implementing a Multi-valued Symbolic Model Checker.
TACAS 2001: 404-419 |
| 18 | EE | Bashar Nuseibeh,
Steve M. Easterbrook,
Alessandra Russo:
Making inconsistency respectable in software development.
Journal of Systems and Software 58(2): 171-180 (2001) |
| 2000 |
|---|
| 17 | EE | Bashar Nuseibeh,
Steve M. Easterbrook:
Requirements engineering: a roadmap.
ICSE - Future of SE Track 2000: 35-46 |
| 16 | | Bashar Nuseibeh,
Steve M. Easterbrook,
Alessandra Russo:
Leveraging Inconsistency in Software Development.
IEEE Computer 33(4): 24-29 (2000) |
| 1999 |
|---|
| 15 | EE | Bashar Nuseibeh,
Steve M. Easterbrook:
The Process of Inconsistency Management: A Framework for Understanding.
DEXA Workshop 1999: 364-368 |
| 14 | EE | Diego Del Gobbo,
Bojan Cukic,
Marcello R. Napolitano,
Steve M. Easterbrook:
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems.
HASE 1999: 231-238 |
| 13 | EE | Steve M. Easterbrook:
Verification and Validation of Requirements for Mission Critical Systems.
ICSE 1999: 673-674 |
| 12 | EE | Tim Menzies,
Steve M. Easterbrook,
Bashar Nuseibeh,
Sam Waugh:
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering.
RE 1999: 100- |
| 11 | EE | Virginie Wiels,
Steve M. Easterbrook:
Formal Modeling of Space Shuttle Software Change Requests using SCR.
RE 1999: 114-122 |
| 10 | EE | Steve M. Easterbrook:
How Multi-Disciplinary Is RE (really)? Institute for Software Research.
RE 1999: 33- |
| 1998 |
|---|
| 9 | EE | Virginie Wiels,
Steve M. Easterbrook:
Management of Evolving Specifications using Category Theory.
ASE 1998: 12-21 |
| 8 | EE | Francis Schneider,
Steve M. Easterbrook,
John R. Callahan,
Gerard J. Holzmann:
Validating Requirements for Fault Tolerant Systems using Model Checking.
ICRE 1998: 4-13 |
| 7 | EE | Steve M. Easterbrook,
Robyn R. Lutz,
Richard Covington,
John Kelly,
Yoko Ampo,
David Hamilton:
Experiences Using Lightweight Formal Methods for Requirements Modeling.
IEEE Trans. Software Eng. 24(1): 4-14 (1998) |
| 6 | EE | Steve M. Easterbrook,
John R. Callahan:
Formal methods for verification and validation of partial specifications: A case study.
Journal of Systems and Software 40(3): 199-210 (1998) |
| 1997 |
|---|
| 5 | EE | Steve M. Easterbrook,
John R. Callahan:
Formal Methods for V&V of Partial Specifications: An Experience RSeport.
RE 1997: 160-168 |
| 1996 |
|---|
| 4 | EE | Steve M. Easterbrook,
John R. Callahan:
Independent validation of specifications: a coordination headache.
WETICE 1996: 232-237 |
| 1995 |
|---|
| 3 | EE | Steve M. Easterbrook:
Coordination breakdowns: why groupware is so difficult to design.
HICSS (4) 1995: 191-199 |
| 2 | EE | Steve M. Easterbrook,
Bashar Nuseibeh:
Managing inconsistencies in an evolving specification.
RE 1995: 48-55 |
| 1992 |
|---|
| 1 | | M.-M. Portman,
Steve M. Easterbrook:
PMI: Knowledge Eliciation and De Bono's Thinking Tools.
EKAW 1992: 264-282 |
