Bibliography for Steve Easterbrook

Erdös number: 4 (me -> A. Finkelstein -> D. Gabbay -> S. Shelah -> P. Erdös)

2015

• Patitsas, E., Craig, M., & Easterbrook, S. M. (2015). Scaling up Women in Computing Initiatives: What Can We Learn from a Public Policy Perspective? In 11th ACM International Computing Education Research (ICER’15) Conference (pp. 61–69).
• Betz, S., Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Penzenstadler, B., … Venters, C. C. (2015). Sustainability Debt : A Metaphor to Support Sustainability Design Decisions. In Fourth International Workshop on Requirements Engineering for Sustainable Systems at the 23rd IEEE International Requirements Engineering Conference (RE 2015), Ottawa, Canada, Aug 24, 2015.
• Sabet, M., & Easterbrook, S. (2015). Engaging End Users in Green Building Design Software. In Fourth International Workshop on Requirements Engineering for Sustainable Systems at the 23rd IEEE International Requirements Engineering Conference (RE 2015), Ottawa, Canada, Aug 24, 2015. IEEE Computer Society Press.
• Alexander, K. and Easterbrook, S. M.: The software architecture of climate models: a graphical comparison of CMIP5 and EMICAR5 configurations, Geosci. Model Dev., 8, 1221-1232, doi:10.5194/gmd-8-1221-2015, 2015.
• Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Penzenstadler, B., Seyff, N., Venters, C., (2015) Sustainability Design and Software: The Karlskrona Manifesto. Proceedings, 37th ACM/IEEE International Conference on Software Engineering, Florence, Italy, 16-24 May, 2015.

2014

• Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Mahaux, M., Penzenstadler, B., Rodriguez-Navas, G., Salinesi, C., Seyff, N., Venters, C., Calero, C., Kocak, S. A., Betz, S., (2014) The Karlskrona manifesto for sustainability design. Technical Report. arXiv:1410.6968 [cs.SE]
• S. M. Easterbrook (2014). Open code for open science? Nature Geoscience, 7(11), 779–781.
• S. M. Easterbrook, "From Computational Thinking to Systems Thinking: A conceptual toolkit for sustainability computing". Proceedings, Second International Conference on ICT for Sustainability (ICT4S 2014), Stockholm, Sweden, August 24-27, 2014
• E. Patitsas, M. Craig, S. M. Easterbrook, "A Historical Examination of the Social Factors Affecting Female Participation in Computing" 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2014), Uppsala, Sweden, June 23-25, 2014.
• Willett, K., Williams, C., Jolliffe, I. T., Lund, R., Alexander, L. V., Brönnimann, S., Vincent, L. A., Easterbrook, S., Venema, V. K. C., Berry, D., Warren, R. E., Lopardo, G., Auchmann, R., Aguilar, E., Menne, M. J., Gallagher, C., Hausfather, Z., Thorarinsdottir, T., and Thorne, P. W.: A framework for benchmarking of homogenisation algorithm performance on the global scale, Geosci. Instrum. Method. Data Syst., 3, 187-200, 2014.
• S. Nalchigar, E. Yu, and S. M. Easterbrook, Towards Actionable Business Intelligence: Can System Dynamics Help? Proceedings, 7th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling, Manchester, UK, 12-13 Nov 2014.
• Y. Li, C. Liang, S. M. Easterbrook, and Z. Zhang "Investigating functional implication of reinforcing feedback loops in transcriptional regulatory network". Molecular Biosystems. 2014 Dec;10(12):3238-48

2013

• E. Patitsas, M. Craig, S. M. Easterbrook, “On the Countably Many Misconceptions about #Hashtables”. Poster abstract, SIGCSE 2013, Denver, Colorado, USA, February 2013.
• E. Patitsas, M. Craig, S. M. Easterbrook, "Comparing and Contrasting Different Algorithms Leads to Increased Student Learning". Ninth International Computing Education Research Workshop (ICER 2013), LaJolla, CA, USA, 12-14 August 2013.

