Search For:

Displaying 1-50 out of 58 total
Learning from Inconsistency
Found in: Software Specification and Design, International Workshop on
By Steve Easterbrook
Issue Date:March 1996
pp. 136
This position paper argues that inconsistencies that occur during the development of a software specification offer an excellent way of learning more about the development process. We base this argument on our work on inconsistency management. Much attenti...
 
V & V through Inconsistency Tracking and Analysis
Found in: Software Specification and Design, International Workshop on
By Steve Easterbrook, John Callahan, Virginie Wiels
Issue Date:April 1998
pp. 43
In this paper we describe a research agenda for a study into the use of inconsistency analysis as a tool for software V&V, and in particular, the use of category theory as a basis for modeling consistency relationships between the various artifacts of ...
 
Experiences Using Lightweight Formal Methods for Requirements Modeling
Found in: IEEE Transactions on Software Engineering
By Steve Easterbrook, Robyn Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton
Issue Date:January 1998
pp. 4-14
<p><b>Abstract</b>—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of...
 
Formal Methods for V&V of Partial Specifications: An Experience RSeport
Found in: Requirements Engineering, IEEE International Conference on
By Steve Easterbrook, John Callahan
Issue Date:January 1997
pp. 160
This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid ...
 
Matching and Merging of Variant Feature Specifications
Found in: IEEE Transactions on Software Engineering
By Shiva Nejati,Mehrdad Sabetzadeh,Marsha Chechik,Steve Easterbrook,Pamela Zave
Issue Date:November 2012
pp. 1355-1375
Model Management addresses the problem of managing an evolving collection of models by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating featur...
 
Second International Workshop on Software Research and Climate Change
Found in: Software Engineering, International Conference on
By Steve Easterbrook,Kim Mens,Steffen Zschaler
Issue Date:May 2010
pp. 449-450
This workshop will explore the contributions that software research can make to the challenge of tackling climate change. Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scie...
 
Relationship-based change propagation: A case study
Found in: Modeling in Software Engineering, International Workshop on
By Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve Easterbrook, Mehrdad Sabetzadeh, Rick Salay
Issue Date:May 2009
pp. 7-12
Software development is an evolutionary process. Requirements of a system are often incomplete or inconsistent, and hence need to be extended or modified over time. Customers may demand new services or goals that often lead to changes in the design and imp...
 
2<sup>nd</sup> international workshop on socio-technical congruence (STC 2009)
Found in: International Conference on Software Engineering Companion
By Marcelo Cataldo, Steve Easterbrook, Daniela Damian, James Herbsleb, Premkumar Devanbu, Audris Mockus
Issue Date:May 2009
pp. 476-477
Socio-technical represents a new area of research that focuses on the alignment between the coordination requirements established by the dependencies among tasks and the actual coordination activities carried out by the developers and other stakeholders in...
   
Extracting and Modeling Product Line Functional Requirements
Found in: Requirements Engineering, IEEE International Conference on
By Nan Niu, Steve Easterbrook
Issue Date:September 2008
pp. 155-164
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic characterization of a domain's action-oriented concerns, and show that FRPs can be extra...
 
On-Demand Cluster Analysis for Product Line Functional Requirements
Found in: Software Product Line Conference, International
By Nan Niu, Steve Easterbrook
Issue Date:September 2008
pp. 87-96
We propose an on-demand clustering framework for analyzing the functional requirements in a product line. Our approach is novel in that the objects to be clustered capture the domain's action themes at a primitive level, and the essential attributes are un...
 
On the difficulty of replicating human subjects studies in software engineering
Found in: Software Engineering, International Conference on
By Jonathan Lung, Jorge Aranda, Steve Easterbrook, Gregory Wilson
Issue Date:May 2008
pp. 191-200
Replications play an important role in verifying empirical results. In this paper, we discuss our experiences performing a literal replication of a human subjects experiment that examined the relationship between a simple test for consistent use of mental ...
 
Global consistency checking of distributed models with TReMer+
Found in: Software Engineering, International Conference on
By Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chechik
Issue Date:May 2008
pp. 815-818
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before checking consistency. This enables a flexible way of verifying global consist...
 
