Erdös number: 4 (me -> A. Finkelstein -> D. Gabbay -> S. Shelah -> P. Erdös)
2008
Easterbrook, S.
M. and Johns, T. C., Engineering
the Software for Understanding Climate Change. Submitted for publication.- 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 (to appear, 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.
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.
- J. Aranda, S. M. Easterbrook, and G. Wilson. Requirements
in the wild: How small companies do it. To appear, 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. To appear, proceedings of the 15th IEEE International
Requirements Engineering Conference (RE'07), Delhi, India, 15-19 October 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
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.
Steve Easterbrook [Last modified:
June 27, 2005]