default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteve M. Easterbrook
Steve Easterbrook
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c99]Wei Yu, Wenxin Chen, Songheng Yin, Steve Easterbrook, Animesh Garg:
Modular Action Concept Grounding in Semantic Video Prediction. CVPR 2022: 3595-3604- 2021
- [j25]Steve Easterbrook:
The discontinous future. SIGCAS Comput. Soc. 50(3): 8 (2021) - 2020
- [j24]Elizabeth Patitsas, Jesse Berlin, Michelle Craig, Steve Easterbrook:
Evidence that computer science grades are not bimodal. Commun. ACM 63(1): 91-98 (2020) - [c98]Wei Yu, Yichao Lu, Steve Easterbrook, Sanja Fidler:
Efficient and Information-Preserving Future Frame Prediction and Beyond. ICLR 2020 - [i5]Wei Yu, Wenxin Chen, Steve Easterbrook, Animesh Garg:
Action Concept Grounding Network for Semantically-Consistent Video Generation. CoRR abs/2011.11201 (2020)
2010 – 2019
- 2019
- [c97]Dina Sabie
, Samar Sabie, Cansu E. Dedeoglu, Yasaman Rohanifar, Fatma Hashim, Steve Easterbrook, Syed Ishtiaque Ahmed:
Exile Within Borders: Understanding the Limits of the Internally Displaced People (IDPs) in Iraq. LIMITS 2019: 1:1-1:16 - [e3]Steve Easterbrook, Jay Chen, Oliver Bates:
Proceedings of the Fifth Workshop on Computing within Limits, LIMITS 2019, Lappeenranta, Finland, June 10-11, 2019. ACM 2019, ISBN 978-1-4503-7281-7 [contents] - [i4]Soukayna Mouatadid, Pierre Gentine, Wei Yu, Steve Easterbrook:
Recovering the parameters underlying the Lorenz-96 chaotic dynamics. CoRR abs/1906.06786 (2019) - [i3]Wei Yu, Yichao Lu, Steve Easterbrook, Sanja Fidler:
CrevNet: Conditionally Reversible Video Prediction. CoRR abs/1910.11577 (2019) - 2018
- [j23]Birgit Penzenstadler, Leticia Duboc, Colin C. Venters, Stefanie Betz, Norbert Seyff, Krzysztof Wnuk, Ruzanna Chitchyan, Steve M. Easterbrook, Christoph Becker:
Software Engineering for Sustainability: Find the Leverage Points! IEEE Softw. 35(4): 22-33 (2018) - [e2]Birgit Penzenstadler, Steve Easterbrook, Colin C. Venters, Syed Ishtiaque Ahmed:
5th International Conference on Information and Communication Technology for Sustainability, ICT4S 2018, Toronto, Canada, May 14-18, 2018. EPiC Series in Computing 52, EasyChair 2018 [contents] - [e1]Steve Easterbrook, Bonnie A. Nardi, Jay Chen:
Proceedings of the 2018 Workshop on Computing within Limits, LIMITS 2018, Toronto, ON, Canada, May 13-14, 2018. ACM 2018, ISBN 978-1-4503-6575-8 [contents] - 2017
- [c96]Christina Christodoulakis, Azin Asgarian, Steve Easterbrook:
Barriers to adoption of information technology in healthcare. CASCON 2017: 66-75 - [c95]Soukayna Mouatadid, Steve Easterbrook, Andre R. Erler:
A Machine Learning Approach to Non-uniform Spatial Downscaling of Climate Variables. ICDM Workshops 2017: 332-341 - [c94]Samar Sabie, Jay Chen, Azza Abouzied, Fatma Hashim, Harleen Kahlon, Steve Easterbrook:
Shelter Dynamics in Refugee and IDP Camps: Customization, Permanency, and Opportunities. LIMITS 2017: 11-20 - [c93]Steve Easterbrook:
Verifying the forecast: how climate models are developed and tested (invited talk). ESEC/SIGSOFT FSE 2017: 2 - 2016
- [j22]Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Leticia Duboc, Steve M. Easterbrook, Birgit Penzenstadler, Norbert Seyff, Colin C. Venters:
Requirements: The Key to Sustainability. IEEE Softw. 33(1): 56-65 (2016) - [c92]Elizabeth Patitsas, Jesse Berlin, Michelle Craig, Steve M. Easterbrook:
Evidence That Computer Science Grades Are Not Bimodal. ICER 2016: 113-121 - [c91]Samar Sabie, Maha Salman, Steve Easterbrook:
Situating shelter design and provision in ICT discourse for scarce-resource contexts. LIMITS 2016: 15 - 2015
- [c90]Elizabeth Patitsas, Michelle Craig, Steve M. Easterbrook:
Scaling up Women in Computing Initiatives: What Can We Learn from a Public Policy Perspective? ICER 2015: 61-69 - [c89]Christoph Becker, Ruzanna Chitchyan, Leticia Duboc, Steve Easterbrook, Birgit Penzenstadler, Norbert Seyff, Colin C. Venters:
Sustainability Design and Software: The Karlskrona Manifesto. ICSE (2) 2015: 467-476 - [c88]Steve Easterbrook:
Modelling the climate system: Is model-based science like model-based engineering? (Keynote). MoDELS 2015: 1 - [c87]Mahtab Sabet, Steve Easterbrook:
Engaging End Users in Green Building Design Software. RE4SuSy@RE 2015: 11-16 - [c86]Stefanie Betz, Christoph Becker, Ruzanna Chitchyan, Leticia Duboc, Steve M. Easterbrook, Birgit Penzenstadler, Norbert Seyff, Colin C. Venters:
Sustainability Debt: A Metaphor to Support Sustainability Design Decisions. RE4SuSy@RE 2015: 55-53 - 2014
- [c85]Steve M. Easterbrook:
From Computational Thinking to Systems Thinking: A conceptual toolkit for sustainability computing. ICT4S 2014 - [c84]Soroosh Nalchigar, Eric S. K. Yu, Steve M. Easterbrook:
Towards Actionable Business Intelligence: Can System Dynamics Help? PoEM 2014: 246-260 - [c83]Elizabeth Patitsas, Michelle Craig, Steve M. Easterbrook:
A historical examination of the social factors affecting female participation in computing. ITiCSE 2014: 111-116 - [i2]Christoph Becker, Ruzanna Chitchyan, Leticia Duboc, Steve Easterbrook, Martin Mahaux, Birgit Penzenstadler, Guillermo Rodríguez-Navas, Camille Salinesi, Norbert Seyff, Colin C. Venters, Coral Calero, Sedef Akinli Koçak, Stefanie Betz:
The Karlskrona manifesto for sustainability design. CoRR abs/1410.6968 (2014) - 2013
- [c82]Elizabeth Ann Patitsas, Michelle Craig, Steve M. Easterbrook:
Comparing and contrasting different algorithms leads to increased student learning. ICER 2013: 145-152 - [c81]Elizabeth Ann Patitsas, Michelle Craig, Steve M. Easterbrook:
On the countably many misconceptions about #hashtables (abstract only). SIGCSE 2013: 739 - 2012
- [j21]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012) - [c80]Jonathan Lung, Steve M. Easterbrook:
Inflo: collaborative reasoning via open calculation graphs. CSCW 2012: 1199-1202 - [c79]Jonathan Lung, Steve M. Easterbrook:
Augmenting flow diagrams created by end-user programs. VL/HCC 2012: 175-178 - 2011
- [j20]Steve M. Easterbrook, Paul N. Edwards, Venkatramani Balaji, Reinhard Budich:
Guest Editors' Introduction: Climate Change - Science and Software. IEEE Softw. 28(6): 32-35 (2011) - [c78]Jonathan Lung, Steve M. Easterbrook:
A first look at end-user visual computation supporting sharing & reuse with Inflo. VL/HCC 2011: 257-258 - 2010
- [c77]Steve M. Easterbrook, Kim Mens, Steffen Zschaler:
Second International Workshop on Software Research and Climate Change. ICSE (2) 2010: 449-450 - [c76]Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook:
Reasoning about Consistency in Model Merging. LWI@ASE 2010: 32-38 - [c75]Steve M. Easterbrook:
Climate change: a grand software challenge. FoSER 2010: 99-104 - [i1]Neil A. Ernst, Steve M. Easterbrook, John Mylopoulos:
Code forking in open-source software: a requirements perspective. CoRR abs/1004.2889 (2010)
2000 – 2009
- 2009
- [j19]Steve M. Easterbrook, Timothy C. Johns:
Engineering the Software for Understanding Climate Change. Comput. Sci. Eng. 11(6): 65-74 (2009) - [c74]Nan Niu, Steve M. Easterbrook:
Concept analysis for product line requirements. AOSD 2009: 137-148 - [c73]Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Using Macromodels to Manage Collections of Related Models. CAiSE 2009: 141-155 - [c72]Steve M. Easterbrook, Michael Glenn, Jorge Aranda, Jon Pipitone:
Software research and climate change. CASCON 2009: 362-363 - [c71]Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay:
Relationship-based change propagation: A case study. MiSE@ICSE 2009: 7-12 - [c70]Jordi Cabot, Steve M. Easterbrook, Jennifer Horkoff, Lysanne Lessard, Sotirios Liaskos, Jose-Norberto Mazón:
Integrating sustainability in decision-making processes: A modelling strategy. ICSE Companion 2009: 207-210 - [c69]Marcelo Cataldo, Steve M. Easterbrook, Daniela E. Damian, James D. Herbsleb, Premkumar T. Devanbu, Audris Mockus:
2nd international workshop on socio-technical congruence (STC 2009). ICSE Companion 2009: 476-477 - [c68]Steve M. Easterbrook:
First international workshop on software research and climate change. OOPSLA Companion 2009: 1057-1058 - [c67]Azam Khan, Justin Matejka, Steve M. Easterbrook:
The Role of Visualization in the Naturalization of Remote Software Immigrants. Software Engineering (Workshops) 2009: 155-160 - 2008
- [j18]Sebastián Uchitel, Steve M. Easterbrook:
Guest Editors' Introduction. Autom. Softw. Eng. 15(1): 1-2 (2008) - [j17]David Matthews, Greg Wilson, Steve M. Easterbrook:
Configuration Management for Large-Scale Scientific Computing at the UK Met Office. Comput. Sci. Eng. 10(6): 56-64 (2008) - [c66]Julia Rubin, Marsha Chechik, Steve M. Easterbrook:
Declarative approach for model composition. MiSE 2008: 7-14 - [c65]Jonathan Lung, Jorge Aranda, Steve M. Easterbrook, Gregory V. Wilson:
On the difficulty of replicating human subjects studies in software engineering. ICSE 2008: 191-200 - [c64]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
Global consistency checking of distributed models with TReMer+. ICSE 2008: 815-818 - [c63]James D. Herbsleb, Marcelo Cataldo, Daniela E. Damian, Premkumar T. Devanbu, Steve M. Easterbrook, Audris Mockus:
Socio-technical congruence (STC 2008). ICSE Companion 2008: 1027-1028 - [c62]Nan Niu, Steve M. Easterbrook:
Exploiting COTS-Based RE Methods: An Experience Report. ICSR 2008: 212-216 - [c61]Rick Salay, John Mylopoulos, Steve M. Easterbrook:
Managing Models through Macromodeling. ASE 2008: 447-450 - [c60]Nan Niu, Steve M. Easterbrook:
Extracting and Modeling Product Line Functional Requirements. RE 2008: 155-164 - [c59]Markus Strohmaier, Jennifer Horkoff, Eric S. K. Yu, Jorge Aranda, Steve M. Easterbrook:
Can Patterns Improve i* Modeling? Two Exploratory Studies. REFSQ 2008: 153-167 - [c58]Nan Niu, Steve M. Easterbrook:
On-Demand Cluster Analysis for Product Line Functional Requirements. SPLC 2008: 87-96 - [c57]Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel:
Engineering Associations: From Models to Code and Back through Semantics. TOOLS (46) 2008: 336-355 - [p1]Steve Easterbrook, Janice Singer, Margaret-Anne D. Storey, Daniela E. Damian:
Selecting Empirical Methods for Software Engineering Research. Guide to Advanced Empirical Software Engineering 2008: 285-311 - 2007
- [j16]Nan Niu, Steve M. Easterbrook:
So, You Think You Know Others' Goals? A Repertory Grid Study. IEEE Softw. 24(2): 53-61 (2007) - [j15]Nan Niu, Steve M. Easterbrook:
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach. LNCS Trans. Aspect Oriented Softw. Dev. 3: 40-72 (2007) - [c56]Nan Niu, Steve Easterbrook, Yijun Yu:
A Taxonomy of Asymmetric Requirements Aspects. EA@AOSD 2007: 1-18 - [c55]Jorge Aranda, Ramzan Khuwaja, Steve M. Easterbrook:
Discovering the shared understanding dynamics of large software teams. CASCON 2007: 244-247 - [c54]Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn:
An Eclipse-based tool framework for software model management. ETX 2007: 55-59 - [c53]Markus Strohmaier, Eric S. K. Yu, Jennifer Horkoff, Jorge Aranda, Steve M. Easterbrook:
Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach. HICSS 2007: 188 - [c52]Steve M. Easterbrook:
Scale Changes Everything: Understanding the Requirements for Systems of Systems. ICCBSS 2007: 16 - [c51]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A Relationship-Driven Framework for Model Merging. MiSE@ICSE 2007: 2 - [c50]Jorge Aranda, Neil A. Ernst, Jennifer Horkoff, Steve M. Easterbrook:
A Framework for Empirical Evaluation of Model Comprehensibility. MiSE@ICSE 2007: 7 - [c49]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64 - [c48]Steve M. Easterbrook:
Empirical research methods for software engineering. ASE 2007: 574 - [c47]Jorge Aranda, Steve M. Easterbrook, Greg Wilson:
Requirements in the wild: How small companies do it. RE 2007: 39-48 - [c46]Yijun Yu, Nan Niu, Bruno González-Baixauli, William Candillon, John Mylopoulos, Steve M. Easterbrook, Julio César Sampaio do Prado Leite, Gilles Vanwormhoudt:
Tracing and Validating Goal Aspects. RE 2007: 53-56 - [c45]Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik:
Consistency Checking of Conceptual Models via Model Merging. RE 2007: 221-230 - 2006
- [j14]Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking. Formal Methods Syst. Des. 29(3): 295-344 (2006) - [j13]Mehrdad Sabetzadeh, Steve M. Easterbrook:
View merging in the presence of incompleteness and inconsistency. Requir. Eng. 11(3): 174-193 (2006) - [j12]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A relationship-driven approach to view merging. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c44]Vidya Lakshminarayanan, WenQian Liu, Charles L. Chen, Steve M. Easterbrook, Dewayne E. Perry:
Software architects in practice: handling requirements. CASCON 2006: 329-332 - [c43]Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook:
Case studies for software engineers. ICSE 2006: 1045-1046 - [c42]Nan Niu, Steve M. Easterbrook:
Managing Terminological Interference in Goal Models with Repertory Grid. RE 2006: 296-299 - 2005
- [c41]Sharon F. Lymer, WenQian Liu, Steve M. Easterbrook:
Experience in using business scenarios to assess COTS components in integrated solutions. CASCON 2005: 126-140 - [c40]Nan Niu, Steve M. Easterbrook, Mehrdad Sabetzadeh:
A Category-theoretic Approach to Syntactic Software Merging. ICSM 2005: 197-206 - [c39]Mehrdad Sabetzadeh, Steve M. Easterbrook:
Traceability in viewpoint merging: a model management perspective. TEFSE@ASE 2005: 44-49 - [c38]Steve M. Easterbrook, Sebastián Uchitel:
Introduction to doctoral symposium. ASE 2005: 435 - [c37]Sotirios Liaskos, Alexei Lapouchnian, Yiqiao Wang, Yijun Yu, Steve M. Easterbrook:
Configuring Common Personal Software: a Requirements-Driven Approach. RE 2005: 9-18 - [c36]Tira Cohene, Steve M. Easterbrook:
Contextual Risk Analysis for Interview Design. RE 2005: 95-104 - [c35]Steve M. Easterbrook, Eric S. K. Yu, Jorge Aranda, Yuntian Fan, Jennifer Horkoff, Marcel Leica, Rifat Abdul Qadir:
Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study. RE 2005: 199-208 - [c34]Mehrdad Sabetzadeh, Steve M. Easterbrook:
An Algebraic Framework for Merging Incomplete and Inconsistent Views. RE 2005: 306-318 - [c33]Mehrdad Sabetzadeh, Steve M. Easterbrook:
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views. RE 2005: 453-454 - [c32]Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook:
Case Studies for Software Engineers. SEW Tutorial Notes 2005: 96-159 - [c31]Jorge Aranda, Steve M. Easterbrook:
Anchoring and adjustment in software estimation. ESEC/SIGSOFT FSE 2005: 346-355 - [c30]Nan Niu, Steve M. Easterbrook:
On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. MSVVEIS 2005: 115-117 - 2004
- [j11]Vincenzo Gervasi, Didar Zowghi, Steve M. Easterbrook, Susan Elliott Sim:
Report on the First International Workshop on Comparative Evaluation in Requirements Engineering. ACM SIGSOFT Softw. Eng. Notes 29(2): 1-4 (2004) - [c29]Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook:
Case Studies for Software Engineers. ICSE 2004: 736-738 - 2003
- [j10]Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel:
Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003) - [c28]Susan Elliott Sim, Steve M. Easterbrook, Richard C. Holt:
Using Benchmarking to Advance Research: A Challenge to Software Engineering. ICSE 2003: 74-83 - [c27]WenQian Liu, Steve M. Easterbrook:
Eliciting Architectural Decisions from Requirements using a Rule-based Framework. STRAW 2003: 94-99 - [c26]Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh:
\chiChek: A Model Checker for Multi-Valued Reasoning. ICSE 2003: 804-805 - [c25]Mehrdad Sabetzadeh, Steve M. Easterbrook:
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. ASE 2003: 12-21 - 2002
- [j9]Steve M. Easterbrook, Marsha Chechik:
Guest Editorial: Special Issue on Model Checking in Requirements Engineering. Requir. Eng. 7(4): 221-224 (2002) - [c24]Susan Elliott Sim, Richard C. Holt, Steve M. Easterbrook:
On Using a Benchmark to Evaluate C++ Extractors. IWPC 2002: 114-123 - 2001
- [j8]Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo:
Making inconsistency respectable in software development. J. Syst. Softw. 58(2): 171-180 (2001) - [j7]Steve M. Easterbrook, Marsha Chechik:
2nd international workshop on living with inconsistency (IWLWI01). ACM SIGSOFT Softw. Eng. Notes 26(6): 76-78 (2001) - [c23]Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations. CONCUR 2001: 441-455 - [c22]Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh:
Model-Checking over Multi-valued Logics. FME 2001: 72-98 - [c21]Steve M. Easterbrook, Marsha Chechik:
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. ICSE 2001: 411-420 - [c20]Steve M. Easterbrook, Marsha Chechik:
2nd International Workshop on Living with Inconsistency. ICSE 2001: 749-750 - [c19]Marsha Chechik, Steve M. Easterbrook, Benet Devereux:
Model Checking with Multi-Valued Temporal Logics. ISMVL 2001: 187-192 - [c18]Marsha Chechik, Benet Devereux, Steve M. Easterbrook:
Implementing a Multi-valued Symbolic Model Checker. TACAS 2001: 404-419 - 2000
- [j6]Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo:
Leveraging Inconsistency in Software Development. Computer 33(4): 24-29 (2000) - [c17]Bashar Nuseibeh, Steve M. Easterbrook:
Requirements engineering: a roadmap. ICSE - Future of SE Track 2000: 35-46
1990 – 1999
- 1999
- [c16]Bashar Nuseibeh, Steve M. Easterbrook:
The Process of Inconsistency Management: A Framework for Understanding. DEXA Workshop 1999: 364-368 - [c15]Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook:
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. HASE 1999: 231-238 - [c14]Steve M. Easterbrook:
Verification and Validation of Requirements for Mission Critical Systems. ICSE 1999: 673-674 - [c13]Steve M. Easterbrook, Bashar Nuseibeh:
How Multi-Disciplinary Is RE (really)? RE 1999: 33- - [c12]Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh, Sam Waugh:
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering. RE 1999: 100- - [c11]Virginie Wiels, Steve M. Easterbrook:
Formal Modeling of Space Shuttle Software Change Requests using SCR. RE 1999: 114-122 - 1998
- [j5]Steve M. Easterbrook, John R. Callahan:
Formal methods for verification and validation of partial specifications: A case study. J. Syst. Softw. 40(3): 199-210 (1998) - [j4]Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton:
Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Trans. Software Eng. 24(1): 4-14 (1998) - [c10]Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann:
Validating Requirements for Fault Tolerant Systems using Model Checking. ICRE 1998: 4-13 - [c9]Steve Easterbrook, John R. Callahan, Virginie Wiels:
V & V through Inconsistency Tracking and Analysis. IWSSD 1998: 43-49 - [c8]Virginie Wiels, Steve M. Easterbrook:
Management of Evolving Specifications using Category Theory. ASE 1998: 12-21 - 1997
- [c7]Steve M. Easterbrook, John R. Callahan:
Formal Methods for V&V of Partial Specifications: An Experience RSeport. RE 1997: 160-168 - 1996
- [j3]Steve M. Easterbrook, Bashar Nuseibeh:
Using ViewPoints for inconsistency management. Softw. Eng. J. 11(1): 31-43 (1996) - [c6]Steve Easterbrook:
Learning from Inconsistency. IWSSD 1996: 136-140 - [c5]Steve M. Easterbrook, John R. Callahan:
Independent validation of specifications: a coordination headache. WETICE 1996: 232-237 - 1995
- [c4]Steve M. Easterbrook:
Coordination breakdowns: why groupware is so difficult to design. HICSS (4) 1995: 191-199 - [c3]Steve M. Easterbrook, Bashar Nuseibeh:
Managing inconsistencies in an evolving specification. RE 1995: 48-55 - 1993
- [c2]Steve M. Easterbrook:
Domain modelling with hierarchies of alternative viewpoints. RE 1993: 65-72 - 1992
- [j2]Steve Easterbrook:
A new guide to artificial intelligence by Derek Partridge, Ablex, NJ, 1991, pp 546, £19.95. ISBN 0-89391-607-2. Knowl. Eng. Rev. 7(1): 79-81 (1992) - [c1]M.-M. Portman, Steve M. Easterbrook:
PMI: Knowledge Eliciation and De Bono's Thinking Tools. EKAW 1992: 264-282 - 1991
- [b1]Steve Easterbrook:
Elicitation of requirements from multiple perspectives. Imperial College London, UK, 1991 - [j1]Steve Easterbrook:
Handling conflict between domain descriptions with computer-supported negotiation. Knowl. Acquis. 3(3): 255-289 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 00:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