Consistency Checking of Conceptual Models via Model Merging
Found in: Requirements Engineering, IEEE International Conference on
By Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve Easterbrook, Marsha Chechik
Issue Date:October 2007
pp. 221-230
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing research largely focuses on checking consistency of individual models and of re...
 
Requirements in the wild: How small companies do it
Found in: Requirements Engineering, IEEE International Conference on
By Jorge Aranda, Steve Easterbrook, Greg Wilson
Issue Date:October 2007
pp. 39-48
Small companies form a large part of the software industry, but have mostly been overlooked by the requirements engineering research community. We know very little about the techniques these companies use to elicit and track requirements and about their co...
 
Tracing and Validating Goal Aspects
Found in: Requirements Engineering, IEEE International Conference on
By Yijun Yu, Nan Niu, Bruno González-Baixauli, William Candillon, John Mylopoulos, Steve Easterbrook, Julio Cesar Sampaio do Prado Leite, Gilles Vanwormhoudt
Issue Date:October 2007
pp. 53-56
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects identified during goal-oriented requirements analysis to code and testing. Two ty...
 
Matching and Merging of Statecharts Specifications
Found in: Software Engineering, International Conference on
By Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave
Issue Date:May 2007
pp. 54-64
Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating hiera...
 
A Framework for Empirical Evaluation of Model Comprehensibility
Found in: Modeling in Software Engineering, International Workshop on
By Jorge Aranda, Neil Ernst, Jennifer Horkoff, Steve Easterbrook
Issue Date:May 2007
pp. 7
If designers of modelling languages want their creations to be used in real software projects, the communication qualities of their languages need to be evaluated, and their proposals must evolve as a result of these evaluations. A key quality of communica...
 
Evaluating User-centric Adaptation with Goal Models
Found in: Software Engineering for Pervasive Computing Applications, Systems, and Environments, International Workshop on
By Lin Mei, Steve Easterbrook
Issue Date:May 2007
pp. 6
Capturing and adapting to the operational context of mobile users is one of the key properties of pervasive systems. Although some frameworks have been proposed for managing user-centric adaptation in pervasive computing, little work has been done on adapt...
 
A Relationship-Driven Framework for Model Merging
Found in: Modeling in Software Engineering, International Workshop on
By Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chechik
Issue Date:May 2007
pp. 2
A key problem in model-based development is merging a set of distributed models into a single seamless model. To merge a set of models, we need to know how they are related. In this position paper, we discuss the methodological aspects of describing the re...
 
So, You Think You Know Others' Goals? A Repertory Grid Study
Found in: IEEE Software
By Nan Niu, Steve Easterbrook
Issue Date:March 2007
pp. 53-61
Terminological interference occurs in requirements engineering when stakeholders have different interpretations of the terms they use to describe their problem domain. In this article, the authors present a technique to detect terminological interference i...
 
Scale Changes Everything: Understanding the Requirements for Systems of Systems
Found in: Commercial-off-the-Shelf (COTS)-Based Software Systems, International Conference on
By Steve Easterbrook
Issue Date:March 2007
pp. 16
Software technology now penetrates almost every aspect of our lives in complex ways. The reality of 21st century software development is that software itself is but one part of a complex system-of-systems that includes a broad technological infrastructure ...
   
Managing Terminological Interference in Goal Models with Repertory Grid
Found in: Requirements Engineering, IEEE International Conference on
By Nan Niu, Steve Easterbrook
Issue Date:September 2006
pp. 303-306
Terminological interference occurs in requirements engineering when stakeholders vary in the concepts they use to understand a problem domain, and the terms they use to describe those concepts. This paper investigates the use of Kelly?s Repertory Grid Tech...
 
Case studies for software engineers
Found in: Software Engineering, International Conference on
By Susan Elliott Sim, Steve Easterbrook, Dewayne E. Perry
Issue Date:May 2006
pp. 1045-1046
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave attendees a foundation for conducting, reviewing, and reading case studies. ...
   
A Category-theoretic Approach to Syntactic Software Merging
Found in: Software Maintenance, IEEE International Conference on
By Nan Niu, Steve Easterbrook, Mehrdad Sabetzadeh
Issue Date:September 2005
pp. 197-206
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntactic merge conflicts. In this paper, we propose a domain-independent approach fo...
 
