
- 0018-9162/00/$10.00 2000 IEEE24 Computer Inconsistency
- Configuring Common Personal Software: a Requirements-Driven Approach Sotirios Liaskos Alexei Lapouchnian Yiqiao Wang Yijun Yu Steve Easterbrook
- Validating Requirements for Fault Tolerant Systems using Model Checking1 Francis Schneider2, Steve M. Easterbrook, John R. Callahan and Gerard J. Holzmann3
- SCR as an IV&V Tool Steve Easterbrook and John Callahan
- Automated Paraconsistent Reasoning via Model Checking Steve Easterbrook Marsha Chechik
- Elicitation of Requirements from Multiple Perspectives
- David Matthews Greg Wilson Steve Easterbrook Configuration Management for Large-Scale Scientific
- Learning from Inconsistency Steve Easterbrook
- Selecting Empirical Methods for Software Engineering Authors: Steve Easterbrook, Janice Singer, Margaret-Anne Storey, Daniela Damian
- Engineering the Software for Understanding Climate Change Steve M. Easterbrook Timothy C. Johns
- Software Architects in Practice: Handling Requirements Vidya Lakshminarayanan, WenQian Liu , Charles L Chen, Steve Easterbrook ,
- Coordination Breakdowns: Why Groupware is so Difficult to Design
- Requirements Engineering: A Roadmap Bashar Nuseibeh Steve Easterbrook
- Appears in Knowledge Acquisition: An International Journal, Vol 3, Pp255-289, 1991. Handling Conflict Between Domain Descriptions
- On the Difficulty of Replicating Human Subjects Studies in Software Engineering
- Engineering Associations: From Models to Code and Back through Semantics
- A Taxonomy of Asymmetric Requirements , Steve Easterbrook
- A Relationship-Driven Framework for Model Merging Mehrdad Sabetzadeh Shiva Nejati Steve Easterbrook Marsha Chechik
- A Manifesto for Model Merging Greg Brunet, Marsha Chechik, Steve Easterbrook, Shiva Nejati, Nan Niu,
- Anchoring and Adjustment in Software Estimation Jorge Aranda
- Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study Steve Easterbrook, Eric Yu, Jorge Aranda, Yuntian Fan,
- An Algebraic Framework for Merging Incomplete and Inconsistent Views Mehrdad Sabetzadeh Steve Easterbrook
- Contextual Risk Analysis for Interview Design Tira Cohene and Steve Easterbrook
- iVuBlender: A Tool for Merging Incomplete and Inconsistent Views Mehrdad Sabetzadeh Steve Easterbrook
- Using Business Scenarios to Surface Requirements for COTS Products WenQian Liu
- 2004 Steve Easterbrook. DRAFT PLEASE DO NOT CIRCULATE page 2 C H A P TE R 1
- 2004 Steve Easterbrook. DRAFT PLEASE DO NOT CIRCULATE page 1 C H A P TE R 2
- Model Management and Inconsistency in Software Design Steve Easterbrook
- RULE-BASED DETECTION OF INCONSISTENCY IN UML MODELS
- Implementing a Multi-Valued Symbolic Model Checker Marsha Chechik, Benet Devereux, and Steve Easterbrook
- Dr Thin Dr Thick usability performance
- An empirical investigation of multiple viewpoint reasoning in requirements engineering
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 1, JANUARY 1998 1 -?352'8&7,21?76(?,1352'?-$18$5?B'2& UHJXODUSDSHUGRW 6/ 30
- V&V through Inconsistency Tracking and Analysis1 Steve Easterbrook, John Callahan, and Virginie Wiels
- In: Proceedings of the Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'96), Stanford,
- Appears in BCS/IEE Software Engineering Journal, January 1996, pp31-43 Using ViewPoints for Inconsistency Management
- Coordination Breakdowns: How flexible is collaborative work?
- Managing Inconsistencies in an Evolving Specification Steve Easterbrook Bashar Nuseibeh
- Co-ordinating Conflicting ViewPoints by Managing Inconsistency
- Distributed cognition in software engineering research: Can it be made to work?
- To appear in the Proceedings of the Fourth International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999
- Requirements in the wild: How small companies do it Jorge Aranda, Steve Easterbrook, and Greg Wilson
- Reasoning About Compositions of Concerns Marsha Chechik Steve Easterbrook
- Eliciting Architectural Decisions from Requirements using a Rule-based WenQian Liu Steve Easterbrook
- To appear in Proceedings of the First Westminster Conference on Professional Awareness in Software Engineering, Royal Society, London, 1-2 February 1996.
- Efficient Multiple-Valued Model-Checking Using Lattice Representations
- A Category-Theoretic Approach to Syntactic Software Merging Nan Niu, Steve Easterbrook, and Mehrdad Sabetzadeh
- Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
- To appear in Proceedings, First IEEE International Symposium on Requirements Engineering, San Diego, California, 4-6 January 1993
- Case Studies for Software Engineers Dewayne E. Perry
- Appears in P. Quintas (ed.) "Social Dimensions of Systems Engineering: People, processes, policies and software development". London: Ellis Horwood, pp144-164, 1993.
- Using Benchmarking to Advance Research: A Challenge to Software Engineering
- Formal Methods for Verification and Validation of partial specifications: A Case Study
- 2004 Steve Easterbrook. DRAFT PLEASE DO NOT CIRCULATE page 1 C H A P TE R 3
- Discovering Aspects in Requirements with Repertory Grid Department of Computer Science
- A Relationship-Driven Approach to View Merging Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chechik
- Resolving Requirements Conflicts with Computer-Supported Negotiation
- Climate Change: A Grand Software Challenge Steve Easterbrook
- An Algebraic Framework for Merging Incomplete and Inconsistent Views
- Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE
- A Framework for Empirical Evaluation of Model Comprehensibility Jorge Aranda, Neil Ernst, Jennifer Horkoff, and Steve Easterbrook
- Model-Checking Over Multi-Valued Logics Marsha Chechik, Steve Easterbrook, and Victor Petrovykh
- To appear in Concurrent Engineering: Research and Applications (Special Issue on Conflict Management), 1994. Co-ordinating Distributed ViewPoints
- Appears in Proceedings, Third IEEE International Symposium on Requirements Engineering RE'97, January 5-8th, 1997, Annapolis, Maryland, USA.
- Managing Terminological Interference in Goal Models with Repertory Grid Nan Niu Steve Easterbrook
- In proceedings, 2nd World Conference on Integrated Design and Process Technology (IDPT) Austin, Texas, December 1-4 1996, as a keynote address to the track entitled "The Process Road from Requirements to System Architectures (and back)"
- Preparing Students for Software Engineering Steve M. Easterbrook Theodoros N. Arvanitis
- PMI: Knowledge Elicitation and De Bono's Thinking Tools
- To appear in Easterbrook, S. M. (ed) 1993 CSCW: Cooperation or Conflict? London: Springer-Verlag, pp. 1-68 A Survey of Empirical Studies of Conflict
- A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints Steve Easterbrook Marsha Chechik
- 32 IE E E S O F T WA R E | PU BLI S HE D BY THE IE E E C O M PU TE R S O C IE T Y 074 0 -74 5 9/11/ $ 26.0 0 2 011 I E E E FOCUS: GUEST EDITORS' INTRODUCTION
- The Road to Farming Software is Paved with Good Intentions