2012

• J. Lung and S. M. Easterbrook (2012). Augmenting Flow Diagrams Created by End-user Programs. In IEEE Symposium on Visual Languages and Human-Centric Computing, Innsbruck, Austria, Sept 30 - Oct 4 2012, pp. 175–178.
• J. Pipitone and S. M. Easterbrook, "Assessing climate model software quality: a defect density analysis of three models", Journal of Geoscientific Model Development (GMD), Vol 5, No 4, Pp 1009-1022. Aug 2012
• J. Lung and S. M. Easterbrook, "Inflo: Collaborative reasoning with open calculation graphs". Proceedings, ACM International Conference on Computer Supported Cooperative Work (CSCW'2012), Seattle, Washington, USA, February 11-15, 2012.
• S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave, "Matching and Merging of Variant Feature Specifications", IEEE Transactions on Software Engineering, Vol 38, No 6 , Pp 1355- 1375. Dec 2012
• A. M. Grubb and S. M. Easterbrook, "The Road to Farming Software is Paved with Good Intentions". Workshop on Learning from Marginalized Users: Reciprocity in HCI4D. At the 2012 ACM Conference on Computer Supported Cooperative Work (CSCW'2012), Seattle, Washington, Feb 11-15, 2012.

2011

• S. M. Easterbrook, P. N. Edwards,V. Balaji, R. Budich. "Guest Editors’ Introduction: Climate Change - Science and Software". IEEE Software. 2011;28(6):32-35. (See the other papers in this special issue here).
• J. Lung and S. M. Easterbrook "A first look at end-user visual computation supporting sharing & reuse with Inflo". IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2011), Pittsburgh, USA, September 18-22, 2011.
• A. Grubb and S. M. Easterbrook, "On the Lack of Consensus over the Meaning of Openness: an Empirical Study". PLoS ONE, Vol 6, No 8, e23420.
• S. M. Easterbrook, "Code Design and Quality Control". In L. Bonaventura, R. Redler, and R. Budich, "Earth System Modeling Vol 2: Algorithms, Code Infrastructure and Optimization", Springer Briefs in Earth System Sciences,
  

2010

• S. M. Easterbrook, Climate Change: A Software Grand Challenge. FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, Nov 7-8, 2010.
• M. Sabetzadeh, S. Nejati, M. Chechik, and S. M. Easterbrook “Reasoning About Consistency in Model Merging”. Proceedings, Third IEEE Workshop on Living with Inconsistency in Software Development (LWI’2010) at the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE’2010), Antwerp, Belgium, 20-24 September 2010, pages 32-38.
• N. A. Ernst, S. Easterbrook, J. Mylopoulos, Code forking in open-source software: a requirements perspective. arXiv:1004.2889

2009

• S. M. Easterbrook and T. Johns, Engineering the Software for Understanding Climate Change. IEEE Computing in Science and Engineering, Vol 11 (6), pp65-74. November 2009.
• R. Salay, J. Mylopoulos and S. M. Easterbrook, “Using Macromodels to Manage Collections of Related Models” 21st International Conference on Advanced Information Systems Engineering, Amsterdam, The Netherlands, Pp141-155, June 8-12, 2009.
• J. Cabot, S. M. Easterbrook, J. Horkoff, J Mazon, L. Lessard, S. Liaskos, “Integrating Sustainability into the Decision-Making Process: A Modeling Strategy”, New Ideas and Emerging Results track, 31st IEEE/ACM International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
• N. Niu and S. M. Easterbrook. “Concept Analysis for Product Line Requirements” 8th International Conference on Aspect-Oriented Software Development, Charlottesville, Virginia, March 2-6, 2009.
• L. Mei and S. M. Easterbrook, “Capturing and Modeling Human Cognition for Context-Aware Software”, Short Paper, 9th International Conference on Cognitive Modeling, Manchester, UK, 24th-26th July 2009.
• M. Chechik, W. Lai, S. Nejati, J. Cabot, Z. Diskin, S. M. Easterbrook, M. Sabetzadeh, and R. Salay, “Relationship-Based Change Propagation: A Case Study”, Workshop on Modeling in Software Engineering (MiSE), at the 31st IEEE/ACM International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.

