Search the dblp DataBase
Steve M. Easterbrook :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sharon F. Lymer , WenQian Liu , Steve M. Easterbrook Experience in using business scenarios to assess COTS components in integrated solutions. [Citation Graph (0, 0)][DBLP ] CASCON, 2005, pp:126-140 [Conf ] Vidya Lakshminarayanan , WenQian Liu , Charles L. Chen , Steve M. Easterbrook , Dewayne E. Perry Software architects in practice: handling requirements. [Citation Graph (0, 0)][DBLP ] CASCON, 2006, pp:329-332 [Conf ] Marsha Chechik , Benet Devereux , Steve M. Easterbrook , Albert Y. C. Lai , Victor Petrovykh Efficient Multiple-Valued Model-Checking Using Lattice Representations. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:441-455 [Conf ] Bashar Nuseibeh , Steve M. Easterbrook The Process of Inconsistency Management: A Framework for Understanding. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1999, pp:364-368 [Conf ] M.-M. Portman , Steve M. Easterbrook PMI: Knowledge Eliciation and De Bono's Thinking Tools. [Citation Graph (0, 0)][DBLP ] EKAW, 1992, pp:264-282 [Conf ] Marsha Chechik , Steve M. Easterbrook , Victor Petrovykh Model-Checking over Multi-valued Logics. [Citation Graph (0, 0)][DBLP ] FME, 2001, pp:72-98 [Conf ] Diego Del Gobbo , Bojan Cukic , Marcello R. Napolitano , Steve M. Easterbrook Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP ] HASE, 1999, pp:231-238 [Conf ] Steve M. Easterbrook Coordination breakdowns: why groupware is so difficult to design. [Citation Graph (0, 0)][DBLP ] HICSS (4), 1995, pp:191-199 [Conf ] Markus Strohmaier , Eric Yu , Jennifer Horkoff , Jorge Aranda , Steve M. Easterbrook Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:188- [Conf ] Francis Schneider , Steve M. Easterbrook , John R. Callahan , Gerard J. Holzmann Validating Requirements for Fault Tolerant Systems using Model Checking. [Citation Graph (0, 0)][DBLP ] ICRE, 1998, pp:4-13 [Conf ] Steve M. Easterbrook Verification and Validation of Requirements for Mission Critical Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:673-674 [Conf ] Steve M. Easterbrook , Marsha Chechik A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:411-420 [Conf ] Steve M. Easterbrook , Marsha Chechik 2nd International Workshop on Living with Inconsistency. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:749-750 [Conf ] Steve M. Easterbrook , Marsha Chechik , Benet Devereux , Arie Gurfinkel , Albert Y. C. Lai , Victor Petrovykh , Anya Tafliovich , Christopher Thompson-Walsh \chiChek: A Model Checker for Multi-Valued Reasoning. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:804-805 [Conf ] Bashar Nuseibeh , Steve M. Easterbrook Requirements engineering: a roadmap. [Citation Graph (0, 0)][DBLP ] ICSE - Future of SE Track, 2000, pp:35-46 [Conf ] Dewayne E. Perry , Susan Elliott Sim , Steve M. Easterbrook Case Studies for Software Engineers. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:736-738 [Conf ] Dewayne E. Perry , Susan Elliott Sim , Steve M. Easterbrook Case studies for software engineers. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:1045-1046 [Conf ] Susan Elliott Sim , Steve M. Easterbrook , Richard C. Holt Using Benchmarking to Advance Research: A Challenge to Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:74-83 [Conf ] Shiva Nejati , Mehrdad Sabetzadeh , Marsha Chechik , Steve M. Easterbrook , Pamela Zave Matching and Merging of Statecharts Specifications. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:54-64 [Conf ] Nan Niu , Steve M. Easterbrook , Mehrdad Sabetzadeh A Category-theoretic Approach to Syntactic Software Merging. [Citation Graph (0, 0)][DBLP ] ICSM, 2005, pp:197-206 [Conf ] Marsha Chechik , Steve M. Easterbrook , Benet Devereux Model Checking with Multi-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP ] ISMVL, 2001, pp:187-192 [Conf ] Susan Elliott Sim , Richard C. Holt , Steve M. Easterbrook On Using a Benchmark to Evaluate C++ Extractors. [Citation Graph (0, 0)][DBLP ] IWPC, 2002, pp:114-126 [Conf ] Steve M. Easterbrook , Sebastián Uchitel Introduction to doctoral symposium. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:435- [Conf ] Mehrdad Sabetzadeh , Steve M. Easterbrook Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:12-21 [Conf ] Virginie Wiels , Steve M. Easterbrook Management of Evolving Specifications using Category Theory. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:12-21 [Conf ] Tira Cohene , Steve M. Easterbrook Contextual Risk Analysis for Interview Design. [Citation Graph (0, 0)][DBLP ] RE, 2005, pp:95-104 [Conf ] Steve M. Easterbrook How Multi-Disciplinary Is RE (really)? Institute for Software Research. [Citation Graph (0, 0)][DBLP ] RE, 1999, pp:33-0 [Conf ] Steve M. Easterbrook , John R. Callahan Formal Methods for V&V of Partial Specifications: An Experience RSeport. [Citation Graph (0, 0)][DBLP ] RE, 1997, pp:160-168 [Conf ] Steve M. Easterbrook , Bashar Nuseibeh Managing inconsistencies in an evolving specification. [Citation Graph (0, 0)][DBLP ] RE, 1995, pp:48-55 [Conf ] Steve M. Easterbrook , Eric Yu , Jorge Aranda , Yuntian Fan , Jennifer Horkoff , Marcel Leica , Rifat Abdul Qadir Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study. [Citation Graph (0, 0)][DBLP ] RE, 2005, pp:199-208 [Conf ] Sotirios Liaskos , Alexei Lapouchnian , Yiqiao Wang , Yijun Yu , Steve M. Easterbrook Configuring Common Personal Software: a Requirements-Driven Approach. [Citation Graph (0, 0)][DBLP ] RE, 2005, pp:9-18 [Conf ] Tim Menzies , Steve M. Easterbrook , Bashar Nuseibeh , Sam Waugh An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering. [Citation Graph (0, 0)][DBLP ] RE, 1999, pp:100-0 [Conf ] Mehrdad Sabetzadeh , Steve M. Easterbrook An Algebraic Framework for Merging Incomplete and Inconsistent Views. [Citation Graph (0, 0)][DBLP ] RE, 2005, pp:306-318 [Conf ] Mehrdad Sabetzadeh , Steve M. Easterbrook iVuBlender: A Tool for Merging Incomplete and Inconsistent Views. [Citation Graph (0, 0)][DBLP ] RE, 2005, pp:453-454 [Conf ] Virginie Wiels , Steve M. Easterbrook Formal Modeling of Space Shuttle Software Change Requests using SCR. [Citation Graph (0, 0)][DBLP ] RE, 1999, pp:114-122 [Conf ] Nan Niu , Steve M. Easterbrook Managing Terminological Interference in Goal Models with Repertory Grid. [Citation Graph (0, 0)][DBLP ] RE, 2006, pp:296-299 [Conf ] Jorge Aranda , Steve M. Easterbrook Anchoring and adjustment in software estimation. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:346-355 [Conf ] Marsha Chechik , Benet Devereux , Steve M. Easterbrook Implementing a Multi-valued Symbolic Model Checker. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:404-419 [Conf ] Nan Niu , Steve M. Easterbrook On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:115-117 [Conf ] Steve M. Easterbrook , John R. Callahan Independent validation of specifications: a coordination headache. [Citation Graph (0, 0)][DBLP ] WETICE, 1996, pp:232-237 [Conf ] Dewayne E. Perry , Susan Elliott Sim , Steve M. Easterbrook Case Studies for Software Engineers. [Citation Graph (0, 0)][DBLP ] SEW Tutorial Notes, 2005, pp:96-159 [Conf ] Bashar Nuseibeh , Steve M. Easterbrook , Alessandra Russo Leveraging Inconsistency in Software Development. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2000, v:33, n:4, pp:24-29 [Journal ] Marsha Chechik , Arie Gurfinkel , Benet Devereux , Albert Y. C. Lai , Steve M. Easterbrook Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal ] Steve M. Easterbrook , John R. Callahan Formal methods for verification and validation of partial specifications: A case study. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1998, v:40, n:3, pp:199-210 [Journal ] Bashar Nuseibeh , Steve M. Easterbrook , Alessandra Russo Making inconsistency respectable in software development. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2001, v:58, n:2, pp:171-180 [Journal ] Mehrdad Sabetzadeh , Steve M. Easterbrook View merging in the presence of incompleteness and inconsistency. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2006, v:11, n:3, pp:174-193 [Journal ] Steve M. Easterbrook , Marsha Chechik Guest Editorial: Special Issue on Model Checking in Requirements Engineering. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2002, v:7, n:4, pp:221-224 [Journal ] Marsha Chechik , Benet Devereux , Steve M. Easterbrook , Arie Gurfinkel Multi-valued symbolic model-checking. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:371-408 [Journal ] Steve M. Easterbrook , Robyn R. Lutz , Richard Covington , John Kelly , Yoko Ampo , David Hamilton Experiences Using Lightweight Formal Methods for Requirements Modeling. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:1, pp:4-14 [Journal ] Concept analysis for product line requirements. [Citation Graph (, )][DBLP ] Using Macromodels to Manage Collections of Related Models. [Citation Graph (, )][DBLP ] Discovering the shared understanding dynamics of large software teams. [Citation Graph (, )][DBLP ] On the difficulty of replicating human subjects studies in software engineering. [Citation Graph (, )][DBLP ] Global consistency checking of distributed models with TReMer+. [Citation Graph (, )][DBLP ] Socio-technical congruence (STC 2008). [Citation Graph (, )][DBLP ] Eliciting Architectural Decisions from Requirements using a Rule-based Framework. [Citation Graph (, )][DBLP ] 2nd international workshop on socio-technical congruence (STC 2009). [Citation Graph (, )][DBLP ] Integrating sustainability in decision-making processes: A modelling strategy. [Citation Graph (, )][DBLP ] Second International Workshop on Software Research and Climate Change. [Citation Graph (, )][DBLP ] Exploiting COTS-Based RE Methods: An Experience Report. [Citation Graph (, )][DBLP ] Empirical research methods for software engineering. [Citation Graph (, )][DBLP ] Managing Models through Macromodeling. [Citation Graph (, )][DBLP ] First international workshop on software research and climate change. [Citation Graph (, )][DBLP ] Tracing and Validating Goal Aspects. [Citation Graph (, )][DBLP ] Extracting and Modeling Product Line Functional Requirements. [Citation Graph (, )][DBLP ] Consistency Checking of Conceptual Models via Model Merging. [Citation Graph (, )][DBLP ] Requirements in the wild: How small companies do it. [Citation Graph (, )][DBLP ] The Role of Visualization in the Naturalization of Remote Software Immigrants. [Citation Graph (, )][DBLP ] On-Demand Cluster Analysis for Product Line Functional Requirements. [Citation Graph (, )][DBLP ] Engineering Associations: From Models to Code and Back through Semantics. [Citation Graph (, )][DBLP ] Can Patterns Improve i* Modeling? Two Exploratory Studies. [Citation Graph (, )][DBLP ] An Eclipse-based tool framework for software model management. [Citation Graph (, )][DBLP ] Guest Editors' Introduction. [Citation Graph (, )][DBLP ] Code forking in open-source software: a requirements perspective [Citation Graph (, )][DBLP ] Configuration Management for Large-Scale Scientific Computing at the UK Met Office. [Citation Graph (, )][DBLP ] Engineering the Software for Understanding Climate Change. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.460secs