Contextual Risk Analysis for Interview Design
Found in: Requirements Engineering, IEEE International Conference on
By Tira Cohene, Steve Easterbrook
Issue Date:September 2005
pp. 95-104
<p>Interviews with stakeholders can be a useful method for identifying user needs and establishing requirements. However, interviews are also problematic. They are time consuming and may result in insufficient, irrelevant or invalid data. Our goal is...
 
Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study
Found in: Requirements Engineering, IEEE International Conference on
By Steve Easterbrook, Eric Yu, Jorge Aranda, Yuntian Fan, Jennifer Horkoff, Marcel Leica, Rifat Abdul Qadir
Issue Date:September 2005
pp. 199-208
<p>The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and the ability to discover important requirements by comparing viewpoints...
 
An Algebraic Framework for Merging Incomplete and Inconsistent Views
Found in: Requirements Engineering, IEEE International Conference on
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:September 2005
pp. 306-318
<p>View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is important to be able to consolidate a set of views to gain a uni?ed pe...
 
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views
Found in: Requirements Engineering, IEEE International Conference on
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:September 2005
pp. 453-454
<p>View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about how views are related, or to perform various types of analysis. A ma...
 
Configuring Common Personal Software: a Requirements-Driven Approach
Found in: Requirements Engineering, IEEE International Conference on
By Sotirios Liaskos, Alexei Lapouchnian, Yiqiao Wang, Yijun Yu, Steve Easterbrook
Issue Date:September 2005
pp. 9-18
<p>We investigate the personalization capabilities of common personal software systems. We use a typical e-mail client as an example of such a system, and examine the configuration screens it offers to its users. We discover that each configuration v...
 
Case Studies for Software Engineers
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Dewayne E. Perry, Susan Elliott Sim, Steve Easterbrook
Issue Date:April 2005
pp. 96-159
No summary available.
 
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Found in: Automated Software Engineering, International Conference on
By Mehrdad Sabetzadeh, Steve Easterbrook
Issue Date:October 2003
pp. 12
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approaches have been proposed as a way to manage incomplete and inconsistent models ga...
 
\chiChek: A Model Checker for Multi-Valued Reasoning
Found in: Software Engineering, International Conference on
By Steve Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh
Issue Date:May 2003
pp. 804
No summary available.
   
Using Benchmarking to Advance Research: A Challenge to Software Engineering
Found in: Software Engineering, International Conference on
By Susan Elliott Sim, Steve Easterbrook, Richard C. Holt
Issue Date:May 2003
pp. 74
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creation and widespread use of a benchmark within a research area is frequently acco...
 
Model Checking with Multi-Valued Temporal Logics
Found in: Multiple-Valued Logic, IEEE International Symposium on
By Marsha Chechik, Steve Easterbrook, Benet Devereux
Issue Date:May 2001
pp. 0187
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system a...
 
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
Found in: Software Engineering, International Conference on
By Steve Easterbrook, Marsha Chechik
Issue Date:May 2001
pp. 0411
Abstract: In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Consensus may not be needed for every detail, but it can be hard to de...
 
Leveraging Inconsistency in Software Development
Found in: Computer
By Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
Issue Date:April 2000
pp. 24-29
<p>Software engineers make use of many descriptions, including analysis models, specifications, designs, program code, user guides, test plans, change requests, style guides, schedules, and process models. But since different developers construct and...
 
The Process of Inconsistency Management: A Framework for Understanding
Found in: Database and Expert Systems Applications, International Workshop on
By Bashar Nuseibeh, Steve Easterbrook
Issue Date:September 1999
pp. 364
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to major problems in the operation of a system, while failure to support a range of...
 
How Multi-Disciplinary Is RE (really)?
Found in: Requirements Engineering, IEEE International Conference on
By Institute for Software Research Steve Easterbrook, Imperial College Bashar Nuseibeh
Issue Date:June 1999
pp. 33
No summary available.
 
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering
Found in: Requirements Engineering, IEEE International Conference on
By Tim Menzies, Steve Easterbrook, Bashar Nuseibeh, Sam Waugh
Issue Date:June 1999
pp. 100
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling by incorporating multiple conflicting descriptions. In the latter case, the ne...
 