2008

• Lung, J., Aranda, J., Easterbrook, S. M. and Wilson, G. V., On the Difficulty of Replicating Human Subjects Studies in Software Engineering. 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig, Germany, May 10-18, 2008.
• D. Matthews, G. V. Wilson and S. M. Easterbrook, Configuration Management for Large-Scale Scientific Computing at the UK Met Office. IEEE Computing in Science and Engineering Vol 10 (6), pp56-64, November 2008
• N. Niu and S. M. Easterbrook, On-Demand Cluster Analysis for Product Line Functional Requirements. 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, 8-13 September 2008.
• N. Niu and S. M. Easterbrook, Extracting and Modeling Product Line Functional Requirements. 16th IEEE International Requirements Engineering conference (RE’08), Barcelona, Spain, 8-12 September 2008.
• Z. Diskin, S. M. Easterbrook and J. Dingel, Engineering Associations: From Models to Code and Back through Semantics. TOOLS EUROPE 2008, Zurich, Switzerland, 30 June - 4 July 2008.
• R. Salay, J. Mylopoulos, and S. M. Easterbrook, Managing Models through Macromodeling (short paper). 23rd IEEE/ACM International Conference on Automated Software Engineering. L’Aquila, Italy, Sept 25-19, 2008.
• M. Strohmaier, J. Horkoff, E. Yu, J. Aranda and S. M. Easterbrook, Can Patterns improve i* Modeling? Two Exploratory Studies. 14th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ’08), Montpellier, France, 16-17 June 2008.
• J. Aranda, S. M. Easterbrook and G. V. Wilson, Observations on Conway's Law in Scientific Computing. International Workshop on Socio-Technical Congruence (STC 2008), at the 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig Germany, May 10, 2008.
• J. Rubin, M. Chechik, and S. M. Easterbrook. Declarative Approach for Model Composition. 2nd International workshop on Modeling in Software Engineering (MiSE’08), at the 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig Germany, May 10-11, 2008.
• M. Sabetzadeh, S. Nejati, S. M. Easterbrook and M. Chechik, Global Consistency Checking of Distributed Models with TReMer+ Formal Tool Demo Paper, 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig, Germany, May 10-18, 2008

2007

