Faculty :: Steve Easterbrook
Personal PagePublications
Interests: inconsistencies during development process, software requirements elicitation/specification.

Contact Information:

Students Supervised:

Courses Taught:
  • CSC340Information Systems Analysis and Design
  • CSC444Software Engineering I
  • CSC2106Requirements Engineering

Projects Involved with:

    Service:
    • Pulicity Chair, Orgnizing Committee, ICSE 2004 (Edinburgh, Scotland, May 23-28, 2004)
    • Conference Planning Committee Member, OpenSource'04 (Toronto, Canada, May 9-11, 2004)
    • Workshop Chair, Organizing Committee, RE'05 (Paris, France, September 2005)

    Publications:


    2003:
    • M. Chechik, Benet Devereux, Arie Gurfinkel, and Steve Easterbrook. ``Multi-Valued Symbolic Model-Checking'', ACM Transactions on Software Engineering and Methodology, vol. 12, pp. 1-38, October, 2003
      PS PDF Abstract
    • S. E. Sim, S. M. Easterbrook, and R. C. Holt. ``Using Benchmarking to Advance Research: A Challenge to Software Engineering'', in Proceedings, 25th International Conference on Software Engineering, Portland, Oregon, May, 2003
      PS PDF Abstract
    • S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich, and C. Thompson-Walsh. ``XChek: A Model Checker for Multi-Valued Reasoning'', in Proceedings, 25th International Conference on Software Engineering, Portland, Oregon, May, 2003
      PS PDF Abstract
    • W. Liu and S. M. Easterbrook. ``Eliciting Architectural Decisions from Requirements using a Rule-based Framework'', in Proceedings of the Second International Workshop From Software Requirements to Architectures (STRAW'03), co-located with ICSE 2003, Portland, Oregon, May, 2003
      PS PDF Abstract
    • W. Liu and S. M. Easterbrook. ``Rule-based Inconsistency Management'', CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2003
      PS PDF Abstract
    • M. Sabetzadeh and S. Easterbrook. ``Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach'', in Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 12--21, October, 2003
      PS PDF Abstract
    2002:
    • M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and S. Easterbrook. ``Data Structures for Symbolic Multi-Valued Model-Checking'', CSRG Technical Report, Department of Computer Science, University of Toronto, January, 2002
      PS PDF Abstract
    • S. M. Easterbrook and M. Chechik. ``Guest Editorial: Special Issue on Model Checking in Requirements Engineering'', Requirements Engineering Journal, vol. 7, pp. 221-224, December, 2002
      PS PDF Abstract
    • S. E. Sim, R. C. Holt, and S. M. Easterbrook. ``On Using a Benchmark to Evaluate C++ Extractors'', in 10th IEEE International Workshop on Program Comprehension, La Sorbonne, Paris, France, June, 2002
      PS PDF Abstract
    • W. Liu, S. M. Easterbrook, and J. Mylopoulos. ``Rule-Based Detection of Inconsistency in UML Models'', in the Workshop on Consistency Problems in UML-Based Software Development, at the Fifth International Conference on the Unified Modeling Language, Dresden, Germany, October, 2002
      PS PDF Abstract
    2001:
    • M. Chechik, S. Easterbrook and V. Petrovykh. ``Model-Checking Over Multi-Valued Logics'', in Proceedings of Formal Methods Europe (FME'01), pp. 72-98, March, 2001
      PS PDF Abstract
    • M. Chechik, B. Devereux and S. Easterbrook. ``Implementing a Multi-Valued Symbolic Model-Checker'', in Proceedings of TACAS'01, pp. 404-419, April, 2001
      PS PDF Abstract
    • M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and V. Petrovykh. ``Efficient Multiple-Valued Model-Checking Using Lattice Representations'', in Proceedings of 12th International Conference on Concurrency Theory (CONCUR'01), Aalborg, Denmark, pp. 451-465, August, 2001
      PS PDF Abstract
    • M. Chechik and S. Easterbrook. ``Reasoning About Compositions of Concerns'', in Proceedings of Workshop on Advanced Separation of Concerns in Software Engineering, at the 23rd International Conference on Software Engineering (ICSE-01), Toronto, Canada, May, 2001
      PS PDF Abstract
    • S. Easterbrook and M. Chechik. ``A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints'', in Proceedings of International Conference on Software Engineering (ICSE'01), Toronto, Canada, pp. 411-420, May, 2001
      PS PDF Abstract
    • B. A. Nuseibeh, S. M. Easterbrook, and A. Russo. ``Making Inconsistency Respectable in Software Development'', Journal of Systems and Software, vol. 58, pp. 171-180, 2001
      PS PDF Abstract
    • S. M. Easterbrook and M. Chechik. ``Automated Paraconsistent Reasoning via Model Checking'', in Proceedings of First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01), Seattle, USA, August, 2001
      PS PDF Abstract
    • S. M. Easterbrook and M. Chechik. ``A Framework to Handle Horizontal Inconsistency in Software'', in Proceedings of 2nd International Workshop on Living with Inconsistency, at the 23rd International Conference on Software Engineering (ICSE-01), Toronto, Canada, May, 2001
      PS PDF Abstract
    previous:
    • M. Chechik, S. Easterbrook, B. Devereux, A. Lai, V. Petrovykh and C. Thompson-Walsh. A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints -- Project Report, CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2000
      PS PDF Abstract
    • B. A. Nuseibeh, S. M. Easterbrook, and A. Russo. ``Leveraging Inconsistency in Software Development'', IEEE Computer, vol. 33, pp. 24-29, April, 2000
      PS PDF Abstract
    • B. A. Nuseibeh and S. M. Easterbrook. `` Requirements Engineering: A Roadmap'', The Future of Software Engineering, Companion volume to the proceedings of the 22nd International Conference on Software Engineering, (ICSE'00), 2000
      PS PDF Abstract
    • D. DelGobbo, B. Cukic, S. M. Easterbrook, and M. Napolitano. ``Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems'', in Proceedings of First International Workshop on the Requirements Engineering Process (REP'99), Florence, Italy, September 2-3, 1999
      PS PDF Abstract
    • B. A. Nuseibeh and S. M. Easterbrook. ``The Process of Inconsistency Management : a Framework for Understanding'', in Proceedings of First International Workshop on the Requirements Engineering Process (REP'99), Florence, Italy, September 2-3, 1999
      PS PDF Abstract
    • V. Wiels and S. M. Easterbrook. ``Formal Modeling of Space Shuttle Software Change Requests using SCR'', in Proceedings of Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999
      PS PDF Abstract
    • T. Menzies, S. M. Easterbrook, B. A. Nuseibeh, and S. Waugh. ``An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering'', in Proceedings of Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999
      PS PDF Abstract
    • S. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton. ``Experience Using Lightweight Formal Methods for Requirements Modeling'', IEEE Transactions on Software Engineering, vol. 24, pp. 4-14, January, 1998
      PS PDF Abstract
    • Steve Easterbrook and John Callahan. ``Formal Methods for Verification and Validation of Partial Specifications: A Case Study'', Journal of Systems and Software, vol. 40, 1998
      PS PDF Abstract
    • V. Wiels and S. M. Easterbrook. ``Management of evolving specifications using category theory'', in Proceedings of 13th International Conference on Automated Software Engineering, Honolulu, Hawaii, 14-16 October, 1998
      PS PDF Abstract
    • S. M. Easterbrook, J. R. Callahan, and V. Wiels. ``V&V through Inconsistency Tracking and Analysis'', in Proceedings of International Workshop on Software Specification and Design, Kyoto, Japan, April 16-18, 1998
      PS PDF Abstract
    • S. M. Easterbrook. The Role of Independent V&V in Upstream Software Development Processes, Journal of Integrated Design and Process Science, vol. 2, pp. 37-46, 1998
      PS PDF Abstract
    • F. Schneider, S. M. Easterbrook, J. R. Callahan, and G. J. Holzmann. ``Validating Requirements for Fault Tolerant Systems using Model Checking'', in Proceedings of Third IEEE Conference on Requirements Engineering, Colorado Springs, CO, USA, April 6 - 10, 1998
      PS PDF Abstract
    • S. M. Easterbrook and J. R. Callahan. ``Formal Methods for V&V of partial specifications: An experience report'', in Proceedings of Third IEEE International Symposium on Requirements Engineering (RE'97), Annapolis, Maryland, USA, 5-8 January, 1997
      PS PDF Abstract
    • S. M. Easterbrook. ``Learning from Inconsistency'', in Proceedings of 8th International Workshop on Software Specification and Design (IWSSD-8), Paderborn, Germany, pp. 136-140, March 22-23, 1996
      PS PDF Abstract
    • S.M. Easterbrook and B.A. Nuseibeh. ``Using Viewpoints for Inconsistency Management'', BCS/IEE Software Engineering Journal, pp. 31-43, January, 1996
      PS PDF Abstract
    • S. M. Easterbrook. ``The Role of Independent V&V in Upstream Software Development Processes'', in Proceedings of 2nd World Conference on Integrated Design and Process Technology (IDPT-96), Austin, Texas, December 1-4, 1996
      PS PDF Abstract
    • S. M. Easterbrook and J. R. Callahan . ``Independent Validation of Specifications: A coordination headache'', in Proceedings of IEEE Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'96) - Workshop on Requirements Engineering in and for Networked Enterprises, Stanford, CA, USA, pp. 232-237, Jun 19-21, 1996
      PS PDF Abstract
    • S. M. Easterbrook and J. R. Callahan. ``SCR as an IV&V Too'', in Proceedings of Fifth International Software Cost Reduction (SCR) Workshop, Ottawa, Canada, February 8-9, 1996
      PS PDF Abstract
    • A. Al-Rawas and S. M. Easterbrook. `` A Field Study into the Communications Problems in Requirements Engineering'', in Proceedings of Conference on Professional Awareness in Software Engineering (PACE-96), London, UK, February, 1996
      PS PDF Abstract
    • S. M. Easterbrook and T. N. Arvantis . ``Preparing Students for Software Engineering'', in Proceedings of Third International Workshop on Software Engineering Education (IWSEE3), Technische Universit?t Berlin, Germany, March 30th, 1996
      PS PDF Abstract
    • S. M. Easterbrook . ``Coordination Breakdowns: How flexible is collaborative work?'', Requirements and Evaluation, London, pp. 91-106, 1996
      PS PDF Abstract
    • S. M. Easterbrook. ``Coordination Breakdowns: Why Groupware is so Hard to Design'', in Proceedings of 28th Hawaii International Conference on Systems Sciences (HICSS-28), Maui, Hawaii, USA, pp. 191-199, 3-6 January, 1995
      PS PDF Abstract
    • S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh . ``Co-ordinating Conflicting ViewPoints by Managing Inconsistency '', in Proceedings of Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design, Lausanne, Switzerland, pp. 15-18, August, 1994
      PS PDF Abstract
    • S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh . ``Co-ordinating Conflicting ViewPoints by Managing Inconsistency '', in Proceedings of Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design, Lausanne, Switzerland, pp. 15-18, August, 1994
      PS PDF Abstract
    • S. M. Easterbrook. ``Domain Modelling with Hierarchies of Alternative Viewpoints'', in Proceedings of First IEEE International Symposium on Requirements Engineering (RE'93), San Diego, January, 1993
      PS PDF Abstract
    • M.-M. Portmann and S. M. Easterbrook. ``PMI: Knowledge Elicitation and De Bono's Thinking Tools'', in Proceedings of Sixth European Workshop on Knowledge Acquisition for Knowledge Based Systems (EKAW-92), Heidelberg, Germany, May, 1992
      PS PDF Abstract
    • S. M. Easterbrook. ``Resolving Requirements Conflicts with Computer-Supported Negotiation'', in Workshop on Requirements Engineering, Oxford, 1992
      PS PDF Abstract
    • S. M. Easterbrook. ``Handling Conflict Between Domain Descriptions With Computer Supported Negotiation'', Knowledge Acquisition: An International Journal, vol. 3, pp. 255-289, 1991
      PS PDF Abstract
    • S. M. Easterbrook. Elicitation of Requirements from Multiple Perspectives , PhD Thesis , Imperial College of Science Technology and Medicine, University of London, London, June, 1991
      PS PDF Abstract
    • S. M. Easterbrook. `` Resolving Conflicts Between Domain Descriptions with Computer-Supported Negotiation'', in Proceedings of Fourth International Workshop on Knowledge Acquisition for Knowledge Based Systems (KAW-90), Banff, Canada, November, 1990
      PS PDF Abstract
    • S. M. Easterbrook. ``Distributed Knowledge Acquisition as a Model for Requirements Elicitation'', in Proceedings of Third European Workshop on Knowledge Acquisition for Knowledge Based Systems (EKAW-89) , Paris, France, July, 1989
      PS PDF Abstract

    For questions and suggestions contact the webmaster
    Formal Methods Group, CS Department, University of Toronto 2004