Formal Modeling of Space Shuttle Software Change Requests using SCR
Found in: Requirements Engineering, IEEE International Conference on
By Virginie Wiels, Steve Easterbrook
Issue Date:June 1999
pp. 114
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for Space Shuttle flight software. The goal of the study was to determine whether...
 
On Using a Benchmark to Evaluate C++ Extractors
Found in: International Conference on Program Comprehension
By Susan Elliott Sim, Richard C. Holt, Steve Easterbrook
Issue Date:June 2002
pp. 114
In this paper, we take the concept of benchmarking as used extensively in computing and apply it to evaluating C++ fact extractors. We demonstrated the efficacy of this approach by developing a prototype benchmark, CppETS 1.0 (C++ Extractor Test Suite, pro...
 
Verification and validation of requirements for mission critical systems
Found in: Software Engineering, International Conference on
By Steve Easterbrook
Issue Date:May 1999
pp. 673
No summary available.
   
Comparing and contrasting different algorithms leads to increased student learning
Found in: Proceedings of the ninth annual international ACM conference on International computing education research (ICER '13)
By Elizabeth Patitsas, Michelle Craig, Steve Easterbrook
Issue Date:August 2013
pp. 145-152
Comparing and contrasting different solution approaches is known in math education and cognitive science to increase student learning -- what about CS? In this experiment, we replicated work from Rittle-Johnson and Star, using a pretest--intervention--post...
     
On the countably many misconceptions about #hashtables (abstract only)
Found in: Proceeding of the 44th ACM technical symposium on Computer science education (SIGCSE '13)
By Elizabeth Patitsas, Michelle Craig, Steve Easterbrook
Issue Date:March 2013
pp. 739-739
From an ongoing research project on teaching hash tables using worked examples, we present four preliminary observations. First, that rather than there being a small set of common misconceptions, student misconceptions are diverse and often unique to the s...
     
Inflo: collaborative reasoning via open calculation graphs
Found in: Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work (CSCW '12)
By Jonathan Lung, Steve Easterbrook
Issue Date:February 2012
pp. 1199-1202
Inflo is a web tool that introduces new ways to collaboratively construct and deconstruct logical arguments drawn as visual dataflow graphs. Inflo graphs are dynamic: nodes are logical propositions that can contain computations based on other nodes. Inflo ...
     
Software research and climate change
Found in: Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research (CASCON '09)
By Jon Pipitone, Jorge Aranda, Michael Glenn, Steve Easterbrook
Issue Date:November 2009
pp. 362-363
This workshop explored the contributions that software research can make to the challenge of climate change. Climate change is likely to be the defining issue of the 21st Century. Recent studies indicate that climate change is accelerating, confirming the ...
     
Concept analysis for product line requirements
Found in: Proceedings of the 8th ACM international conference on Aspect-oriented software development (AOSD '09)
By Nan Niu, Steve Easterbrook
Issue Date:March 2009
pp. 94-104
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detect interferences, and analyze trade-offs. We take advantage of both symmetric and a...
     
Socio-technical congruence (STC 2008)
Found in: Companion of the 13th international conference on Software engineering (ICSE Companion '08)
By Audris Mockus, Daniela Damian, James Herbsleb, Marcelo Cataldo, Premkumar Devenbu, Steve Easterbrook
Issue Date:May 2008
pp. 37-41
The importance of software traceability to software development is recognized by researchers and practitioners; yet, current approaches fall short of providing effective traceability in practice. An analysis of reported difficulties with traceability revea...
     
Empirical research methods for software engineering
Found in: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (ASE '07)
By Steve Easterbrook
Issue Date:November 2007
pp. 574-574
This full day tutorial introduces the use of empirical methods appropriate to research in automated software engineering. Using a blend of lecture and discussion, it aims to provide ASE researchers and practitioners with a foundation for conducting and cri...
     
Software architects in practice: handling requirements
Found in: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research (CASCON '06)
By Charles L Chen, Dewayne E Perry, Steve Easterbrook, Vidya Lakshminarayanan, WenQian Liu
Issue Date:October 2006
pp. 25-es
Software architecture can be a critical factor in software development. Understanding what software architects do in practice is necessary to the enterprise of providing techniques, methods, process, tools and technologies to support the development and us...
     
 1  2 Next >>