• Easterbrook, S. M., Singer, J., Storey, M, and Damian, D. Selecting Empirical Methods for Software Engineering Research. Appears in F. Shull and J. Singer (eds) "Guide to Advanced Empirical Software Engineering", Springer, 2007.
• Aranda, J., Khuwaja, R. and Easterbrook, S. M. Discovering the Shared Understanding Dynamics of Large Software Teams. 17th International Conference of the IBM Centers for Advanced Studies (CASCON'07), Toronto, Canada, 22-25 Oct 2007.
• N. Niu, S. M. Easterbrook, and Y. Yu. A Taxonomy of Requirements Aspects. 10th International Workshop On Early Aspects at the 6th International Conference on Aspect-Oriented Software Development (AOSD'07), Vancouver, Canada, March 12-16, 2007
• N. Niu, and S. M. Easterbrook, So, You Think You Know Others' Goals? A Repertory Grid Study. IEEE Software, Vol 24, No 2, pp53-61, March/April 2007.
• S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave. Matching and Merging of Statecharts Specifications. In proceedings of the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, USA, 21-25 May 2007.
• M. Sabetzadeh, S. Nejati, S. M. Easterbrook and M. Chechik. A Relationship-Driven Framework for Model Merging. International Workshop on Modeling in Software Engineering (MiSE-07). at the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, USA, 19-20 May 2007.
• J. Aranda, N. Ernst, J. Horkoff, and S. M. Easterbrook. A Framework for Empirical Evaluation of Model Comprehensibility. International Workshop on Modeling in Software Engineering (MiSE-07). at the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, USA, 19-20 May 2007.
• L. Mei and S. M.Easterbrook. Evaluating User-centric Adaptation with Goal Models. International Workshop on Software Engineering for Pervasive Computing Applications, Systems and Environments (SEPCASE 2007), at the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, USA, 26 May 2007.
• Strohmaier, M. S., Yu, E. Y., Horkoff, J. H., Aranda, J. A., & Easterbrook, S. E. (2007). Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach. 40th Annual Hawaii International Conference on System Sciences (HICSS’07), 1–10. 2007. doi:10.1109/HICSS.2007.80
• J. Aranda, S. M. Easterbrook, and G. Wilson. Requirements in the wild: How small companies do it. Proceedings of the 15th IEEE International Requirements Engineering Conference (RE'07), Delhi, India, 15-19 October 2007..
• M. Sabetzadeh, S. Nejati, S. Liaskos, S. M. Easterbrook and M. Chechik. Consistency Checking of Conceptual Models via Model Merging. Proceedings of the 15th IEEE International Requirements Engineering Conference (RE'07), Delhi, India, 15-19 October 2007.
• N. Niu and S. M. Easterbrook, Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach. Transactions on Aspect-Oriented Software Development. Vol 3, pp 40-72. Lecture Notes in computer Science LNCS 4620/2007. Springer. November 2007.
  

2006

• J. Aranda and S. M. Easterbrook, Distributed Cognition in Software Engineering: Can it be made to work? Workshop on Supporting the Social Side of Large-Scale Software Development, at the International Conference on Computer Supported Cooperative Work (CSCW'06), Banff, Canada, Nov 4, 2006.
• M. Sabetzadeh, S. Nejati, S. M. Easterbrook, M. Chechik, A Relationship-Driven Approach to View Merging. Poster presented at the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'06), Portland, Oregon, Nov 5-11, 2006.
• V. Lakshminarayanan, W. Liu, C. L. Chen, S. M. Easterbrook and D. E. Perry, Software Architects in Practice: Handling Requirements.16th International Conference of the IBM Centers for Advanced Studies (CASCON'06), Toronto, Canada, 16-19 Oct 2006.
• M. Chechik, A. Gurfinkel, B. Devereux, A. Lai and S. M. Easterbrook, Data structures for symbolic multi-valued model-checking. Formal Methods in System Design, vol 29, no 3, pp295-344, Nov 2006.
• M. Sabetzadeh and S. M. Easterbrook. View Merging in the presence of incompleteness and inconsistency. Requirements Engineering Journal, vol 11, pp174-193. 2006.
• N. Niu and S. M. Easterbrook. Managing Terminological Interference in Goal Models with Repertory Grid (Short Paper). 14th IEEE International Requirements Engineering Conference (RE’06), Minneapolis, USA, Sep 11-15, 2006.
• N. Niu and S. M. Easterbrook, Discovering Aspects in Requirements with Repertory Grid. Workshop on Early Aspects, at the 28th International Conference on Software Engineering, Shanghai, China, 20-28 May 2006.
• G. Brunet, M. Chechik, S. M. Easterbrook, S. Nejati, N. Niu, M. Sabetzadeh, A Manifesto for Model Merging. Workshop on Global Integrated Model Management (GaMMa'06) at the 28th International Conference on Software Engineering, Shanghai, China, 20-28 May 2006.

2005

• J. Aranda and S. M. Easterbrook, "Anchoring and Adjustment in Software Estimation". European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), Lisbon, Portugal, Sept 5-9, 2005.
• N. Niu, S. M. Easterbrook and M. Sabetzadeh, "A Category-Theoretic Approach to Syntactic Software Merging". 21st IEEE International Conference on Software Maintenance (ICSM'05), Budapest, Hungary, Sept 25-30, 2005.
• S. M. Easterbrook, E. Yu, J. Aranda, Y. Fan, J. Horkoff, M. Leica, and R. A. Qadir. Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study. 13th IEEE International Requirements Engineering Conference (RE’05), Paris, France, Aug 29 – Sep 2 2005.
• S. Liaskos, A. Lapouchnian, Y.Wang Y. Yu, and S. M. Easterbrook. Configuring Common Personal Software: a Requirements-Driven Approach. 13th IEEE International Requirements Engineering Conference (RE’05), Paris, France, Aug 29 – Sep 2 2005.
• M. Sabetzadeh and S. M. Easterbrook. An Algebraic Framework for Merging Incomplete and Inconsistent Views. 13th IEEE International Requirements Engineering Conference (RE’05), Paris, France, Aug 29 – Sep 2 2005.
• T. Cohene and S. M. Easterbrook. Contextual Risk Analysis for Interview Design. 13th IEEE International Requirements Engineering Conference (RE’05), Paris, France, Aug 29 – Sep 2 2005.
• M. Sabetzadeh and S. M. Easterbrook. iVuBlender: A Tool for Merging Incomplete and Inconsistent Views - Tool Demo Paper. 13th IEEE International Requirements Engineering Conference (RE’05), Paris, France, Aug 29 – Sep 2 2005.
• W. Liu, S. Lymer and S. M. Easterbrook. Using Business Scenarios to Surface Requirements for COTS Products 15th International Conference of the IBM Centers for Advanced Studies (CASCON'05), Toronto, Canada, 17-20 Oct 2005.

2004

• S. M. Easterbrook, "What is Requirements Engineering?" (Draft book chapter)
• S. M. Easterbrook, "What are Requirements?" (Draft book chapter)
• S. M. Easterbrook, "What is Engineering?" (Draft book chapter)
• M. Sabetzadeh and S. M. Easterbrook, "An Algebraic Framework for Merging Incomplete and Inconsistent Views". Technical Report CSRG-496, Department of Computer Science, University of Toronto, Canada, September 2004.
• D. E. Perry, S. E. Sim, and S. M. Easterbrook. "Case Studies for Software Engineers". Tutorial Summary, 26th IEEE/ACM International Conference on Software Engineering (ICSE'04), Edinburgh, Scotland, May 23-28, 2004. pp. 736-738.

2003

• M.Chechik, B. Devereux, S. M. Easterbrook and A. Gurfinkel "Multi-Valued Symbolic Model-Checking". ACM Transactions on Software Engineering and Methodology (TOSEM), Vol 12, No 4, p371-408. Oct 2003
• M. Sabetzadeh and S. M. Easterbrook "Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach". 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada, October 6-10, 2003.
• S. E. Sim, S. M. Easterbrook and R. C. Holt, "Using Benchmarking to Advance Research: A Challenge to Software Engineering". 25th International Conference on Software Engineering, Portland, Oregon, 3-10 May 2003.
• S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich and C. Thompson-Walsh, "χChek: A Model Checker for Multi-Valued Reasoning". Research Demo Paper presented at the 25th International Conference on Software Engineering, Portland, Oregon, 3-10 May 2003.
• W. Liu and S. M. Easterbrook "Eliciting Architectural Decisions from Requirements using a Rule-based Framework". Second International Workshop From Software Requirements to Architectures (STRAW'03), co-located with ICSE 2003, Portland, Oregon, 9 May 2003.
• S. M. Easterbrook "Model Management and Inconsistency in Software Design" NSF Workshop on the Science of Design.November 2-4, 2003, Airlie Center, Virginia, USA.

2002

• S. M. Easterbrook and M. Chechik "Guest Editorial: Special Issue on Model Checking in Requirements
  Engineering". Requirements Engineering Journal, Vol 7, No 4, December 2002, pp221-224.
• W. Liu, S. M. Easterbrook and J. Mylopoulos, "Rule-Based Detection of Inconsistency in UML Models". Presented at the Workshop on Consistency Problems in UML-Based Software Development, at the Fifth International Conference on the Unified Modeling Language, Dresden, Germany, October 1, 2002.
• S. E. Sim, R. C. Holt, and S. M. Easterbrook "On Using a Benchmark to Evaluate C++ Extractors", 10th IEEE International Workshop on Program Comprehension, June 26-29, 2002, La Sorbonne, Paris, France.
• M. Chechik, A. Gurfinkel, B. Devereux, A. Lai and S. M. Easterbrook, "Data Structures for Symbolic Multi-Valued Model-Checking", submitted for publication, January 2002

2001

• B. A. Nuseibeh, S. M. Easterbrook and A. Russo, "Making Inconsistency Respectable in Software Development ", Journal of Systems and Software, 58 (2) (2001) pp. 171-180.
• M. Chechik, B. Devereux, S. M. Easterbrook, A. Lai, and V. Petrovykh, "Efficient Multiple-Valued
  Model-Checking Using Lattice Representations". Proceedings of the International Conference on Concurrency Theory (CONCUR'01), Aalborg, Denmark, August 21-24, 2001.
• S. M. Easterbrook and M. Chechik, "Automated Paraconsistent Reasoning via Model Checking". Proceedings, First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01), Seattle, USA, August 2001.
• M. Chechik, S. M. Easterbrook and B. Devereux, "Model Checking with Multi-Valued Temporal Logics". Proceedings of the 31st IEEE International Symposium on Multiple Valued Logics (ISMVL  2001), Warsaw, Poland, 22-24 May 2001.
• S. M. Easterbrook and M. Chechik, "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints", Proceedings, 23rd International Conference on Software Engineering (ICSE-01), Toronto, Canada, May 12-19, 2001. IEEE Computer Society Press.
• S. M. Easterbrook, and M. Chechik, "A Framework to Handle Horizontal Inconsistency in Software". Proceedings, 2nd International Workshop on Living with Inconsistency, at the 23rd International Conference on Software Engineering (ICSE-01), Toronto, Canada, May 12-19, 2001.
• M. Chechik and S. M. Easterbrook, "Reasoning About Compositions of Concerns". Proceedings, Workshop on Advanced Separation of Concerns in Software Engineering, at the 23rd International Conference on Software Engineering (ICSE-01), Toronto, Canada, May 12-19, 2001.
• M. Chechik, B. Devereux, and S. M. Easterbrook, "Implementing a  Multi-Valued Symbolic Model Checker". Proceedings of the  Fourth European Joint Conferences on Theory and Practice of Software (ETAPS2001)  - Tools and Algorithms for the Construction and Analysis of Systems (TACAS  2001), Genova, Italy, 2-6 April 2001.
• M. Chechik, S. M. Easterbrook and V. Petrovykh, "Model-Checking over Multi-Valued Logics", Proceedings, Formal Methods Europe (FME-01), Berlin, Germany, 12-16 March 2001.

2000

• T. Menzies, S. M. Easterbrook, B. A. Nuseibeh and S. Waugh, " Validating Inconsistent Requirements Models Using Graph-Based Abduction". Submitted for publication.
• B. A. Nuseibeh, S. M. Easterbrook and A. Russo, "Leveraging Inconsistency in Software Development", IEEE Computer, Volume 33, No. 4, Pages 24-29, April 2000.
• B. A. Nuseibeh and S. M. Easterbrook, "Requirements Engineering: A Roadmap", In A. C. W. Finkelstein (ed) "The Future of Software Engineering ". (Companion volume to the proceedings of the 22nd International Conference on Software Engineering, ICSE'00). IEEE Computer Society Press.

1999

• D. DelGobbo, B. Cukic, S. M. Easterbrook, and M. Napolitano, "Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems", Proceedings, Fourth IEEE International Symposium on High Assurance Systems Engineering (HASE'99), Washington DC, November 17-19, 1999.
• B. A. Nuseibeh and S. M. Easterbrook, "The Process of Inconsistency Management : a Framework for Understanding", Proceedings, First International Workshop on the Requirements Engineering Process (REP'99) , Florence, Italy, September 2-3, 1999.
• V. Wiels and S. M. Easterbrook, "Formal Modeling of Space Shuttle Software Change Requests using SCR", Proceedings, Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999.
• T. Menzies, S. M. Easterbrook, B. A. Nuseibeh and S. Waugh, "An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering", Proceedings, Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11, 1999.

1998

• S. M. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo and D. Hamilton, "Experiences Using Lightweight Formal Methods for Requirements Modeling," IEEE Transactions on Software Engineering, Special Issue on Formal Methods in Software Practice, vol. 24, (1), 1998.
• S. M. Easterbrook and J. R. Callahan, "Formal Methods for Verification and Validation of partial specifications: A Case Study," Journal of Systems and Software, vol. 40, (3), 1998.
• V. Wiels and S. M. Easterbrook, "Management of evolving specifications using category theory," Proceedings, 13th International Conference on Automated Software Engineering, Honolulu, Hawaii, 14-16 October 1998.
• S. M. Easterbrook, J. R. Callahan and V. Wiels, "V&V through Inconsistency Tracking and Analysis," International Workshop on Software Specification and Design, Kyoto, Japan, April 16-18, 1998.
• S. M. Easterbrook, "The Role of Independent V&V in Upstream Software Development Processes." Journal of Integrated Design and Process Science, vol. 2 (1), 37-46, 1998
• F. Schneider, S. M. Easterbrook, J. R. Callahan and G. J. Holzmann, "Validating Requirements for Fault Tolerant Systems using Model Checking, " Third IEEE Conference on Requirements Engineering, Colorado Springs, CO, April 6 - 10, 1998.

1997

• S. M. Easterbrook and J. R. Callahan, (1997) "Formal Methods for V&V of partial specifications: An experience report". Proceedings, Third IEEE International Symposium on Requirements Engineering (RE'97) , Annapolis, Maryland, 5-8 January 1997.

1996

• S. M. Easterbrook (1996) The Role of Independent V&V in Upstream Software Development Processes. In Proceedings, 2nd World Conference on Integrated Design and Process Technology (IDPT-96), Austin, Texas, December 1-4, 1996.
• S. M. Easterbrook and J. R. Callahan (1996) Independent Validation of Specifications: A coordination headache, Proceedings, IEEE Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'96) - Workshop on Requirements Engineering in and for Networked Enterprises, Stanford, CA, Jun 19-21, 1996, pp232-237.
• S. M. Easterbrook and J. R. Callahan, (1996) SCR as an IV&V Tool, Proceedings, Fifth International Software Cost Reduction (SCR) Workshop, Ottawa, Canada, Feb 8-9, 1996.


• S. M. Easterbrook and B. A. Nuseibeh (1996) Using ViewPoints for Inconsistency Management. Software Engineering Journal, Vol 11, No 1, Jan 1996.
• A. Al-Rawas and S. M. Easterbrook (1996) A Field Study into the Communications Problems in Requirements Engineering. Proceedings, Conference on Professional Awareness in Software Engineering (PACE-96) , London, February 1996.
• S. M. Easterbrook and T. N. Arvantis (1996) Preparing Students for Software Engineering. Proceedings, Third International Workshop on Software Engineering Education (IWSEE3), Technische Universität Berlin, Germany, March 30th, 1996.
• S. M. Easterbrook (1996) Learning from Inconsistency, Proceedings, Eighth International Workshop on Software Specification and Design (IWSSD-8) , Paderborn, Germany, Mar. 22-23, 1996.


• S. M. Easterbrook (1996) Coordination Breakdowns: How flexible is collaborative work? In P. Thomas (ed) CSCW: Requirements and Evaluation , Pp91-106. London: Springer-Verlag.

1995

• S. M. Easterbrook and B. A. Nuseibeh (1995) Managing Inconsistencies in an Evolving Specification. Proceedings, Second IEEE International Symposium on Requirements Engineering (RE'95), York, UK, April 1995, Pp48-55.

download PDF file
• S. M. Easterbrook (1995) Coordination Breakdowns: Why Groupware is so Hard to Design. Proceedings, 28th Hawaii International Conference on Systems Sciences (HICSS-28), Maui, Hawaii, 3-6 January, 1995, Pp 191-199. IEEE Press.

download PDF file

1994

• S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh (1994) Coordinating Distributed ViewPoints: The anatomy of a consistency check. Journal of Concurrent Engineering: Research and Applications , Vol 2, No 3 (Special Issue on Conflict Management)

download PDF file
• S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh (1994) Co-ordinating Conflicting ViewPoints by Managing Inconsistency . Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design, Lausanne, Switzerland, 15-18 August 1994.

download PDF file
• S. M. Easterbrook (1994) Resolving Requirements Conflicts with Computer-Supported Negotiation. In M. Jirotka & J. Goguen (eds) Requirements Engineering: Social and Technical Issues, Pp41-65. London: Academic Press.
• B. A. Nuseibeh, A. C. W. Finkelstein, J. Kramer and S. M. Easterbrook (1994) Concurrent Software Engineering: Coordinating Distributed ViewPoints for Managing Inconsistency (Extended Abstract), IEE Colloquium on "Issues of Cooperative Working in Concurrent Engineering", Savoy Place, London, 15th June 1994.

Extended Abstract

1993

• S. M. Easterbrook (1993) Negotiation and the Role of the Requirements Specification. In P. Quintas (ed) Social Dimensions of Systems Engineering: People, Processes, Policies and Software Development, Pp144-164. London: Ellis Horwood.

download PDF file
• S. M. Easterbrook (1993) Domain Modelling with Hierarchies of Alternative Viewpoints. Proceedings, First IEEE International Symposium on Requirements Engineering (RE'93), San Diego, January 1993.

download PDF file
• S. M. Easterbrook, E. E. Beck, J. Goodlet, L. Plowman, M. Sharples, and C. C. Wood (1993) A Survey of Empirical Studies of Conflict. In S. M. Easterbrook (ed) CSCW: Cooperation or Conflict? London: Springer-Verlag, pp1-68.

download PDF file
• Alison White and S. M. Easterbrook (1993) Dictofun: A concept Dictionary for Children. Journal of Computer Assisted Learning , Vol 9, Pp 161-170.
• A. C. W. Finkelstein, S. M. Easterbrook, J. Kramer & B. A. Nuseibeh (1993) Requirements Engineering Through Viewpoints, DRA Workshop on Requirements Engineering, Malvern, 1993.
• S. M. Easterbrook, Ed. (1993) CSCW: Co-operation or Conflict? London: Springer-Verlag, 211 pages.

1992

• M.-M. Portmann and S. M. Easterbrook (1992) PMI: Knowledge Elicitation and De Bono's Thinking Tools. Proceedings, Sixth European Workshop on Knowledge Acquisition for Knowledge Based Systems (EKAW-92), Heidelberg, Germany, May 1992.

download PDF file
• S. M. Easterbrook (1992) Resolving Requirements Conflicts with Computer-Supported Negotiation, Workshop on Requirements Engineering, Oxford, 1992.

download PDF file

1991

• S. M. Easterbrook (1991) Handling Conflict Between Domain Descriptions With Computer Supported Negotiation.Knowledge Acquisition: An International Journal, Vol 3, No 4, pp 255-289.

download PDF file
• S. M. Easterbrook (1991) Elicitation of Requirements from Multiple Perspectives. PhD Thesis, Imperial College of Science Technology and Medicine, University of London, June 1991.

download PDF file

1990

• S. M. Easterbrook (1990) Resolving Conflicts Between Domain Descriptions with Computer-Supported Negotiation. Proceedings, Fourth International Workshop on Knowledge Acquisition for Knowledge Based Systems (KAW-90) , Banff, Canada, November 1990.

1989

• S. M. Easterbrook (1989) Distributed Knowledge Acquisition as a Model for Requirements Elicitation. Proceedings, Third European Workshop on Knowledge Acquisition for Knowledge Based Systems (EKAW-89) , Paris, July 1989.