Travelled to:1 × China
1 × Hungary
1 × India
1 × Portugal
1 × Spain
1 × Sweden
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × Canada
2 × Germany
3 × France
3 × Ireland
3 × Italy
9 × USA
Collaborated with:M.Sabetzadeh ∅ N.Niu M.Chechik B.Nuseibeh J.Aranda S.E.Sim V.Wiels J.Mylopoulos J.Lung J.R.Callahan R.Salay D.E.Perry R.C.Holt S.Nejati T.Cohene B.Devereux V.Petrovykh S.Liaskos J.Horkoff E.S.K.Yu E.Patitsas M.Craig Z.Diskin J.Dingel G.Wilson Y.Yu G.V.Wilson T.Menzies S.Waugh F.Schneider G.J.Holzmann M.Strohmaier P.Zave A.Lapouchnian Y.Wang C.Becker R.Chitchyan L.Duboc B.Penzenstadler N.Seyff C.C.Venters Y.Fan M.Leica R.A.Qadir B.González-Baixauli W.Candillon J.C.S.d.P.Leite G.Vanwormhoudt A.Gurfinkel A.Y.C.Lai A.Tafliovich C.D.Thompson-Walsh
Talks about:model (19) softwar (10) engin (9) requir (8) use (6) viewpoint (5) inconsist (5) studi (5) multi (5) manag (5)
♂ Person: Steve M. Easterbrook
DBLP: Easterbrook:Steve_M=
Facilitated 1 volumes:
PrChContributed to:
2015
2015
2014
2012
200920082008
2008
2008
2008
200820072007200720062006
2005
20052005200420032003
2002
20012001
200120001999199919981998199719951993Wrote 44 papers:
- ICSE-v2-2015-BeckerCDEPSV #design
- Sustainability Design and Software: The Karlskrona Manifesto (CB, RC, LD, SME, BP, NS, CCV), pp. 467–476.
- MoDELS-2015-Easterbrook #modelling #question
- Modelling the climate system: Is model-based science like model-based engineering? (SME), p. 1.
- ITiCSE-2014-PatitsasCE #social
- A historical examination of the social factors affecting female participation in computing (EP, MC, SME), pp. 111–116.
- CSCW-2012-LungE #collaboration #graph #named #reasoning
- Inflo: collaborative reasoning via open calculation graphs (JL, SME), pp. 1199–1202.
- CAiSE-2009-SalayME #megamodelling #modelling #using
- Using Macromodels to Manage Collections of Related Models (RS, JM, SME), pp. 141–155.
- ASE-2008-SalayME #megamodelling #modelling
- Managing Models through Macromodeling (RS, JM, SME), pp. 447–450.
- ICSE-2008-LungAEW #on the #re-engineering
- On the difficulty of replicating human subjects studies in software engineering (JL, JA, SME, GVW), pp. 191–200.
- ICSE-2008-SabetzadehNEC #consistency #distributed #modelling
- Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.
- RE-2008-NiuE #functional #modelling #product line #requirements
- Extracting and Modeling Product Line Functional Requirements (NN, SME), pp. 155–164.
- REFSQ-2008-StrohmaierHYAE #modelling
- Can Patterns Improve i* Modeling? Two Exploratory Studies (MS, JH, ESKY, JA, SME), pp. 153–167.
- SPLC-2008-NiuE #analysis #clustering #functional #on-demand #product line #requirements
- On-Demand Cluster Analysis for Product Line Functional Requirements (NN, SME), pp. 87–96.
- TOOLS-EUROPE-2008-DiskinED #modelling #semantics
- Engineering Associations: From Models to Code and Back through Semantics (ZD, SME, JD), pp. 336–355.
- ASE-2007-Easterbrook #empirical #re-engineering #research
- Empirical research methods for software engineering (SME), p. 574.
- ICSE-2007-NejatiSCEZ #specification
- Matching and Merging of Statecharts Specifications (SN, MS, MC, SME, PZ), pp. 54–64.
- RE-2007-ArandaEW #how #requirements
- Requirements in the wild: How small companies do it (JA, SME, GW), pp. 39–48.
- RE-2007-SabetzadehNLEC #concept #consistency #model merging #modelling
- Consistency Checking of Conceptual Models via Model Merging (MS, SN, SL, SME, MC), pp. 221–230.
- RE-2007-YuNGCMELV #aspect-oriented #validation
- Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.
- ICSE-2006-PerrySE #case study
- Case studies for software engineers (DEP, SES, SME), pp. 1045–1046.
- RE-2006-NiuE #grid #modelling
- Managing Terminological Interference in Goal Models with Repertory Grid (NN, SME), pp. 296–299.
- ESEC-FSE-2005-ArandaE #estimation
- Anchoring and adjustment in software estimation (JA, SME), pp. 346–355.
- ICSM-2005-NiuES #approach
- A Category-theoretic Approach to Syntactic Software Merging (NN, SME, MS), pp. 197–206.
- RE-2005-CoheneE #analysis #design
- Contextual Risk Analysis for Interview Design (TC, SME), pp. 95–104.
- RE-2005-EasterbrookYAFHLQ #case study #concept #modelling
- Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study (SME, ESKY, JA, YF, JH, ML, RAQ), pp. 199–208.
- RE-2005-LiaskosLWYE #approach #configuration management
- Configuring Common Personal Software: a Requirements-Driven Approach (SL, AL, YW, YY, SME), pp. 9–18.
- RE-2005-SabetzadehE #algebra #consistency #framework
- An Algebraic Framework for Merging Incomplete and Inconsistent Views (MS, SME), pp. 306–318.
- RE-2005-SabetzadehE05a #consistency #named
- iVuBlender: A Tool for Merging Incomplete and Inconsistent Views (MS, SME), pp. 453–454.
- ICSE-2004-PerrySE #case study
- Case Studies for Software Engineers (DEP, SES, SME), pp. 736–738.
- ASE-2003-SabetzadehE #analysis #approach #consistency #graph #nondeterminism
- Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach (MS, SME), pp. 12–21.
- ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
- χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.
- ICSE-2003-SimEH #benchmark #challenge #metric #re-engineering #research #using
- Using Benchmarking to Advance Research: A Challenge to Software Engineering (SES, SME, RCH), pp. 74–83.
- IWPC-2002-SimHE #benchmark #c++ #metric #on the #using
- On Using a Benchmark to Evaluate C++ Extractors (SES, RCH, SME), pp. 114–123.
- FME-2001-ChechikEP #logic #model checking #multi
- Model-Checking over Multi-valued Logics (MC, SME, VP), pp. 72–98.
- ICSE-2001-EasterbrookC #consistency #framework #multi #reasoning
- A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (SME, MC), pp. 411–420.
- TACAS-2001-ChechikDE #implementation #model checking #multi
- Implementing a Multi-valued Symbolic Model Checker (MC, BD, SME), pp. 404–419.
- FoSE-2000-NuseibehE #requirements #roadmap
- Requirements engineering: a roadmap (BN, SME), pp. 35–46.
- ICSE-1999-Easterbrook #requirements #validation #verification
- Verification and Validation of Requirements for Mission Critical Systems (SME), pp. 673–674.
- RE-1999-Easterbrook #how #multi #question
- How Multi-Disciplinary Is RE (really)? (SME, BN), p. 33–?.
- RE-1999-MenziesENW #empirical #multi #reasoning #requirements
- An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering (TM, SME, BN, SW), p. 100–?.
- RE-1999-WielsE #formal method #modelling #using
- Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
- ASE-1998-WielsE #category theory #evolution #specification #using
- Management of Evolving Specifications using Category Theory (VW, SME), pp. 12–21.
- ICRE-1998-SchneiderECH #fault tolerance #model checking #requirements #using #validation
- Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
- RE-1997-EasterbrookC #experience #formal method #specification
- Formal Methods for V&V of Partial Specifications: An Experience RSeport (SME, JRC), pp. 160–168.
- RE-1995-EasterbrookN #consistency #evolution #nondeterminism #specification
- Managing inconsistencies in an evolving specification (SME, BN), pp. 48–55.
- RE-1993-Easterbrook #domain model #modelling
- Domain modelling with hierarchies of alternative viewpoints (SME), pp. 65–72.