A B C D E F G H J K L M N O P R S T V W Y Z

	Alexandrova, Assia	RE '12: "Business Requirements Analysis ..." Business Requirements Analysis and Development for Legacy System Replacement Projects in Government Organizations Assia Alexandrova (Open University, UK) e-Government innovation is commonly hindered by legacy systems in public sector agencies. Legacy systems not only present technical constraints, but they also embed outdated and inefficient business processes. A critical manifestation of this issue occurs during the requirements phase of e-government projects, where requirements tend to mimic the features of old systems that must be modernized or replaced. The problem is not easy to identify and qualify, unless a critical stance to requirements analysis is taken, and unless requirements are examined in the context of processes that are creative, exploratory and collaborative. We propose a solution to legacy reproduction issues in the development of a game-based tool that through competition enables the analysis and transformation of business requirements by applying risk and opportunity criteria. @InProceedings{RE12p337, author = {Assia Alexandrova}, title = {Business Requirements Analysis and Development for Legacy System Replacement Projects in Government Organizations}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {337--340}, doi = {}, year = {2012}, }
	Alhaj, Mohammad	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Ali, Raian	RE '12: "Requirements-Driven Adaptive ..." Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Raian Ali, and Bashar Nuseibeh (Lero, Ireland; Bournemouth University, UK; Open University, UK) Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process -- from modeling threats and attacks, discovering existing vulnerabilities, to selecting appropriate countermeasures. However, despite their crucial role, assets are often neglected during the development of secure software systems. Indeed, many systems are designed with fixed security boundaries and assumptions, without the possibility to adapt when assets change unexpectedly, new threats arise, or undiscovered vulnerabilities are revealed. To handle such changes, systems must be capable of dynamically enabling different security countermeasures. This paper promotes assets as first-class entities in engineering secure software systems. An asset model is related to requirements, expressed through a goal model, and the objectives of an attacker, expressed through a threat model. These models are then used as input to build a causal network to analyze system security in different situations, and to enable, when necessary, a set of countermeasures to mitigate security threats. The causal network is conceived as a runtime entity that tracks relevant changes that may arise at runtime, and enables a new set of countermeasures. We illustrate and evaluate our proposed approach by applying it to a substantive example concerned with security of mobile phones. @InProceedings{RE12p111, author = {Mazeiar Salehie and Liliana Pasquale and Inah Omoronyia and Raian Ali and Bashar Nuseibeh}, title = {Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {111--120}, doi = {}, year = {2012}, }
	Ameller, David	RE '12: "ArchiTech: Tool Support for ..." ArchiTech: Tool Support for NFR-Guided Architectural Decision-Making David Ameller, Oriol Collell, and Xavier Franch (Universitat Politècnica de Catalunya, Spain) Researchers from requirements engineering and software architecture had emphasized the importance of Non-Functional Requirements and their influence in the architectural design process. To improve this process we have designed a tool, ArchiTech, which aims to support architects during the design process by suggesting alternative architectural decisions that can improve some types of non-functional requirements in a particular project, and facilitate the reuse of architectural knowledge shared between projects of the same architectural domain (e.g., web-based applications). @InProceedings{RE12p315, author = {David Ameller and Oriol Collell and Xavier Franch}, title = {ArchiTech: Tool Support for NFR-Guided Architectural Decision-Making}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {315--316}, doi = {}, year = {2012}, } RE '12: "How do Software Architects ..." How do Software Architects Consider Non-functional Requirements: An Exploratory Study David Ameller, Claudia Ayala, Jordi Cabot, and Xavier Franch (Universitat Politècnica de Catalunya, Spain; INRIA, France) Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the state of the practice on these topics may benefit both practitioners’ and researchers’ daily work. A few empirical studies have been conducted in the past, but none under the perspective of software architects, in spite of the great influence that NFRs have on daily architects’ practices. This paper presents some of the findings of an empirical study based on 13 interviews with software architects. It addresses questions such as: who decides the NFRs, what types of NFRs matter to architects, how are NFRs documented, and how are NFRs validated. The results are contextualized with existing previous work. @InProceedings{RE12p41, author = {David Ameller and Claudia Ayala and Jordi Cabot and Xavier Franch}, title = {How do Software Architects Consider Non-functional Requirements: An Exploratory Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {41--50}, doi = {}, year = {2012}, }
	Amornborvornwong, Sorawit	RE '12: "Breaking the Big-Bang Practice ..." Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders Jane Cleland-Huang, Patrick Mäder, Mehdi Mirakhorli, and Sorawit Amornborvornwong (DePaul University, USA; JKU Linz, Austria) In many software intensive systems traceability is used to support a variety of software engineering activities such as impact analysis, compliance verification, and requirements validation. However, in practice, traceability links are often created towards the end of the project specifically for approval or certification purposes. This practice can result in inaccurate and incomplete traces, and also means that traceability links are not available to support early development efforts. We address these problems by presenting a trace recommender system which pushes recommendations to project stakeholders as they create or modify traceable artifacts. We also introduce the novel concept of a trace obligation, which is used to track satisfaction relations between a target artifact and a set of source artifacts. We model traceability events and subsequent actions, including user recommendations, using the Business Process Modeling Notation (BPMN). We demonstrate and evaluate the efficacy of our approach through an illustrative example and a simulation conducted using the software engineering artifacts of a robotic system for supporting arm rehabilitation. Our results show that tracking trace obligations and generating trace recommendations throughout the active phases of a project can lead to early construction of traceability knowledge. @InProceedings{RE12p231, author = {Jane Cleland-Huang and Patrick Mäder and Mehdi Mirakhorli and Sorawit Amornborvornwong}, title = {Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {231--240}, doi = {}, year = {2012}, }
	Amyot, Daniel	RE '12: "Concern-Driven Development ..." Concern-Driven Development with jUCMNav Daniel Amyot, Stéphane Leblanc, Jason Kealey, and Jörg Kienzle (University of Ottawa, Canada; JUCM Software, Canada; McGill University, Canada) The User Requirements Notation (URN) enables the graphical modeling of requirements with goals and scenarios, and jUCMNav is a free, Eclipse-based tool that supports modeling and analysis with URN. Concern-Driven Development (CDD) enables requirements engineers to encapsulate and reason about concerns, whether they are crosscutting (i.e., aspects) or not. However, to truly capitalize on the benefits promised by CDD, concerns need to be encapsulated across software development phases, i.e., across different types of models at different levels of abstraction. Recently, URN was extended to support aspect-oriented concepts. This demonstration focuses on the new concern-driven modeling features of jUCMNav, together with its capabilities to compose aspects together, and to transform aspectual scenario models into design models in the Reusable Aspect Models notation. jUCMNav is hence one of the few tools that enable CDD from requirements to design. @InProceedings{RE12p319, author = {Daniel Amyot and Stéphane Leblanc and Jason Kealey and Jörg Kienzle}, title = {Concern-Driven Development with jUCMNav}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {319--320}, doi = {}, year = {2012}, } RE '12: "Tool Support for Combined ..." Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems Mira Vrbaski, Dorina Petriu, and Daniel Amyot (Carleton University, Canada; University of Ottawa, Canada) Context-aware systems often use rule-based reasoning engines for decision making without involving explicit interaction with the user. While rule-based systems excel in filtering out unsuitable solutions based on clear criteria, it is difficult to rank suitable solutions based on vague, qualitative criteria with a rule-based approach. Moreover, the description of such systems is typically ad-hoc without well-defined modeling tasks. CARGO (Context-Aware Reasoning using Goal-Orientation) aims to address these problems by combining rule-based and goal-based reasoning as well as scenario-based modeling to provide a more comprehensive way to define context-aware systems and to process contextual information. This demo presents CARGO, a modeling, simulation, and execution environment for context-aware systems built on existing tool support for the User Requirements Notation. @InProceedings{RE12p335, author = {Mira Vrbaski and Dorina Petriu and Daniel Amyot}, title = {Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {335--336}, doi = {}, year = {2012}, } RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Antón, Annie I.	RE '12: "Managing Changing Compliance ..." Managing Changing Compliance Requirements by Predicting Regulatory Evolution: An Adaptability Framework Jeremy C. Maxwell, Annie I. Antón, and Peter Swire (North Carolina State University, USA; Allscripts Healthcare Solutions, USA; Georgia Tech, USA; Ohio State University, USA) Over time, laws change to meet evolving social needs. Requirements engineers that develop software for regulated domains, such as healthcare or finance, must adapt their software as laws change to maintain legal compliance. In the United States, regulatory agencies will almost always release a proposed regulation, or rule, and accept comments from the public. The agency then considers these comments when drafting a final rule that will be binding on the regulated domain. Herein, we examine how these proposed rules evolve into final rules, and propose an Adaptability Framework. This framework can aid software engineers in predicting what areas of a proposed rule are most likely to evolve, allowing engineers to begin building towards the more stable sections of the rule. We develop the framework through a formative study using the Health Insurance Portability and Accountability (HIPAA) Security Rule and apply it in a summative study on the Health Information Technology: Initial Set of Standards, Implementation Specifications, and Certification Criteria for Electronic Health Record Technology. @InProceedings{RE12p101, author = {Jeremy C. Maxwell and Annie I. Antón and Peter Swire}, title = {Managing Changing Compliance Requirements by Predicting Regulatory Evolution: An Adaptability Framework}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {101--110}, doi = {}, year = {2012}, }
	Antoniol, Giuliano	RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }
	Aranda, Jorge	RE '12: "On Eliciting Contribution ..." On Eliciting Contribution Measures in Goal Models Sotirios Liaskos, Rina Jalman, and Jorge Aranda (York University, Canada; University of Victoria, Canada) Goal models have been found to be useful for supporting the decision making process in the early requirements phase. Through measuring contribution degrees of low-level decisions to the fulfilment of high-level quality goals and combining them with priority statements, it is possible to compare alternative solutions of the requirements problem against each other. But where do contribution measures come from and what is the right way to combine them in order to do such analysis? In this paper we describe how full application of the Analytic Hierarchy Process (AHP) can be used to quantitatively assess contribution relationships in goal models based on stakeholder input and how we can reason about the result in order to make informed decisions. An exploratory experiment shows that the proposed procedure is feasible and offers evidence that the resulting goal model is useful for guiding a decision. It also shows that situation-specific characteristics of the requirements problem at hand may influence stakeholder input in a variety of ways, a phenomenon that may need to be studied further in the context of eliciting such models. @InProceedings{RE12p221, author = {Sotirios Liaskos and Rina Jalman and Jorge Aranda}, title = {On Eliciting Contribution Measures in Goal Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {221--230}, doi = {}, year = {2012}, }
	Arora, Silky	RE '12: "Resolving Uncertainty in Automotive ..." Resolving Uncertainty in Automotive Feature Interactions Silky Arora, Prahladavaradan Sampath, and Ramesh S (General Motors, India) The modern automobile is a complex electronic system with a number of features providing functionalities for driver and passenger convenience, control of the vehicle, and safety of the occupants. As new features are developed and introduced into the automobile, they interact with already existing features, sometimes resulting in undesirable behaviours. These undesirable interactions are often detected very late in the development cycle, or sometimes even in the field. This introduces uncertainty in the system development process as changes to address these interactions often result in a cascading series of changes whose scope is difficult to predict. This paper presents a method and algorithms for identifying and resolving feature interactions early in the development life-cycle by addressing the problem at the level of requirements specifications. We have applied this method successfully in the automotive domain and present a case study of detecting and resolving feature interactions. @InProceedings{RE12p21, author = {Silky Arora and Prahladavaradan Sampath and Ramesh S}, title = {Resolving Uncertainty in Automotive Feature Interactions}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {21--30}, doi = {}, year = {2012}, }
	Atlee, Joanne M.	RE '12: "A Feature-Oriented Requirements ..." A Feature-Oriented Requirements Modelling Language Pourya Shaker, Joanne M. Atlee, and Shige Wang (University of Waterloo, Canada; General Motors, USA) In this paper, we present a feature-oriented requirements modelling language (FORML) for modelling the behavioural requirements of a software product line. FORML aims to support feature modularity and precise requirements modelling, and to ease the task of adding new features to a set of existing requirements. In particular, FORML decomposes a product line’s requirements into feature modules, and provides language support for specifying tightly-coupled features as model fragments that extend and override existing feature modules. We discuss how decisions in the design of FORML affect the evolvability of requirements models, and explicate the specification of intended interactions among related features. We applied FORML to the specification of two feature sets, automotive and telephony, and we discuss how well the case studies exercised the language and how the requirements models evolved over the course of the case studies. @InProceedings{RE12p151, author = {Pourya Shaker and Joanne M. Atlee and Shige Wang}, title = {A Feature-Oriented Requirements Modelling Language}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {151--160}, doi = {}, year = {2012}, }
	Ayala, Claudia	RE '12: "How do Software Architects ..." How do Software Architects Consider Non-functional Requirements: An Exploratory Study David Ameller, Claudia Ayala, Jordi Cabot, and Xavier Franch (Universitat Politècnica de Catalunya, Spain; INRIA, France) Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the state of the practice on these topics may benefit both practitioners’ and researchers’ daily work. A few empirical studies have been conducted in the past, but none under the perspective of software architects, in spite of the great influence that NFRs have on daily architects’ practices. This paper presents some of the findings of an empirical study based on 13 interviews with software architects. It addresses questions such as: who decides the NFRs, what types of NFRs matter to architects, how are NFRs documented, and how are NFRs validated. The results are contextualized with existing previous work. @InProceedings{RE12p41, author = {David Ameller and Claudia Ayala and Jordi Cabot and Xavier Franch}, title = {How do Software Architects Consider Non-functional Requirements: An Exploratory Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {41--50}, doi = {}, year = {2012}, }
	Bandara, Arosha K.	RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Behnam, Saeed Ahmadi	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Bekkers, Willem	RE '12: "Evaluating the Software Product ..." Evaluating the Software Product Management Maturity Matrix Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd (Utrecht University, Netherlands; VU University Amsterdam, Netherlands) Product managers play a pivotal role in maximizing value for software companies. To assist product managers in their activities the Software Product Management (SPM) Maturity Matrix has been created that enables product managers to benchmark their organization, assess individual processes and apply best practices to create an effective SPM environment. Although a number of case studies and expert evaluations have been performed, a large scale quantitative analysis has not yet been conducted to evaluate this instrument. This research evaluates and improves the SPM Maturity Matrix based on 62 case studies. The cases were analyzed to uncover anomalies: blocking questions, blocking levels, and undifferentiating questions. The anomalies were then discussed in a workgroup with experts which resulted in suggested improvements to address the anomalies. The suggestions of the workgroup will be used to improve the SPM Maturity Matrix. As an additional result, the case studies also provide valuable insight into the maturity of software companies in industry. @InProceedings{RE12p51, author = {Willem Bekkers and Sjaak Brinkkemper and Lucas van den Bemd and Frederik Mijnhardt and Christoph Wagner and Inge van de Weerd}, title = {Evaluating the Software Product Management Maturity Matrix}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {51--60}, doi = {}, year = {2012}, }
	Bemd, Lucas van den	RE '12: "Evaluating the Software Product ..." Evaluating the Software Product Management Maturity Matrix Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd (Utrecht University, Netherlands; VU University Amsterdam, Netherlands) Product managers play a pivotal role in maximizing value for software companies. To assist product managers in their activities the Software Product Management (SPM) Maturity Matrix has been created that enables product managers to benchmark their organization, assess individual processes and apply best practices to create an effective SPM environment. Although a number of case studies and expert evaluations have been performed, a large scale quantitative analysis has not yet been conducted to evaluate this instrument. This research evaluates and improves the SPM Maturity Matrix based on 62 case studies. The cases were analyzed to uncover anomalies: blocking questions, blocking levels, and undifferentiating questions. The anomalies were then discussed in a workgroup with experts which resulted in suggested improvements to address the anomalies. The suggestions of the workgroup will be used to improve the SPM Maturity Matrix. As an additional result, the case studies also provide valuable insight into the maturity of software companies in industry. @InProceedings{RE12p51, author = {Willem Bekkers and Sjaak Brinkkemper and Lucas van den Bemd and Frederik Mijnhardt and Christoph Wagner and Inge van de Weerd}, title = {Evaluating the Software Product Management Maturity Matrix}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {51--60}, doi = {}, year = {2012}, }
	Ben Charrada, Eya	RE '12: "Identifying Outdated Requirements ..." Identifying Outdated Requirements Based on Source Code Changes Eya Ben Charrada, Anne Koziolek, and Martin Glinz (University of Zurich, Switzerland) Keeping requirements specifications up-to-date when systems evolve is a manual and expensive task. Software engineers have to go through the whole requirements document and look for the requirements that are affected by a change. Consequently, engineers usually apply changes to the implementation directly and leave requirements unchanged. In this paper, we propose an approach for automatically detecting outdated requirements based on changes in the code. Our approach first identifies the changes in the code that are likely to affect requirements. Then it extracts a set of keywords describing the changes. These keywords are traced to the requirements specification, using an existing automated traceability tool, to identify affected requirements. Automatically identifying outdated requirements reduces the effort and time needed for the maintenance of requirements specifications significantly and thus helps preserve the knowledge contained in them. We evaluated our approach in a case study where we analyzed two consecutive source code versions and were able to detect 12 requirements-related changes out of 14 with a precision of 79%. Then we traced a set of keywords we extracted from these changes to the requirements specification. In comparison to simply tracing changed classes to requirements, we got better results in most cases. @InProceedings{RE12p61, author = {Eya Ben Charrada and Anne Koziolek and Martin Glinz}, title = {Identifying Outdated Requirements Based on Source Code Changes}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {61--70}, doi = {}, year = {2012}, }
	Bencomo, Nelly	RE '12: "Run-Time Model Evaluation ..." Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation Kristopher Welsh and Nelly Bencomo (University of Kent, UK; INRIA, France) A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results. @InProceedings{RE12p329, author = {Kristopher Welsh and Nelly Bencomo}, title = {Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {329--330}, doi = {}, year = {2012}, }
	Berenbach, Brian	RE '12: "The Use of a Requirements ..." The Use of a Requirements Modeling Language for Industrial Applications Brian Berenbach, Florian Schneider, and Helmut Naughton (Siemens, USA; TU Munich, Germany) During model-driven requirements elicitation sessions for several commercial products, weaknesses were identified with available modeling languages such as UML and SysML. Continued frustration when attempting to use the UML for requirements capture eventually resulted in collaboration between Siemens and Technische Universität München (TUM) to define a new visual requirements language called the Unified Requirements Modeling Language (URML). This paper describes some of the rationale behind the development of the URML, highlights some of the more unusual features of the language, and, finally, describes its use on a commercial project. @InProceedings{RE12p285, author = {Brian Berenbach and Florian Schneider and Helmut Naughton}, title = {The Use of a Requirements Modeling Language for Industrial Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {285--290}, doi = {}, year = {2012}, }
	Bergquist, Taylor G.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Berry, Daniel M.	RE '12: "The Impact of Domain Knowledge ..." The Impact of Domain Knowledge on the Effectiveness of Requirements Idea Generation during Requirements Elicitation Ali Niknafs and Daniel M. Berry (University of Waterloo, Canada) It is believed that the effectiveness of requirements engineering activities depends at least partially on the individuals involved. One of the factors that seems to influence an individual’s effectiveness in requirements engineering activities is knowledge of the problem being solved, i.e., domain knowledge. While a requirements engineer’s having in-depth domain knowledge helps him or her to understand the problem easier, he or she can fall for tacit assumptions of the domain and might overlook issues that are obvious to domain experts. This paper describes a controlled experiment to test the hypothesis that adding to a requirements elicitation team for a computer-based system in a particular domain, requirements analysts that are ignorant of the domain improves the effectiveness of the requirements elicitation team. The results, although not conclusive, show some support for accepting the hypothesis. The results were analyzed also to determine the effect of creativity, industrial experience, and requirements engineering experience. The results suggest other hypotheses to be studied in the future. @InProceedings{RE12p181, author = {Ali Niknafs and Daniel M. Berry}, title = {The Impact of Domain Knowledge on the Effectiveness of Requirements Idea Generation during Requirements Elicitation}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {181--190}, doi = {}, year = {2012}, }
	Boehm, Barry	RE '12: "Selecting an Appropriate Framework ..." Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study Nupul Kukreja, Sheetal Swaroop Payyavula, Barry Boehm, and Srinivas Padmanabhuni (University of Southern California, USA; Infosys Technologies, India) There are usually more requirements than feasible in a given schedule. Thus, it’s imperative to be able to choose the most valuable ones for implementation to ensure the delivery of a high value software system. There are myriad requirements prioritization frameworks and selecting the most appropriate one is a decision problem in its own right. In this paper we present our approach in selecting the most appropriate value based requirements prioritization framework as per the requirements of our stakeholders. Based on our analysis a single framework was selected, validated by requirements engineers and project managers and deployed for company-wide use by a major IT player in India. @InProceedings{RE12p303, author = {Nupul Kukreja and Sheetal Swaroop Payyavula and Barry Boehm and Srinivas Padmanabhuni}, title = {Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {303--308}, doi = {}, year = {2012}, }
	Braun, Edna	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Breaux, Travis D.	RE '12: "Reconciling Multi-jurisdictional ..." Reconciling Multi-jurisdictional Legal Requirements: A Case Study in Requirements Water Marking David G. Gordon and Travis D. Breaux (CMU, USA) Companies that own, license, or maintain personal information face a daunting number of privacy and security regulations. Companies are subject to new regulations from one or more governing bodies, when companies introduce new or existing products into a jurisdiction, when regulations change, or when data is transferred across political borders. To address this problem, we developed a framework called "requirements water marking" that business analysts can use to align and reconcile requirements from multiple jurisdictions (municipalities, provinces, nations) to produce a single high or low standard of care. We evaluate the framework in an empirical case study conducted over a subset of U.S. data breach notification laws that require companies to secure their data and notify consumers in the event of data loss or theft. In this study, applying our framework reduced the number of requirements a company must comply with by 76% across 8 jurisdictions. We show how the framework surfaces critical requirements trade-offs and potential regulatory conflicts that companies must address during the reconciliation process. We summarize our results, including surveys of information technology law experts to contextualize our empirical results in legal practice. @InProceedings{RE12p91, author = {David G. Gordon and Travis D. Breaux}, title = {Reconciling Multi-jurisdictional Legal Requirements: A Case Study in Requirements Water Marking}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {91--100}, doi = {}, year = {2012}, }
	Brinkkemper, Sjaak	RE '12: "Evaluating the Software Product ..." Evaluating the Software Product Management Maturity Matrix Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd (Utrecht University, Netherlands; VU University Amsterdam, Netherlands) Product managers play a pivotal role in maximizing value for software companies. To assist product managers in their activities the Software Product Management (SPM) Maturity Matrix has been created that enables product managers to benchmark their organization, assess individual processes and apply best practices to create an effective SPM environment. Although a number of case studies and expert evaluations have been performed, a large scale quantitative analysis has not yet been conducted to evaluate this instrument. This research evaluates and improves the SPM Maturity Matrix based on 62 case studies. The cases were analyzed to uncover anomalies: blocking questions, blocking levels, and undifferentiating questions. The anomalies were then discussed in a workgroup with experts which resulted in suggested improvements to address the anomalies. The suggestions of the workgroup will be used to improve the SPM Maturity Matrix. As an additional result, the case studies also provide valuable insight into the maturity of software companies in industry. @InProceedings{RE12p51, author = {Willem Bekkers and Sjaak Brinkkemper and Lucas van den Bemd and Frederik Mijnhardt and Christoph Wagner and Inge van de Weerd}, title = {Evaluating the Software Product Management Maturity Matrix}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {51--60}, doi = {}, year = {2012}, }
	Cabot, Jordi	RE '12: "How do Software Architects ..." How do Software Architects Consider Non-functional Requirements: An Exploratory Study David Ameller, Claudia Ayala, Jordi Cabot, and Xavier Franch (Universitat Politècnica de Catalunya, Spain; INRIA, France) Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the state of the practice on these topics may benefit both practitioners’ and researchers’ daily work. A few empirical studies have been conducted in the past, but none under the perspective of software architects, in spite of the great influence that NFRs have on daily architects’ practices. This paper presents some of the findings of an empirical study based on 13 interviews with software architects. It addresses questions such as: who decides the NFRs, what types of NFRs matter to architects, how are NFRs documented, and how are NFRs validated. The results are contextualized with existing previous work. @InProceedings{RE12p41, author = {David Ameller and Claudia Ayala and Jordi Cabot and Xavier Franch}, title = {How do Software Architects Consider Non-functional Requirements: An Exploratory Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {41--50}, doi = {}, year = {2012}, }
	Cailliau, Antoine	RE '12: "A Probabilistic Framework ..." A Probabilistic Framework for Goal-Oriented Risk Analysis Antoine Cailliau and Axel van Lamsweerde (Université Catholique de Louvain, Belgium) Requirements completeness is among the most critical and difficult software engineering challenges. Missing requirements often result from poor risk analysis at requirements engineering time. Obstacle analysis is a goal-oriented form of risk analysis aimed at anticipating exceptional conditions in which the software should behave adequately. In the identify-assess-control cycles of such analysis, the assessment step is not well supported by current techniques. This step is concerned with evaluating how likely the obstacles to goals are and how likely and severe their consequences are. Those key factors drive the selection of most appropriate countermeasures to be integrated in the system goal model for increased completeness. Moreover, obstacles to probabilistic goals are currently not supported; such goals prescribe that some corresponding target property should be satisfied in at least X% of the cases. The paper presents a probabilistic framework for goal specification and obstacle assessment. The specification language for goals and obstacles is extended with a probabilistic layer where probabilities have a precise semantics grounded on system-specific phenomena. The probability of a root obstacle to a goal is thereby computed by up-propagation of probabilities of finer-grained obstacles through the obstacle refinement tree. The probability and severity of obstacle consequences is in turn computed by up-propagation from the obstructed leaf goals through the goal refinement graph. The paper shows how the computed information can be used to prioritize obstacles for countermeasure selection towards a more complete and robust goal model. The framework is evaluated on a non-trivial carpooling support system. @InProceedings{RE12p201, author = {Antoine Cailliau and Axel van Lamsweerde}, title = {A Probabilistic Framework for Goal-Oriented Risk Analysis}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {201--210}, doi = {}, year = {2012}, }
	Cartwright, Nick	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Chechik, Marsha	RE '12: "Managing Requirements Uncertainty ..." Managing Requirements Uncertainty with Partial Models Rick Salay, Marsha Chechik, and Jennifer Horkoff (University of Toronto, Canada) Models are good at expressing information that is known but do not typically have support for representing what information a modeler does not know at a particular phase in the software development process. Partial models address this by being able to precisely represent uncertainty about model content. In previous work, we developed a general approach for defining partial models and applied it to capturing uncertainty, including reasoning over design models containing uncertainty. In this paper, we show how to apply our approach to managing requirements uncertainty. In particular, we address the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces and reasoning with traceability relations between models containing uncertainty. We illustrate our approach using the meeting scheduler example. @InProceedings{RE12p1, author = {Rick Salay and Marsha Chechik and Jennifer Horkoff}, title = {Managing Requirements Uncertainty with Partial Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {1--10}, doi = {}, year = {2012}, }
	Chen, Zhangji	RE '12: "ReCVisu: A Tool for Clustering-Based ..." ReCVisu: A Tool for Clustering-Based Visual Exploration of Requirements Sandeep Reddivari, Zhangji Chen, and Nan Niu (Mississippi State University, USA) Clustering is of great practical value in discovering natural groupings of large numbers of requirements artifacts. Clustering-based visualization has shown promise in supporting requirements tracing. In this paper, we transform the success to a wider range of clustering-based visual exploration tasks in requirements engineering. We describe ReCVisu, a requirements exploration tool based on quantitative visualizations. We discuss the key features of ReCVisu and its potential improvements over previous work. @InProceedings{RE12p327, author = {Sandeep Reddivari and Zhangji Chen and Nan Niu}, title = {ReCVisu: A Tool for Clustering-Based Visual Exploration of Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {327--328}, doi = {}, year = {2012}, }
	Chernak, Yuri	RE '12: "Requirements Composition Table ..." Requirements Composition Table Explained Yuri Chernak (Valley Forge Consulting, USA) Aspect-oriented requirements engineering (AORE) introduced an artifact called Requirements Composition Table (RCT). RCT presents a holistic view of an application’s functionality structured by core features and crosscutting concerns. This artifact can effectively support various project tasks and serve as a common frame of reference for all parties on a project team. As AORE remains little-known to most practitioners in the software development field, the purpose of this paper is to explain the RCT concept to practitioners and discuss its benefits. The RCT technique has been implemented for a number of Wall Street applications at various investment banks. RCT can help us perform important project tasks and has proven to be one of the most valuable artifacts of a software project. This paper discusses the steps to develop an RCT, provides an example of how to use it to perform change impact analysis for releases, describes experiences using RCTs in practice, and discusses lessons learned on projects implementing the RCT technique. @InProceedings{RE12p273, author = {Yuri Chernak}, title = {Requirements Composition Table Explained}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {273--278}, doi = {}, year = {2012}, }
	Chung, Lawrence	RE '12: "The RE-Tools: A Multi-notational ..." The RE-Tools: A Multi-notational Requirements Modeling Toolkit Sam Supakkul and Lawrence Chung (Sabre, USA; University of Texas at Dallas, USA) Requirements engineers need to understand and model different aspects of organizations and systems under construction, and may need to use different modeling notations. However, most modeling tools support only one (or at most a few notations), hindering requirements engineers from using the most appropriate notations for the particular modeling task. The RE-Tools is an open-source toolkit implemented using a UML Profile for StarUML, an open-source UML modeling tool. The toolkit supports many leading requirements modeling notations, including the NFR Framework, the i* Framework, KAOS, Problem Frames, and UML. Each of these notations may be used for modeling independent corresponding diagrams or together with non-functional requirements (NFRs). The toolkit also supports the original qualitative reasoning of the NFR Framework and augments with a quantitative one. @InProceedings{RE12p333, author = {Sam Supakkul and Lawrence Chung}, title = {The RE-Tools: A Multi-notational Requirements Modeling Toolkit}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {333--334}, doi = {}, year = {2012}, }
	Cleland-Huang, Jane	RE '12: "Breaking the Big-Bang Practice ..." Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders Jane Cleland-Huang, Patrick Mäder, Mehdi Mirakhorli, and Sorawit Amornborvornwong (DePaul University, USA; JKU Linz, Austria) In many software intensive systems traceability is used to support a variety of software engineering activities such as impact analysis, compliance verification, and requirements validation. However, in practice, traceability links are often created towards the end of the project specifically for approval or certification purposes. This practice can result in inaccurate and incomplete traces, and also means that traceability links are not available to support early development efforts. We address these problems by presenting a trace recommender system which pushes recommendations to project stakeholders as they create or modify traceable artifacts. We also introduce the novel concept of a trace obligation, which is used to track satisfaction relations between a target artifact and a set of source artifacts. We model traceability events and subsequent actions, including user recommendations, using the Business Process Modeling Notation (BPMN). We demonstrate and evaluate the efficacy of our approach through an illustrative example and a simulation conducted using the software engineering artifacts of a robotic system for supporting arm rehabilitation. Our results show that tracking trace obligations and generating trace recommendations throughout the active phases of a project can lead to early construction of traceability knowledge. @InProceedings{RE12p231, author = {Jane Cleland-Huang and Patrick Mäder and Mehdi Mirakhorli and Sorawit Amornborvornwong}, title = {Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {231--240}, doi = {}, year = {2012}, } RE '12: "Detecting and Classifying ..." Detecting and Classifying Patterns of Requirements Clarifications Eric Knauss, Daniela Damian, Germán Poo-Caamaño, and Jane Cleland-Huang (University of Victoria, Canada; DePaul University, USA) In current project environments, requirements often evolve throughout the project and are worked on by stakeholders in large and distributed teams. Such teams often use online tools such as mailing lists, bug tracking systems or online discussion forums to communicate, clarify or coordinate work on requirements. In this kind of environment, the expected evolution from initial idea, through clarification, to a stable requirement, often stagnates. When project managers are not aware of underlying problems, development may pro- ceed before requirements are fully understood and stabilized, leading to numerous implementation issues and often resulting in the need for early redesign and modification. In this paper, we present an approach to analyzing online requirements communication and a method for the detection and classification of clarification events in requirement discus- sions. We used our approach to analyze online requirements communication in the IBM Rational Team Concert (RTC) project and identified a set of six clarification patterns. Since a predominant amount of clarifications through the lifetime of a requirement is often indicative of problematic requirements, our approach lends support to project managers to assess, in real-time, the state of discussions around a requirement and promptly react to requirements problems. @InProceedings{RE12p251, author = {Eric Knauss and Daniela Damian and Germán Poo-Caamaño and Jane Cleland-Huang}, title = {Detecting and Classifying Patterns of Requirements Clarifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {251--260}, doi = {}, year = {2012}, } RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }
	Collell, Oriol	RE '12: "ArchiTech: Tool Support for ..." ArchiTech: Tool Support for NFR-Guided Architectural Decision-Making David Ameller, Oriol Collell, and Xavier Franch (Universitat Politècnica de Catalunya, Spain) Researchers from requirements engineering and software architecture had emphasized the importance of Non-Functional Requirements and their influence in the architectural design process. To improve this process we have designed a tool, ArchiTech, which aims to support architects during the design process by suggesting alternative architectural decisions that can improve some types of non-functional requirements in a particular project, and facilitate the reuse of architectural knowledge shared between projects of the same architectural domain (e.g., web-based applications). @InProceedings{RE12p315, author = {David Ameller and Oriol Collell and Xavier Franch}, title = {ArchiTech: Tool Support for NFR-Guided Architectural Decision-Making}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {315--316}, doi = {}, year = {2012}, }
	Cordy, Maxime	RE '12: "Efficient Consistency Checking ..." Efficient Consistency Checking of Scenario-Based Product-Line Specifications Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, and Patrick Heymans (Politecnico di Milano, Italy; University of Namur, Belgium) Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding inconsistencies within the requirements, because these could lead to costly iterations in the later development. We propose a technique for the scenario-based specification of component interactions based on Modal Sequence Diagrams. Moreover, we developed an efficient technique for automatically finding inconsistencies in the scenario-based specification of many variants at once by exploiting recent advances in the model-checking of product lines. Our evaluation shows benefits of this technique over performing individual consistency checking of each variant specification. @InProceedings{RE12p161, author = {Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans}, title = {Efficient Consistency Checking of Scenario-Based Product-Line Specifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {161--170}, doi = {}, year = {2012}, }
	Dalpiaz, Fabiano	RE '12: "STS-Tool: Socio-technical ..." STS-Tool: Socio-technical Security Requirements through Social Commitments Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, and Paolo Giorgini (University of Trento, Italy) Security Requirements Engineering (SRE) deals with the elicitation and analysis of security needs to specify security requirements for the system-to-be. In previous work, we have presented STS-ml, a security requirements modelling language for Socio-Technical Systems (STSs) that elicits security needs, using a goal-oriented approach, and derives the security requirements specification based on these needs. Particularly, STS-ml relates security to the interaction among actors in the STS. In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml. STS-Tool allows designers to model a STS at a high-level of abstraction, while expressing security needs over the interactions between the actors in the STS, and derive security requirements in terms of social commitments—promises with contractual validity—once the modelling is done. @InProceedings{RE12p331, author = {Elda Paja and Fabiano Dalpiaz and Mauro Poggianella and Pierluigi Roberti and Paolo Giorgini}, title = {STS-Tool: Socio-technical Security Requirements through Social Commitments}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {331--332}, doi = {}, year = {2012}, }
	Damian, Daniela	RE '12: "Detecting and Classifying ..." Detecting and Classifying Patterns of Requirements Clarifications Eric Knauss, Daniela Damian, Germán Poo-Caamaño, and Jane Cleland-Huang (University of Victoria, Canada; DePaul University, USA) In current project environments, requirements often evolve throughout the project and are worked on by stakeholders in large and distributed teams. Such teams often use online tools such as mailing lists, bug tracking systems or online discussion forums to communicate, clarify or coordinate work on requirements. In this kind of environment, the expected evolution from initial idea, through clarification, to a stable requirement, often stagnates. When project managers are not aware of underlying problems, development may pro- ceed before requirements are fully understood and stabilized, leading to numerous implementation issues and often resulting in the need for early redesign and modification. In this paper, we present an approach to analyzing online requirements communication and a method for the detection and classification of clarification events in requirement discus- sions. We used our approach to analyze online requirements communication in the IBM Rational Team Concert (RTC) project and identified a set of six clarification patterns. Since a predominant amount of clarifications through the lifetime of a requirement is often indicative of problematic requirements, our approach lends support to project managers to assess, in real-time, the state of discussions around a requirement and promptly react to requirements problems. @InProceedings{RE12p251, author = {Eric Knauss and Daniela Damian and Germán Poo-Caamaño and Jane Cleland-Huang}, title = {Detecting and Classifying Patterns of Requirements Clarifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {251--260}, doi = {}, year = {2012}, }
	Dekhtyar, Alex	RE '12: "Process Improvement for Traceability: ..." Process Improvement for Traceability: A Study of Human Fallibility Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, and Olga Dekhtyar (University of Kentucky, USA; Cal Poly, USA) Human analysts working with results from automated traceability tools often make incorrect decisions that lead to lower quality final trace matrices. As the human must vet the results of trace tools for mission- and safety-critical systems, the hopes of developing expedient and accurate tracing procedures lies in understanding how analysts work with trace matrices. This paper describes a study to understand when and why humans make correct and incorrect decisions during tracing tasks through logs of analyst actions. In addition to the traditional measures of recall and precision to describe the accuracy of the results, we introduce and study new measures that focus on analyst work quality: potential recall, sensitivity, and effort distribution. We use these measures to visualize analyst progress towards the final trace matrix, identifying factors that may influence their performance and determining how actual tracing strategies, derived from analyst logs, affect results. @InProceedings{RE12p31, author = {Wei-Keat Kong and Jane Huffman Hayes and Alex Dekhtyar and Olga Dekhtyar}, title = {Process Improvement for Traceability: A Study of Human Fallibility}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {31--40}, doi = {}, year = {2012}, }
	Dekhtyar, Olga	RE '12: "Process Improvement for Traceability: ..." Process Improvement for Traceability: A Study of Human Fallibility Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, and Olga Dekhtyar (University of Kentucky, USA; Cal Poly, USA) Human analysts working with results from automated traceability tools often make incorrect decisions that lead to lower quality final trace matrices. As the human must vet the results of trace tools for mission- and safety-critical systems, the hopes of developing expedient and accurate tracing procedures lies in understanding how analysts work with trace matrices. This paper describes a study to understand when and why humans make correct and incorrect decisions during tracing tasks through logs of analyst actions. In addition to the traditional measures of recall and precision to describe the accuracy of the results, we introduce and study new measures that focus on analyst work quality: potential recall, sensitivity, and effort distribution. We use these measures to visualize analyst progress towards the final trace matrix, identifying factors that may influence their performance and determining how actual tracing strategies, derived from analyst logs, affect results. @InProceedings{RE12p31, author = {Wei-Keat Kong and Jane Huffman Hayes and Alex Dekhtyar and Olga Dekhtyar}, title = {Process Improvement for Traceability: A Study of Human Fallibility}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {31--40}, doi = {}, year = {2012}, }
	De Roeck, Anne	RE '12: "Speculative Requirements: ..." Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements Hui Yang, Anne De Roeck, Vincenzo Gervasi, Alistair Willis, and Bashar Nuseibeh (Open University, UK; University of Pisa, Italy; Lero, Ireland) Stakeholders frequently use speculative language when they need to convey their requirements with some degree of uncertainty. Due to the intrinsic vagueness of speculative language, speculative requirements risk being misunderstood, and related uncertainty overlooked, and may benefit from careful treatment in the requirements engineering process. In this paper, we present a linguistically-oriented approach to automatic detection of uncertainty in natural language (NL) requirements. Our approach comprises two stages. First we identify speculative sentences by applying a machine learning algorithm called Conditional Random Fields (CRFs) to identify uncertainty cues. The algorithm exploits a rich set of lexical and syntactic features extracted from requirements sentences. Second, we try to determine the scope of uncertainty. We use a rule-based approach that draws on a set of hand-crafted linguistic heuristics to determine the uncertainty scope with the help of dependency structures present in the sentence parse tree. We report on a series of experiments we conducted to evaluate the performance and usefulness of our system. @InProceedings{RE12p11, author = {Hui Yang and Anne De Roeck and Vincenzo Gervasi and Alistair Willis and Bashar Nuseibeh}, title = {Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {11--20}, doi = {}, year = {2012}, }
	Doerr, Joerg	RE '12: "What You Need Is What You ..." What You Need Is What You Get! The Vision of View-Based Requirements Specifications Anne Gross and Joerg Doerr (Fraunhofer IESE, Germany) Software requirements specifications play a crucial role in software development projects. Especially in large projects, these specifications serve as a source of communication and information for a variety of roles involved in downstream activities like architecture, design, and testing. This vision paper argues that in order to create high-quality requirements specifications that fit the specific demands of successive document stakeholders, our research community needs to better understand the particular information needs of downstream development roles. In this paper, the authors introduce the idea of view-based requirements specifications. Two scenarios illustrate (1) current problems and challenges related to the research underlying the envisioned idea and (2) how these problems could be solved in the future. Based on these scenarios, challenges and research questions are outlined and supplemented with current results of exemplary user studies. Furthermore, potential future research is suggested, which the community should perform to answer the research questions as part of a research agenda. @InProceedings{RE12p171, author = {Anne Gross and Joerg Doerr}, title = {What You Need Is What You Get! The Vision of View-Based Requirements Specifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {171--180}, doi = {}, year = {2012}, }
	Egyed, Alexander	RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }
	Ferrari, Alessio	RE '12: "Using Collective Intelligence ..." Using Collective Intelligence to Detect Pragmatic Ambiguities Alessio Ferrari and Stefania Gnesi (ISTI-CNR, Italy) This paper presents a novel approach for pragmatic ambiguity detection in natural language (NL) requirements specifications defined for a specific application domain. Starting from a requirements specification, we use a Web-search engine to retrieve a set of documents focused on the same domain of the specification. From these domain-related documents, we extract different knowledge graphs, which are employed to analyse each requirement sentence looking for potential ambiguities. To this end, an algorithm has been developed that takes the concepts expressed in the sentence and searches for corresponding ``concept paths'' within each graph. The paths resulting from the traversal of each graph are compared and, if their overall similarity score is lower than a given threshold, the requirements specification sentence is considered ambiguous from the pragmatic point of view. A proof of concept is given throughout the paper to illustrate the soundness of the proposed strategy. @InProceedings{RE12p191, author = {Alessio Ferrari and Stefania Gnesi}, title = {Using Collective Intelligence to Detect Pragmatic Ambiguities}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {191--200}, doi = {}, year = {2012}, }
	Franch, Xavier	RE '12: "ArchiTech: Tool Support for ..." ArchiTech: Tool Support for NFR-Guided Architectural Decision-Making David Ameller, Oriol Collell, and Xavier Franch (Universitat Politècnica de Catalunya, Spain) Researchers from requirements engineering and software architecture had emphasized the importance of Non-Functional Requirements and their influence in the architectural design process. To improve this process we have designed a tool, ArchiTech, which aims to support architects during the design process by suggesting alternative architectural decisions that can improve some types of non-functional requirements in a particular project, and facilitate the reuse of architectural knowledge shared between projects of the same architectural domain (e.g., web-based applications). @InProceedings{RE12p315, author = {David Ameller and Oriol Collell and Xavier Franch}, title = {ArchiTech: Tool Support for NFR-Guided Architectural Decision-Making}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {315--316}, doi = {}, year = {2012}, } RE '12: "How do Software Architects ..." How do Software Architects Consider Non-functional Requirements: An Exploratory Study David Ameller, Claudia Ayala, Jordi Cabot, and Xavier Franch (Universitat Politècnica de Catalunya, Spain; INRIA, France) Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the state of the practice on these topics may benefit both practitioners’ and researchers’ daily work. A few empirical studies have been conducted in the past, but none under the perspective of software architects, in spite of the great influence that NFRs have on daily architects’ practices. This paper presents some of the findings of an empirical study based on 13 interviews with software architects. It addresses questions such as: who decides the NFRs, what types of NFRs matter to architects, how are NFRs documented, and how are NFRs validated. The results are contextualized with existing previous work. @InProceedings{RE12p41, author = {David Ameller and Claudia Ayala and Jordi Cabot and Xavier Franch}, title = {How do Software Architects Consider Non-functional Requirements: An Exploratory Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {41--50}, doi = {}, year = {2012}, }
	Fu, Lingxiao	RE '12: "Stateful Requirements Monitoring ..." Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, and Wenyun Zhao (Fudan University, China; Open University, UK; University of Trento, Italy) Socio-technical systems consist of human, hardware and software components that work in tandem to fulfill stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralized fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customizable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting. @InProceedings{RE12p121, author = {Lingxiao Fu and Xin Peng and Yijun Yu and John Mylopoulos and Wenyun Zhao}, title = {Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {121--130}, doi = {}, year = {2012}, }
	Gervasi, Vincenzo	RE '12: "Speculative Requirements: ..." Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements Hui Yang, Anne De Roeck, Vincenzo Gervasi, Alistair Willis, and Bashar Nuseibeh (Open University, UK; University of Pisa, Italy; Lero, Ireland) Stakeholders frequently use speculative language when they need to convey their requirements with some degree of uncertainty. Due to the intrinsic vagueness of speculative language, speculative requirements risk being misunderstood, and related uncertainty overlooked, and may benefit from careful treatment in the requirements engineering process. In this paper, we present a linguistically-oriented approach to automatic detection of uncertainty in natural language (NL) requirements. Our approach comprises two stages. First we identify speculative sentences by applying a machine learning algorithm called Conditional Random Fields (CRFs) to identify uncertainty cues. The algorithm exploits a rich set of lexical and syntactic features extracted from requirements sentences. Second, we try to determine the scope of uncertainty. We use a rule-based approach that draws on a set of hand-crafted linguistic heuristics to determine the uncertainty scope with the help of dependency structures present in the sentence parse tree. We report on a series of experiments we conducted to evaluate the performance and usefulness of our system. @InProceedings{RE12p11, author = {Hui Yang and Anne De Roeck and Vincenzo Gervasi and Alistair Willis and Bashar Nuseibeh}, title = {Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {11--20}, doi = {}, year = {2012}, }
	Ghazarian, Arbi	RE '12: "Characterization of Functional ..." Characterization of Functional Software Requirements Space: The Law of Requirements Taxonomic Growth Arbi Ghazarian (Arizona State University, USA) This paper reports on a large-scale empirical multiple-case study that aimed to characterize the requirements space in the domain of web-based Enterprise Systems (ES). Results from this study, among others, showed that, on the average, about 85% of all the software functionalities in the studied domain are specified using a small core set of five requirements classes even though the results of the study hint at a larger set of nine requirements classes that should be covered. The study also uncovered a law describing the growth pattern of the emerging requirements classes in software domains. According to this law, the emergence of the classes in a requirements taxonomic scheme for a particular domain, independent of the order in which specifications of requirements in that domain are analyzed, includes a rapid initial growth phase, where the majority of the requirements classes are identified, followed by a rapid slow-down phase with periods of no growth (i.e., the stabilization phase). @InProceedings{RE12p241, author = {Arbi Ghazarian}, title = {Characterization of Functional Software Requirements Space: The Law of Requirements Taxonomic Growth}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {241--250}, doi = {}, year = {2012}, }
	Giorgini, Paolo	RE '12: "STS-Tool: Socio-technical ..." STS-Tool: Socio-technical Security Requirements through Social Commitments Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, and Paolo Giorgini (University of Trento, Italy) Security Requirements Engineering (SRE) deals with the elicitation and analysis of security needs to specify security requirements for the system-to-be. In previous work, we have presented STS-ml, a security requirements modelling language for Socio-Technical Systems (STSs) that elicits security needs, using a goal-oriented approach, and derives the security requirements specification based on these needs. Particularly, STS-ml relates security to the interaction among actors in the STS. In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml. STS-Tool allows designers to model a STS at a high-level of abstraction, while expressing security needs over the interactions between the actors in the STS, and derive security requirements in terms of social commitments—promises with contractual validity—once the modelling is done. @InProceedings{RE12p331, author = {Elda Paja and Fabiano Dalpiaz and Mauro Poggianella and Pierluigi Roberti and Paolo Giorgini}, title = {STS-Tool: Socio-technical Security Requirements through Social Commitments}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {331--332}, doi = {}, year = {2012}, }
	Glinz, Martin	RE '12: "Flexible, Lightweight Requirements ..." Flexible, Lightweight Requirements Modeling with FlexiSketch Dustin Wüest, Norbert Seyff, and Martin Glinz (University of Zurich, Switzerland) @InProceedings{RE12p323, author = {Dustin Wüest and Norbert Seyff and Martin Glinz}, title = {Flexible, Lightweight Requirements Modeling with FlexiSketch}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {323--322}, doi = {}, year = {2012}, } RE '12: "Identifying Outdated Requirements ..." Identifying Outdated Requirements Based on Source Code Changes Eya Ben Charrada, Anne Koziolek, and Martin Glinz (University of Zurich, Switzerland) Keeping requirements specifications up-to-date when systems evolve is a manual and expensive task. Software engineers have to go through the whole requirements document and look for the requirements that are affected by a change. Consequently, engineers usually apply changes to the implementation directly and leave requirements unchanged. In this paper, we propose an approach for automatically detecting outdated requirements based on changes in the code. Our approach first identifies the changes in the code that are likely to affect requirements. Then it extracts a set of keywords describing the changes. These keywords are traced to the requirements specification, using an existing automated traceability tool, to identify affected requirements. Automatically identifying outdated requirements reduces the effort and time needed for the maintenance of requirements specifications significantly and thus helps preserve the knowledge contained in them. We evaluated our approach in a case study where we analyzed two consecutive source code versions and were able to detect 12 requirements-related changes out of 14 with a precision of 79%. Then we traced a set of keywords we extracted from these changes to the requirements specification. In comparison to simply tracing changed classes to requirements, we got better results in most cases. @InProceedings{RE12p61, author = {Eya Ben Charrada and Anne Koziolek and Martin Glinz}, title = {Identifying Outdated Requirements Based on Source Code Changes}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {61--70}, doi = {}, year = {2012}, }
	Gnesi, Stefania	RE '12: "Using Collective Intelligence ..." Using Collective Intelligence to Detect Pragmatic Ambiguities Alessio Ferrari and Stefania Gnesi (ISTI-CNR, Italy) This paper presents a novel approach for pragmatic ambiguity detection in natural language (NL) requirements specifications defined for a specific application domain. Starting from a requirements specification, we use a Web-search engine to retrieve a set of documents focused on the same domain of the specification. From these domain-related documents, we extract different knowledge graphs, which are employed to analyse each requirement sentence looking for potential ambiguities. To this end, an algorithm has been developed that takes the concepts expressed in the sentence and searches for corresponding ``concept paths'' within each graph. The paths resulting from the traversal of each graph are compared and, if their overall similarity score is lower than a given threshold, the requirements specification sentence is considered ambiguous from the pragmatic point of view. A proof of concept is given throughout the paper to illustrate the soundness of the proposed strategy. @InProceedings{RE12p191, author = {Alessio Ferrari and Stefania Gnesi}, title = {Using Collective Intelligence to Detect Pragmatic Ambiguities}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {191--200}, doi = {}, year = {2012}, }
	Gordon, David G.	RE '12: "Reconciling Multi-jurisdictional ..." Reconciling Multi-jurisdictional Legal Requirements: A Case Study in Requirements Water Marking David G. Gordon and Travis D. Breaux (CMU, USA) Companies that own, license, or maintain personal information face a daunting number of privacy and security regulations. Companies are subject to new regulations from one or more governing bodies, when companies introduce new or existing products into a jurisdiction, when regulations change, or when data is transferred across political borders. To address this problem, we developed a framework called "requirements water marking" that business analysts can use to align and reconcile requirements from multiple jurisdictions (municipalities, provinces, nations) to produce a single high or low standard of care. We evaluate the framework in an empirical case study conducted over a subset of U.S. data breach notification laws that require companies to secure their data and notify consumers in the event of data loss or theft. In this study, applying our framework reduced the number of requirements a company must comply with by 76% across 8 jurisdictions. We show how the framework surfaces critical requirements trade-offs and potential regulatory conflicts that companies must address during the reconciliation process. We summarize our results, including surveys of information technology law experts to contextualize our empirical results in legal practice. @InProceedings{RE12p91, author = {David G. Gordon and Travis D. Breaux}, title = {Reconciling Multi-jurisdictional Legal Requirements: A Case Study in Requirements Water Marking}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {91--100}, doi = {}, year = {2012}, }
	Gotel, Orlena C. Z.	RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }
	Greenyer, Joel	RE '12: "Efficient Consistency Checking ..." Efficient Consistency Checking of Scenario-Based Product-Line Specifications Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, and Patrick Heymans (Politecnico di Milano, Italy; University of Namur, Belgium) Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding inconsistencies within the requirements, because these could lead to costly iterations in the later development. We propose a technique for the scenario-based specification of component interactions based on Modal Sequence Diagrams. Moreover, we developed an efficient technique for automatically finding inconsistencies in the scenario-based specification of many variants at once by exploiting recent advances in the model-checking of product lines. Our evaluation shows benefits of this technique over performing individual consistency checking of each variant specification. @InProceedings{RE12p161, author = {Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans}, title = {Efficient Consistency Checking of Scenario-Based Product-Line Specifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {161--170}, doi = {}, year = {2012}, }
	Gross, Anne	RE '12: "What You Need Is What You ..." What You Need Is What You Get! The Vision of View-Based Requirements Specifications Anne Gross and Joerg Doerr (Fraunhofer IESE, Germany) Software requirements specifications play a crucial role in software development projects. Especially in large projects, these specifications serve as a source of communication and information for a variety of roles involved in downstream activities like architecture, design, and testing. This vision paper argues that in order to create high-quality requirements specifications that fit the specific demands of successive document stakeholders, our research community needs to better understand the particular information needs of downstream development roles. In this paper, the authors introduce the idea of view-based requirements specifications. Two scenarios illustrate (1) current problems and challenges related to the research underlying the envisioned idea and (2) how these problems could be solved in the future. Based on these scenarios, challenges and research questions are outlined and supplemented with current results of exemplary user studies. Furthermore, potential future research is suggested, which the community should perform to answer the research questions as part of a research agenda. @InProceedings{RE12p171, author = {Anne Gross and Joerg Doerr}, title = {What You Need Is What You Get! The Vision of View-Based Requirements Specifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {171--180}, doi = {}, year = {2012}, }
	Grünbacher, Paul	RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }
	Haley, Charles	RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Hauksdottir, Dagny	RE '12: "Requirements Reuse at Danfoss ..." Requirements Reuse at Danfoss Dagny Hauksdottir, Arne Vermehren, and Juha Savolainen (Danfoss Power Electronics, Denmark) Requirements engineering is an essential activity in creating embedded real-time systems. Companies that produce a number of partially similar products can reduce development time and cost, improve quality and simplify software maintenance by applying reuse practices. Requirements reuse is an essential enabler to achieve effective software reuse. This study describes two different approaches for requirements reuse at Danfoss. The first approach reuses those requirements that are envisioned to be common between two consecutive projects and allows changing and parameterization of parts of the requirements. The second approach organizes all requirements into a common model and explicitly manages variability and different requirement variants in this common model. The results show that both approaches can result in significant savings in reduced effort by reusing common requirements. The first approach was found to be effective when the domain maturity is low and the significant set of requirements were changed from project to project. The second approach allows high reuse potential and significant savings for stable domains, where most requirements tend to be small additions or minor changes of existing requirements. @InProceedings{RE12p309, author = {Dagny Hauksdottir and Arne Vermehren and Juha Savolainen}, title = {Requirements Reuse at Danfoss}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {309--314}, doi = {}, year = {2012}, }
	Henderson, Eric R.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Heymans, Patrick	RE '12: "Efficient Consistency Checking ..." Efficient Consistency Checking of Scenario-Based Product-Line Specifications Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, and Patrick Heymans (Politecnico di Milano, Italy; University of Namur, Belgium) Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding inconsistencies within the requirements, because these could lead to costly iterations in the later development. We propose a technique for the scenario-based specification of component interactions based on Modal Sequence Diagrams. Moreover, we developed an efficient technique for automatically finding inconsistencies in the scenario-based specification of many variants at once by exploiting recent advances in the model-checking of product lines. Our evaluation shows benefits of this technique over performing individual consistency checking of each variant specification. @InProceedings{RE12p161, author = {Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans}, title = {Efficient Consistency Checking of Scenario-Based Product-Line Specifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {161--170}, doi = {}, year = {2012}, }
	Hoffmann, Axel	RE '12: "A Pattern-Based Approach for ..." A Pattern-Based Approach for Analysing Requirements in Socio-technical Systems Engineering Axel Hoffmann (University of Kassel, Germany) Requirements analysis for socio-technical systems faces the challenge of multidisciplinary requirements that need to be collected from, understood by and agreed upon by various stakeholders. In some cases, requirements analysts or involved stakeholders do not fully understand the requirements that other disciplines impose, and thus fail to deliver a requirements specification that can be used in interdisciplinary development teams. In requirements engineering, requirement patterns are used to recognize important and recurring issues, thus reducing the effort of compiling a list of software requirements. The objective of the proposed dissertation project is to develop a similar pattern based approach that helps in analysing requirements from different disciplines and making them comprehensible for all stakeholders who need to agree to a requirement specification as the deliverable of requirements engineering. Due to the importance of legal aspects for, and users’ trust in, socio-technical systems, requirement patterns will be developed for these two aspects. For the legal requirement patterns, legal requirements that are stable concerning changes due to their origin in fundamental, higher-ranked laws will be collected, and requirement patterns will be derived from them. For the requirement patterns for trust support, antecedents that build trust will be collected, and requirement patterns that demand functionality to support these antecedents will be developed. The obtained patterns are then used to compile a requirement list that serves as input for requirements negotiation with the various stakeholders. @InProceedings{RE12p341, author = {Axel Hoffmann}, title = {A Pattern-Based Approach for Analysing Requirements in Socio-technical Systems Engineering}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {341--344}, doi = {}, year = {2012}, }
	Horkoff, Jennifer	RE '12: "Managing Requirements Uncertainty ..." Managing Requirements Uncertainty with Partial Models Rick Salay, Marsha Chechik, and Jennifer Horkoff (University of Toronto, Canada) Models are good at expressing information that is known but do not typically have support for representing what information a modeler does not know at a particular phase in the software development process. Partial models address this by being able to precisely represent uncertainty about model content. In previous work, we developed a general approach for defining partial models and applied it to capturing uncertainty, including reasoning over design models containing uncertainty. In this paper, we show how to apply our approach to managing requirements uncertainty. In particular, we address the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces and reasoning with traceability relations between models containing uncertainty. We illustrate our approach using the meeting scheduler example. @InProceedings{RE12p1, author = {Rick Salay and Marsha Chechik and Jennifer Horkoff}, title = {Managing Requirements Uncertainty with Partial Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {1--10}, doi = {}, year = {2012}, }
	Huffman Hayes, Jane	RE '12: "Process Improvement for Traceability: ..." Process Improvement for Traceability: A Study of Human Fallibility Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, and Olga Dekhtyar (University of Kentucky, USA; Cal Poly, USA) Human analysts working with results from automated traceability tools often make incorrect decisions that lead to lower quality final trace matrices. As the human must vet the results of trace tools for mission- and safety-critical systems, the hopes of developing expedient and accurate tracing procedures lies in understanding how analysts work with trace matrices. This paper describes a study to understand when and why humans make correct and incorrect decisions during tracing tasks through logs of analyst actions. In addition to the traditional measures of recall and precision to describe the accuracy of the results, we introduce and study new measures that focus on analyst work quality: potential recall, sensitivity, and effort distribution. We use these measures to visualize analyst progress towards the final trace matrix, identifying factors that may influence their performance and determining how actual tracing strategies, derived from analyst logs, affect results. @InProceedings{RE12p31, author = {Wei-Keat Kong and Jane Huffman Hayes and Alex Dekhtyar and Olga Dekhtyar}, title = {Process Improvement for Traceability: A Study of Human Fallibility}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {31--40}, doi = {}, year = {2012}, } RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }
	Hwong, Beatrice	RE '12: "Categorizing Requirements ..." Categorizing Requirements for a Contract-Based System Integration Project Xiping Song and Beatrice Hwong (Siemens, USA) Categorizing requirements based upon their aspects and stakeholder intent can help requirements engineers and other developers to group and retrieve the requirements for analyzing the aspects of concern. The analysis is essential for project planning, system verification and validation, and integration coordination. For software requirements, researchers and practitioners have identified a set of categories, such as functional, performance, safety, to categorize a requirement. In a large systems engineering and integration project comprised of not only software but also hardware and activities in other disciplines (e.g., electrical, civil engineering), we encountered many additional, different aspects of the system that need to be analyzed and thus the requirements need to be categorized for those aspects. This experience report describes the lessons learnt in categorizing requirements in this project. The report provides insights for the practical issues of the categorization and our research on how more effectively the categorization could be done. @InProceedings{RE12p279, author = {Xiping Song and Beatrice Hwong}, title = {Categorizing Requirements for a Contract-Based System Integration Project}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {279--284}, doi = {}, year = {2012}, }
	Jalman, Rina	RE '12: "On Eliciting Contribution ..." On Eliciting Contribution Measures in Goal Models Sotirios Liaskos, Rina Jalman, and Jorge Aranda (York University, Canada; University of Victoria, Canada) Goal models have been found to be useful for supporting the decision making process in the early requirements phase. Through measuring contribution degrees of low-level decisions to the fulfilment of high-level quality goals and combining them with priority statements, it is possible to compare alternative solutions of the requirements problem against each other. But where do contribution measures come from and what is the right way to combine them in order to do such analysis? In this paper we describe how full application of the Analytic Hierarchy Process (AHP) can be used to quantitatively assess contribution relationships in goal models based on stakeholder input and how we can reason about the result in order to make informed decisions. An exploratory experiment shows that the proposed procedure is feasible and offers evidence that the resulting goal model is useful for guiding a decision. It also shows that situation-specific characteristics of the requirements problem at hand may influence stakeholder input in a variety of ways, a phenomenon that may need to be studied further in the context of eliciting such models. @InProceedings{RE12p221, author = {Sotirios Liaskos and Rina Jalman and Jorge Aranda}, title = {On Eliciting Contribution Measures in Goal Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {221--230}, doi = {}, year = {2012}, }
	Jin, Zhi	RE '12: "CoFM: An Environment for Collaborative ..." CoFM: An Environment for Collaborative Feature Modeling Li Yi, Haiyan Zhao, Wei Zhang, and Zhi Jin (Peking University, China) Feature models provide an effective way to capture commonality and variability in a specific domain. Constructing a feature model needs a systematic review of existing software artifacts in a domain and is always a collaboration-intensive activity. However, existing feature modeling methods and tools lack explicit support of such collaborations. In this paper, we present an environment for feature modeling that promotes the collaboration between stakeholders as the basis of creating and evolving a feature model. We present concepts, methods, and a tool to show the feasibility of constructing feature models collaboratively, as well as how to integrate this environment with traditional feature modeling methods. @InProceedings{RE12p317, author = {Li Yi and Haiyan Zhao and Wei Zhang and Zhi Jin}, title = {CoFM: An Environment for Collaborative Feature Modeling}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {317--318}, doi = {}, year = {2012}, } RE '12: "Mining Binary Constraints ..." Mining Binary Constraints in the Construction of Feature Models Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei (Peking University, China) Feature models provide an effective way to organize and reuse requirements in a specific domain. A feature model consists of a feature tree and cross-tree constraints. Identifying features and then building a feature tree takes a lot of effort, and many semi-automated approaches have been proposed to help the situation. However, finding cross-tree constraints is often more challenging which still lacks the help of automation. In this paper, we propose an approach to mining cross-tree binary constraints in the construction of feature models. Binary constraints are the most basic kind of cross-tree constraints that involve exactly two features and can be further classified into two sub-types, i.e. requires and excludes. Given these two sub-types, a pair of any two features in a feature model falls into one of the following classes: no constraints between them, a requires between them, or an excludes between them. Therefore we perform a 3-class classification on feature pairs to mine binary constraints from features. We incorporate a support vector machine as the classifier and utilize a genetic algorithm to optimize it. We conduct a series of experiments on two feature models constructed by third parties, to evaluate the effectiveness of our approach under different conditions that might occur in practical use. Results show that we can mine binary constraints at a high recall (near 100% in most cases), which is important because finding a missing constraint is very costly in real, often large, feature models. @InProceedings{RE12p141, author = {Li Yi and Wei Zhang and Haiyan Zhao and Zhi Jin and Hong Mei}, title = {Mining Binary Constraints in the Construction of Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {141--150}, doi = {}, year = {2012}, }
	Kealey, Jason	RE '12: "Concern-Driven Development ..." Concern-Driven Development with jUCMNav Daniel Amyot, Stéphane Leblanc, Jason Kealey, and Jörg Kienzle (University of Ottawa, Canada; JUCM Software, Canada; McGill University, Canada) The User Requirements Notation (URN) enables the graphical modeling of requirements with goals and scenarios, and jUCMNav is a free, Eclipse-based tool that supports modeling and analysis with URN. Concern-Driven Development (CDD) enables requirements engineers to encapsulate and reason about concerns, whether they are crosscutting (i.e., aspects) or not. However, to truly capitalize on the benefits promised by CDD, concerns need to be encapsulated across software development phases, i.e., across different types of models at different levels of abstraction. Recently, URN was extended to support aspect-oriented concepts. This demonstration focuses on the new concern-driven modeling features of jUCMNav, together with its capabilities to compose aspects together, and to transform aspectual scenario models into design models in the Reusable Aspect Models notation. jUCMNav is hence one of the few tools that enable CDD from requirements to design. @InProceedings{RE12p319, author = {Daniel Amyot and Stéphane Leblanc and Jason Kealey and Jörg Kienzle}, title = {Concern-Driven Development with jUCMNav}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {319--320}, doi = {}, year = {2012}, }
	Kienzle, Jörg	RE '12: "Concern-Driven Development ..." Concern-Driven Development with jUCMNav Daniel Amyot, Stéphane Leblanc, Jason Kealey, and Jörg Kienzle (University of Ottawa, Canada; JUCM Software, Canada; McGill University, Canada) The User Requirements Notation (URN) enables the graphical modeling of requirements with goals and scenarios, and jUCMNav is a free, Eclipse-based tool that supports modeling and analysis with URN. Concern-Driven Development (CDD) enables requirements engineers to encapsulate and reason about concerns, whether they are crosscutting (i.e., aspects) or not. However, to truly capitalize on the benefits promised by CDD, concerns need to be encapsulated across software development phases, i.e., across different types of models at different levels of abstraction. Recently, URN was extended to support aspect-oriented concepts. This demonstration focuses on the new concern-driven modeling features of jUCMNav, together with its capabilities to compose aspects together, and to transform aspectual scenario models into design models in the Reusable Aspect Models notation. jUCMNav is hence one of the few tools that enable CDD from requirements to design. @InProceedings{RE12p319, author = {Daniel Amyot and Stéphane Leblanc and Jason Kealey and Jörg Kienzle}, title = {Concern-Driven Development with jUCMNav}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {319--320}, doi = {}, year = {2012}, }
	Klinge, Titus H.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Knauss, Alessia	RE '12: "On the Usage of Context for ..." On the Usage of Context for Requirements Elicitation: End-User Involvement in IT Ecosystems Alessia Knauss (University of Victoria, Canada) Today’s systems are faced with the need of constant evolution to remain competitive, especially when looking at IT Ecosystems and their growing number of subsystems. As a prerequisite for these to stay competitive, system providers need a clear understanding of their stakeholder’s needs. As systems tend to be increasingly complex nowadays, support an increasingly number of stakeholders, have a shorter release cycles to evolve and need to adapt to the environment and the users, some of the standard requirements elicitation techniques tend not to be suitable any more. Especially when adaptivity is necessary, system providers need to understand the context, in which the systems are used, but also the context of users for the adaptation. In this paper I concentrate on the largest stakeholder group, namely the end-users for requirements elicitation. Evaluation criteria include i) support of context, ii) scalability to large numbers of end-users, and iii) scalability to large numbers of end-user’s needs and problems that lead to new requirements. My literature review suggests that this important field is currently underrepresented in Requirements Engineering research. This research proposes to develop a framework that explains the different context types and their role for requirements elicitation. The framework is then used to investigate existing requirements elicitation techniques and their potential for considering context. It is also used to show how emerging techniques can further support requirements elicitation with context. @InProceedings{RE12p345, author = {Alessia Knauss}, title = {On the Usage of Context for Requirements Elicitation: End-User Involvement in IT Ecosystems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {345--348}, doi = {}, year = {2012}, }
	Knauss, Eric	RE '12: "Detecting and Classifying ..." Detecting and Classifying Patterns of Requirements Clarifications Eric Knauss, Daniela Damian, Germán Poo-Caamaño, and Jane Cleland-Huang (University of Victoria, Canada; DePaul University, USA) In current project environments, requirements often evolve throughout the project and are worked on by stakeholders in large and distributed teams. Such teams often use online tools such as mailing lists, bug tracking systems or online discussion forums to communicate, clarify or coordinate work on requirements. In this kind of environment, the expected evolution from initial idea, through clarification, to a stable requirement, often stagnates. When project managers are not aware of underlying problems, development may pro- ceed before requirements are fully understood and stabilized, leading to numerous implementation issues and often resulting in the need for early redesign and modification. In this paper, we present an approach to analyzing online requirements communication and a method for the detection and classification of clarification events in requirement discus- sions. We used our approach to analyze online requirements communication in the IBM Rational Team Concert (RTC) project and identified a set of six clarification patterns. Since a predominant amount of clarifications through the lifetime of a requirement is often indicative of problematic requirements, our approach lends support to project managers to assess, in real-time, the state of discussions around a requirement and promptly react to requirements problems. @InProceedings{RE12p251, author = {Eric Knauss and Daniela Damian and Germán Poo-Caamaño and Jane Cleland-Huang}, title = {Detecting and Classifying Patterns of Requirements Clarifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {251--260}, doi = {}, year = {2012}, }
	Kong, Wei-Keat	RE '12: "Process Improvement for Traceability: ..." Process Improvement for Traceability: A Study of Human Fallibility Wei-Keat Kong, Jane Huffman Hayes, Alex Dekhtyar, and Olga Dekhtyar (University of Kentucky, USA; Cal Poly, USA) Human analysts working with results from automated traceability tools often make incorrect decisions that lead to lower quality final trace matrices. As the human must vet the results of trace tools for mission- and safety-critical systems, the hopes of developing expedient and accurate tracing procedures lies in understanding how analysts work with trace matrices. This paper describes a study to understand when and why humans make correct and incorrect decisions during tracing tasks through logs of analyst actions. In addition to the traditional measures of recall and precision to describe the accuracy of the results, we introduce and study new measures that focus on analyst work quality: potential recall, sensitivity, and effort distribution. We use these measures to visualize analyst progress towards the final trace matrix, identifying factors that may influence their performance and determining how actual tracing strategies, derived from analyst logs, affect results. @InProceedings{RE12p31, author = {Wei-Keat Kong and Jane Huffman Hayes and Alex Dekhtyar and Olga Dekhtyar}, title = {Process Improvement for Traceability: A Study of Human Fallibility}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {31--40}, doi = {}, year = {2012}, }
	Koziolek, Anne	RE '12: "Identifying Outdated Requirements ..." Identifying Outdated Requirements Based on Source Code Changes Eya Ben Charrada, Anne Koziolek, and Martin Glinz (University of Zurich, Switzerland) Keeping requirements specifications up-to-date when systems evolve is a manual and expensive task. Software engineers have to go through the whole requirements document and look for the requirements that are affected by a change. Consequently, engineers usually apply changes to the implementation directly and leave requirements unchanged. In this paper, we propose an approach for automatically detecting outdated requirements based on changes in the code. Our approach first identifies the changes in the code that are likely to affect requirements. Then it extracts a set of keywords describing the changes. These keywords are traced to the requirements specification, using an existing automated traceability tool, to identify affected requirements. Automatically identifying outdated requirements reduces the effort and time needed for the maintenance of requirements specifications significantly and thus helps preserve the knowledge contained in them. We evaluated our approach in a case study where we analyzed two consecutive source code versions and were able to detect 12 requirements-related changes out of 14 with a precision of 79%. Then we traced a set of keywords we extracted from these changes to the requirements specification. In comparison to simply tracing changed classes to requirements, we got better results in most cases. @InProceedings{RE12p61, author = {Eya Ben Charrada and Anne Koziolek and Martin Glinz}, title = {Identifying Outdated Requirements Based on Source Code Changes}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {61--70}, doi = {}, year = {2012}, }
	Kukreja, Nupul	RE '12: "Selecting an Appropriate Framework ..." Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study Nupul Kukreja, Sheetal Swaroop Payyavula, Barry Boehm, and Srinivas Padmanabhuni (University of Southern California, USA; Infosys Technologies, India) There are usually more requirements than feasible in a given schedule. Thus, it’s imperative to be able to choose the most valuable ones for implementation to ensure the delivery of a high value software system. There are myriad requirements prioritization frameworks and selecting the most appropriate one is a decision problem in its own right. In this paper we present our approach in selecting the most appropriate value based requirements prioritization framework as per the requirements of our stakeholders. Based on our analysis a single framework was selected, validated by requirements engineers and project managers and deployed for company-wide use by a major IT player in India. @InProceedings{RE12p303, author = {Nupul Kukreja and Sheetal Swaroop Payyavula and Barry Boehm and Srinivas Padmanabhuni}, title = {Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {303--308}, doi = {}, year = {2012}, }
	Lamsweerde, Axel van	RE '12: "A Probabilistic Framework ..." A Probabilistic Framework for Goal-Oriented Risk Analysis Antoine Cailliau and Axel van Lamsweerde (Université Catholique de Louvain, Belgium) Requirements completeness is among the most critical and difficult software engineering challenges. Missing requirements often result from poor risk analysis at requirements engineering time. Obstacle analysis is a goal-oriented form of risk analysis aimed at anticipating exceptional conditions in which the software should behave adequately. In the identify-assess-control cycles of such analysis, the assessment step is not well supported by current techniques. This step is concerned with evaluating how likely the obstacles to goals are and how likely and severe their consequences are. Those key factors drive the selection of most appropriate countermeasures to be integrated in the system goal model for increased completeness. Moreover, obstacles to probabilistic goals are currently not supported; such goals prescribe that some corresponding target property should be satisfied in at least X% of the cases. The paper presents a probabilistic framework for goal specification and obstacle assessment. The specification language for goals and obstacles is extended with a probabilistic layer where probabilities have a precise semantics grounded on system-specific phenomena. The probability of a root obstacle to a goal is thereby computed by up-propagation of probabilities of finer-grained obstacles through the obstacle refinement tree. The probability and severity of obstacle consequences is in turn computed by up-propagation from the obstructed leaf goals through the goal refinement graph. The paper shows how the computed information can be used to prioritize obstacles for countermeasure selection towards a more complete and robust goal model. The framework is evaluated on a non-trivial carpooling support system. @InProceedings{RE12p201, author = {Antoine Cailliau and Axel van Lamsweerde}, title = {A Probabilistic Framework for Goal-Oriented Risk Analysis}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {201--210}, doi = {}, year = {2012}, }
	Lathrop, James I.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Leblanc, Stéphane	RE '12: "Concern-Driven Development ..." Concern-Driven Development with jUCMNav Daniel Amyot, Stéphane Leblanc, Jason Kealey, and Jörg Kienzle (University of Ottawa, Canada; JUCM Software, Canada; McGill University, Canada) The User Requirements Notation (URN) enables the graphical modeling of requirements with goals and scenarios, and jUCMNav is a free, Eclipse-based tool that supports modeling and analysis with URN. Concern-Driven Development (CDD) enables requirements engineers to encapsulate and reason about concerns, whether they are crosscutting (i.e., aspects) or not. However, to truly capitalize on the benefits promised by CDD, concerns need to be encapsulated across software development phases, i.e., across different types of models at different levels of abstraction. Recently, URN was extended to support aspect-oriented concepts. This demonstration focuses on the new concern-driven modeling features of jUCMNav, together with its capabilities to compose aspects together, and to transform aspectual scenario models into design models in the Reusable Aspect Models notation. jUCMNav is hence one of the few tools that enable CDD from requirements to design. @InProceedings{RE12p319, author = {Daniel Amyot and Stéphane Leblanc and Jason Kealey and Jörg Kienzle}, title = {Concern-Driven Development with jUCMNav}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {319--320}, doi = {}, year = {2012}, }
	Li, Long	RE '12: "MbFM: A Matrix-Based Tool ..." MbFM: A Matrix-Based Tool for Modeling and Configuring Feature Models Long Li, Haiyan Zhao, and Wei Zhang (Peking University, China) Feature-oriented analysis and modeling is widely accepted in software reuse, which consists of two major phases that should be taken seriously. The first is to construct a feature model, and the second is to configure products based on the feature model attained in the first. This paper presents a matrix-based approach to constructing and configuring feature models, whose main advantage is its scalability compared to traditional graphic-based feature models, and the supporting tool is presented to demonstrate its feasibility. @InProceedings{RE12p325, author = {Long Li and Haiyan Zhao and Wei Zhang}, title = {MbFM: A Matrix-Based Tool for Modeling and Configuring Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {325--326}, doi = {}, year = {2012}, }
	Liaskos, Sotirios	RE '12: "On Eliciting Contribution ..." On Eliciting Contribution Measures in Goal Models Sotirios Liaskos, Rina Jalman, and Jorge Aranda (York University, Canada; University of Victoria, Canada) Goal models have been found to be useful for supporting the decision making process in the early requirements phase. Through measuring contribution degrees of low-level decisions to the fulfilment of high-level quality goals and combining them with priority statements, it is possible to compare alternative solutions of the requirements problem against each other. But where do contribution measures come from and what is the right way to combine them in order to do such analysis? In this paper we describe how full application of the Analytic Hierarchy Process (AHP) can be used to quantitatively assess contribution relationships in goal models based on stakeholder input and how we can reason about the result in order to make informed decisions. An exploratory experiment shows that the proposed procedure is feasible and offers evidence that the resulting goal model is useful for guiding a decision. It also shows that situation-specific characteristics of the requirements problem at hand may influence stakeholder input in a variety of ways, a phenomenon that may need to be studied further in the context of eliciting such models. @InProceedings{RE12p221, author = {Sotirios Liaskos and Rina Jalman and Jorge Aranda}, title = {On Eliciting Contribution Measures in Goal Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {221--230}, doi = {}, year = {2012}, }
	Lutz, Jack H.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Lutz, Robyn R.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Mäder, Patrick	RE '12: "Breaking the Big-Bang Practice ..." Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders Jane Cleland-Huang, Patrick Mäder, Mehdi Mirakhorli, and Sorawit Amornborvornwong (DePaul University, USA; JKU Linz, Austria) In many software intensive systems traceability is used to support a variety of software engineering activities such as impact analysis, compliance verification, and requirements validation. However, in practice, traceability links are often created towards the end of the project specifically for approval or certification purposes. This practice can result in inaccurate and incomplete traces, and also means that traceability links are not available to support early development efforts. We address these problems by presenting a trace recommender system which pushes recommendations to project stakeholders as they create or modify traceable artifacts. We also introduce the novel concept of a trace obligation, which is used to track satisfaction relations between a target artifact and a set of source artifacts. We model traceability events and subsequent actions, including user recommendations, using the Business Process Modeling Notation (BPMN). We demonstrate and evaluate the efficacy of our approach through an illustrative example and a simulation conducted using the software engineering artifacts of a robotic system for supporting arm rehabilitation. Our results show that tracking trace obligations and generating trace recommendations throughout the active phases of a project can lead to early construction of traceability knowledge. @InProceedings{RE12p231, author = {Jane Cleland-Huang and Patrick Mäder and Mehdi Mirakhorli and Sorawit Amornborvornwong}, title = {Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {231--240}, doi = {}, year = {2012}, }
	Maglyas, Andrey	RE '12: "What Do Practitioners Mean ..." What Do Practitioners Mean When They Talk about Product Management? Andrey Maglyas, Uolevi Nikula, and Kari Smolander (Lappeenranta University of Technology, Finland) This industrial experience paper presents the results of a survey with an open-ended question designed to clarify how product management practitioners understand the term product management. The survey was conducted through a public LinkedIn group for a period of nine months. During this timeframe it received 201 responses. The responses were analyzed qualitatively to identify the essential components and properties of product management from the practitioners’ viewpoint. In comparison with the existing product management frameworks and definitions, the responses showed a tendency to mix product management and product marketing. Although the respondents had difficulties in naming all product management activities, we identified six that represent the core activities of product managers in the industry. The findings have implications for the evolution of product management frameworks to address the interests of a wider range of product managers and the development of common understanding on the necessary skill sets for the education and recruitment of product managers. @InProceedings{RE12p261, author = {Andrey Maglyas and Uolevi Nikula and Kari Smolander}, title = {What Do Practitioners Mean When They Talk about Product Management?}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {261--266}, doi = {}, year = {2012}, }
	Mahmoud, Anas	RE '12: "Enhancing Candidate Link Generation ..." Enhancing Candidate Link Generation for Requirements Tracing: The Cluster Hypothesis Revisited Nan Niu and Anas Mahmoud (Mississippi State University, USA) Modern requirements tracing tools employ information retrieval methods to automatically generate candidate links. Due to the inherent trade-off between recall and precision, such methods cannot achieve a high coverage without also retrieving a great number of false positives, causing a significant drop in result accuracy. In this paper, we propose an approach to improving the quality of candidate link generation for the requirements tracing process. We base our research on the cluster hypothesis which suggests that correct and incorrect links can be grouped in high-quality and low-quality clusters respectively. Result accuracy can thus be enhanced by identifying and filtering out low-quality clusters. We describe our approach by investigating three open-source datasets, and further evaluate our work through an industrial study. The results show that our approach outperforms a baseline pruning strategy and that improvements are still possible. @InProceedings{RE12p81, author = {Nan Niu and Anas Mahmoud}, title = {Enhancing Candidate Link Generation for Requirements Tracing: The Cluster Hypothesis Revisited}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {81--90}, doi = {}, year = {2012}, }
	Mathur, Divita	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Maxwell, Jeremy C.	RE '12: "Managing Changing Compliance ..." Managing Changing Compliance Requirements by Predicting Regulatory Evolution: An Adaptability Framework Jeremy C. Maxwell, Annie I. Antón, and Peter Swire (North Carolina State University, USA; Allscripts Healthcare Solutions, USA; Georgia Tech, USA; Ohio State University, USA) Over time, laws change to meet evolving social needs. Requirements engineers that develop software for regulated domains, such as healthcare or finance, must adapt their software as laws change to maintain legal compliance. In the United States, regulatory agencies will almost always release a proposed regulation, or rule, and accept comments from the public. The agency then considers these comments when drafting a final rule that will be binding on the regulated domain. Herein, we examine how these proposed rules evolve into final rules, and propose an Adaptability Framework. This framework can aid software engineers in predicting what areas of a proposed rule are most likely to evolve, allowing engineers to begin building towards the more stable sections of the rule. We develop the framework through a formative study using the Health Insurance Portability and Accountability (HIPAA) Security Rule and apply it in a summative study on the Health Information Technology: Initial Set of Standards, Implementation Specifications, and Certification Criteria for Electronic Health Record Technology. @InProceedings{RE12p101, author = {Jeremy C. Maxwell and Annie I. Antón and Peter Swire}, title = {Managing Changing Compliance Requirements by Predicting Regulatory Evolution: An Adaptability Framework}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {101--110}, doi = {}, year = {2012}, }
	Mei, Hong	RE '12: "Mining Binary Constraints ..." Mining Binary Constraints in the Construction of Feature Models Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei (Peking University, China) Feature models provide an effective way to organize and reuse requirements in a specific domain. A feature model consists of a feature tree and cross-tree constraints. Identifying features and then building a feature tree takes a lot of effort, and many semi-automated approaches have been proposed to help the situation. However, finding cross-tree constraints is often more challenging which still lacks the help of automation. In this paper, we propose an approach to mining cross-tree binary constraints in the construction of feature models. Binary constraints are the most basic kind of cross-tree constraints that involve exactly two features and can be further classified into two sub-types, i.e. requires and excludes. Given these two sub-types, a pair of any two features in a feature model falls into one of the following classes: no constraints between them, a requires between them, or an excludes between them. Therefore we perform a 3-class classification on feature pairs to mine binary constraints from features. We incorporate a support vector machine as the classifier and utilize a genetic algorithm to optimize it. We conduct a series of experiments on two feature models constructed by third parties, to evaluate the effectiveness of our approach under different conditions that might occur in practical use. Results show that we can mine binary constraints at a high recall (near 100% in most cases), which is important because finding a missing constraint is very costly in real, often large, feature models. @InProceedings{RE12p141, author = {Li Yi and Wei Zhang and Haiyan Zhao and Zhi Jin and Hong Mei}, title = {Mining Binary Constraints in the Construction of Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {141--150}, doi = {}, year = {2012}, }
	Mendizabal, Odorico Machado	RE '12: "Log-Based Approach for Performance ..." Log-Based Approach for Performance Requirements Elicitation and Prioritization Odorico Machado Mendizabal, Martin Spier, and Rodrigo Saad (FURG, Brazil; Expedia, USA; Dell, Brazil) Requirements engineering activities are a critical part of a project’s lifecycle. Success of subsequent project phases is highly dependent on good requirements definition. However, eliciting and achieving consensus on priority between all stakeholders is a complex task. Considering software development of large scale global applications, the challenges increase by the need of managing discussions between groups of stakeholders with different roles and background. This paper presents a practical approach for requirements elicitation and prioritization based on realistic user behaviors observation. It uses basic statistic analysis and application usage information to automatically identify the most relevant requirements for majority of stakeholders. An industry case illustrates the feasibility and efficiency of our approach. @InProceedings{RE12p297, author = {Odorico Machado Mendizabal and Martin Spier and Rodrigo Saad}, title = {Log-Based Approach for Performance Requirements Elicitation and Prioritization}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {297--302}, doi = {}, year = {2012}, }
	Mijnhardt, Frederik	RE '12: "Evaluating the Software Product ..." Evaluating the Software Product Management Maturity Matrix Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd (Utrecht University, Netherlands; VU University Amsterdam, Netherlands) Product managers play a pivotal role in maximizing value for software companies. To assist product managers in their activities the Software Product Management (SPM) Maturity Matrix has been created that enables product managers to benchmark their organization, assess individual processes and apply best practices to create an effective SPM environment. Although a number of case studies and expert evaluations have been performed, a large scale quantitative analysis has not yet been conducted to evaluate this instrument. This research evaluates and improves the SPM Maturity Matrix based on 62 case studies. The cases were analyzed to uncover anomalies: blocking questions, blocking levels, and undifferentiating questions. The anomalies were then discussed in a workgroup with experts which resulted in suggested improvements to address the anomalies. The suggestions of the workgroup will be used to improve the SPM Maturity Matrix. As an additional result, the case studies also provide valuable insight into the maturity of software companies in industry. @InProceedings{RE12p51, author = {Willem Bekkers and Sjaak Brinkkemper and Lucas van den Bemd and Frederik Mijnhardt and Christoph Wagner and Inge van de Weerd}, title = {Evaluating the Software Product Management Maturity Matrix}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {51--60}, doi = {}, year = {2012}, }
	Mirakhorli, Mehdi	RE '12: "Breaking the Big-Bang Practice ..." Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders Jane Cleland-Huang, Patrick Mäder, Mehdi Mirakhorli, and Sorawit Amornborvornwong (DePaul University, USA; JKU Linz, Austria) In many software intensive systems traceability is used to support a variety of software engineering activities such as impact analysis, compliance verification, and requirements validation. However, in practice, traceability links are often created towards the end of the project specifically for approval or certification purposes. This practice can result in inaccurate and incomplete traces, and also means that traceability links are not available to support early development efforts. We address these problems by presenting a trace recommender system which pushes recommendations to project stakeholders as they create or modify traceable artifacts. We also introduce the novel concept of a trace obligation, which is used to track satisfaction relations between a target artifact and a set of source artifacts. We model traceability events and subsequent actions, including user recommendations, using the Business Process Modeling Notation (BPMN). We demonstrate and evaluate the efficacy of our approach through an illustrative example and a simulation conducted using the software engineering artifacts of a robotic system for supporting arm rehabilitation. Our results show that tracking trace obligations and generating trace recommendations throughout the active phases of a project can lead to early construction of traceability knowledge. @InProceedings{RE12p231, author = {Jane Cleland-Huang and Patrick Mäder and Mehdi Mirakhorli and Sorawit Amornborvornwong}, title = {Breaking the Big-Bang Practice of Traceability: Pushing Timely Trace Recommendations to Project Stakeholders}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {231--240}, doi = {}, year = {2012}, }
	Mussbacher, Gunter	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Mylopoulos, John	RE '12: "Stateful Requirements Monitoring ..." Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, and Wenyun Zhao (Fudan University, China; Open University, UK; University of Trento, Italy) Socio-technical systems consist of human, hardware and software components that work in tandem to fulfill stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralized fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customizable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting. @InProceedings{RE12p121, author = {Lingxiao Fu and Xin Peng and Yijun Yu and John Mylopoulos and Wenyun Zhao}, title = {Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {121--130}, doi = {}, year = {2012}, }
	Naughton, Helmut	RE '12: "The Use of a Requirements ..." The Use of a Requirements Modeling Language for Industrial Applications Brian Berenbach, Florian Schneider, and Helmut Naughton (Siemens, USA; TU Munich, Germany) During model-driven requirements elicitation sessions for several commercial products, weaknesses were identified with available modeling languages such as UML and SysML. Continued frustration when attempting to use the UML for requirements capture eventually resulted in collaboration between Siemens and Technische Universität München (TUM) to define a new visual requirements language called the Unified Requirements Modeling Language (URML). This paper describes some of the rationale behind the development of the URML, highlights some of the more unusual features of the language, and, finally, describes its use on a commercial project. @InProceedings{RE12p285, author = {Brian Berenbach and Florian Schneider and Helmut Naughton}, title = {The Use of a Requirements Modeling Language for Industrial Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {285--290}, doi = {}, year = {2012}, }
	Niknafs, Ali	RE '12: "The Impact of Domain Knowledge ..." The Impact of Domain Knowledge on the Effectiveness of Requirements Idea Generation during Requirements Elicitation Ali Niknafs and Daniel M. Berry (University of Waterloo, Canada) It is believed that the effectiveness of requirements engineering activities depends at least partially on the individuals involved. One of the factors that seems to influence an individual’s effectiveness in requirements engineering activities is knowledge of the problem being solved, i.e., domain knowledge. While a requirements engineer’s having in-depth domain knowledge helps him or her to understand the problem easier, he or she can fall for tacit assumptions of the domain and might overlook issues that are obvious to domain experts. This paper describes a controlled experiment to test the hypothesis that adding to a requirements elicitation team for a computer-based system in a particular domain, requirements analysts that are ignorant of the domain improves the effectiveness of the requirements elicitation team. The results, although not conclusive, show some support for accepting the hypothesis. The results were analyzed also to determine the effect of creativity, industrial experience, and requirements engineering experience. The results suggest other hypotheses to be studied in the future. @InProceedings{RE12p181, author = {Ali Niknafs and Daniel M. Berry}, title = {The Impact of Domain Knowledge on the Effectiveness of Requirements Idea Generation during Requirements Elicitation}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {181--190}, doi = {}, year = {2012}, }
	Nikula, Uolevi	RE '12: "What Do Practitioners Mean ..." What Do Practitioners Mean When They Talk about Product Management? Andrey Maglyas, Uolevi Nikula, and Kari Smolander (Lappeenranta University of Technology, Finland) This industrial experience paper presents the results of a survey with an open-ended question designed to clarify how product management practitioners understand the term product management. The survey was conducted through a public LinkedIn group for a period of nine months. During this timeframe it received 201 responses. The responses were analyzed qualitatively to identify the essential components and properties of product management from the practitioners’ viewpoint. In comparison with the existing product management frameworks and definitions, the responses showed a tendency to mix product management and product marketing. Although the respondents had difficulties in naming all product management activities, we identified six that represent the core activities of product managers in the industry. The findings have implications for the evolution of product management frameworks to address the interests of a wider range of product managers and the development of common understanding on the necessary skill sets for the education and recruitment of product managers. @InProceedings{RE12p261, author = {Andrey Maglyas and Uolevi Nikula and Kari Smolander}, title = {What Do Practitioners Mean When They Talk about Product Management?}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {261--266}, doi = {}, year = {2012}, }
	Niu, Nan	RE '12: "ReCVisu: A Tool for Clustering-Based ..." ReCVisu: A Tool for Clustering-Based Visual Exploration of Requirements Sandeep Reddivari, Zhangji Chen, and Nan Niu (Mississippi State University, USA) Clustering is of great practical value in discovering natural groupings of large numbers of requirements artifacts. Clustering-based visualization has shown promise in supporting requirements tracing. In this paper, we transform the success to a wider range of clustering-based visual exploration tasks in requirements engineering. We describe ReCVisu, a requirements exploration tool based on quantitative visualizations. We discuss the key features of ReCVisu and its potential improvements over previous work. @InProceedings{RE12p327, author = {Sandeep Reddivari and Zhangji Chen and Nan Niu}, title = {ReCVisu: A Tool for Clustering-Based Visual Exploration of Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {327--328}, doi = {}, year = {2012}, } RE '12: "Enhancing Candidate Link Generation ..." Enhancing Candidate Link Generation for Requirements Tracing: The Cluster Hypothesis Revisited Nan Niu and Anas Mahmoud (Mississippi State University, USA) Modern requirements tracing tools employ information retrieval methods to automatically generate candidate links. Due to the inherent trade-off between recall and precision, such methods cannot achieve a high coverage without also retrieving a great number of false positives, causing a significant drop in result accuracy. In this paper, we propose an approach to improving the quality of candidate link generation for the requirements tracing process. We base our research on the cluster hypothesis which suggests that correct and incorrect links can be grouped in high-quality and low-quality clusters respectively. Result accuracy can thus be enhanced by identifying and filtering out low-quality clusters. We describe our approach by investigating three open-source datasets, and further evaluate our work through an industrial study. The results show that our approach outperforms a baseline pruning strategy and that improvements are still possible. @InProceedings{RE12p81, author = {Nan Niu and Anas Mahmoud}, title = {Enhancing Candidate Link Generation for Requirements Tracing: The Cluster Hypothesis Revisited}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {81--90}, doi = {}, year = {2012}, }
	Nuseibeh, Bashar	RE '12: "Speculative Requirements: ..." Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements Hui Yang, Anne De Roeck, Vincenzo Gervasi, Alistair Willis, and Bashar Nuseibeh (Open University, UK; University of Pisa, Italy; Lero, Ireland) Stakeholders frequently use speculative language when they need to convey their requirements with some degree of uncertainty. Due to the intrinsic vagueness of speculative language, speculative requirements risk being misunderstood, and related uncertainty overlooked, and may benefit from careful treatment in the requirements engineering process. In this paper, we present a linguistically-oriented approach to automatic detection of uncertainty in natural language (NL) requirements. Our approach comprises two stages. First we identify speculative sentences by applying a machine learning algorithm called Conditional Random Fields (CRFs) to identify uncertainty cues. The algorithm exploits a rich set of lexical and syntactic features extracted from requirements sentences. Second, we try to determine the scope of uncertainty. We use a rule-based approach that draws on a set of hand-crafted linguistic heuristics to determine the uncertainty scope with the help of dependency structures present in the sentence parse tree. We report on a series of experiments we conducted to evaluate the performance and usefulness of our system. @InProceedings{RE12p11, author = {Hui Yang and Anne De Roeck and Vincenzo Gervasi and Alistair Willis and Bashar Nuseibeh}, title = {Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {11--20}, doi = {}, year = {2012}, } RE '12: "Requirements-Driven Adaptive ..." Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Raian Ali, and Bashar Nuseibeh (Lero, Ireland; Bournemouth University, UK; Open University, UK) Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process -- from modeling threats and attacks, discovering existing vulnerabilities, to selecting appropriate countermeasures. However, despite their crucial role, assets are often neglected during the development of secure software systems. Indeed, many systems are designed with fixed security boundaries and assumptions, without the possibility to adapt when assets change unexpectedly, new threats arise, or undiscovered vulnerabilities are revealed. To handle such changes, systems must be capable of dynamically enabling different security countermeasures. This paper promotes assets as first-class entities in engineering secure software systems. An asset model is related to requirements, expressed through a goal model, and the objectives of an attacker, expressed through a threat model. These models are then used as input to build a causal network to analyze system security in different situations, and to enable, when necessary, a set of countermeasures to mitigate security threats. The causal network is conceived as a runtime entity that tracks relevant changes that may arise at runtime, and enables a new set of countermeasures. We illustrate and evaluate our proposed approach by applying it to a substantive example concerned with security of mobile phones. @InProceedings{RE12p111, author = {Mazeiar Salehie and Liliana Pasquale and Inah Omoronyia and Raian Ali and Bashar Nuseibeh}, title = {Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {111--120}, doi = {}, year = {2012}, } RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Omoronyia, Inah	RE '12: "Requirements-Driven Adaptive ..." Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Raian Ali, and Bashar Nuseibeh (Lero, Ireland; Bournemouth University, UK; Open University, UK) Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process -- from modeling threats and attacks, discovering existing vulnerabilities, to selecting appropriate countermeasures. However, despite their crucial role, assets are often neglected during the development of secure software systems. Indeed, many systems are designed with fixed security boundaries and assumptions, without the possibility to adapt when assets change unexpectedly, new threats arise, or undiscovered vulnerabilities are revealed. To handle such changes, systems must be capable of dynamically enabling different security countermeasures. This paper promotes assets as first-class entities in engineering secure software systems. An asset model is related to requirements, expressed through a goal model, and the objectives of an attacker, expressed through a threat model. These models are then used as input to build a causal network to analyze system security in different situations, and to enable, when necessary, a set of countermeasures to mitigate security threats. The causal network is conceived as a runtime entity that tracks relevant changes that may arise at runtime, and enables a new set of countermeasures. We illustrate and evaluate our proposed approach by applying it to a substantive example concerned with security of mobile phones. @InProceedings{RE12p111, author = {Mazeiar Salehie and Liliana Pasquale and Inah Omoronyia and Raian Ali and Bashar Nuseibeh}, title = {Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {111--120}, doi = {}, year = {2012}, } RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Ott, Daniel	RE '12: "Defects in Natural Language ..." Defects in Natural Language Requirement Specifications at Mercedes-Benz: An Investigation Using a Combination of Legacy Data and Expert Opinion Daniel Ott (Daimler, Germany) Natural language (NL) requirement specifications are widely used in industry, but ensuring high quality in these specifications is not easy. This work investigates in an empirical study the typical defect type distributions in current NL requirement specifications. For this study, more than 5,800 review-protocol-entries that originate from reviews of real automotive specifications according to a quality-model were categorized by us at Mercedes-Benz. As a result, we obtained (a) a typical defect type distribution in NL specifications in the automotive domain, (b) correlations of quality criteria to defect severity, (c) indicators on ease of handling quality criteria in the review-process and (d) information on time needed for defect correction with respect to quality criteria. To validate the findings from the data analysis, we additionally conducted 15 interviews with quality managers. The results confirm quantitatively that the most critical and important quality criteria in the investigated NL requirement specifications are consistency, completeness, and correctness. @InProceedings{RE12p291, author = {Daniel Ott}, title = {Defects in Natural Language Requirement Specifications at Mercedes-Benz: An Investigation Using a Combination of Legacy Data and Expert Opinion}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {291--296}, doi = {}, year = {2012}, }
	Padmanabhuni, Srinivas	RE '12: "Selecting an Appropriate Framework ..." Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study Nupul Kukreja, Sheetal Swaroop Payyavula, Barry Boehm, and Srinivas Padmanabhuni (University of Southern California, USA; Infosys Technologies, India) There are usually more requirements than feasible in a given schedule. Thus, it’s imperative to be able to choose the most valuable ones for implementation to ensure the delivery of a high value software system. There are myriad requirements prioritization frameworks and selecting the most appropriate one is a decision problem in its own right. In this paper we present our approach in selecting the most appropriate value based requirements prioritization framework as per the requirements of our stakeholders. Based on our analysis a single framework was selected, validated by requirements engineers and project managers and deployed for company-wide use by a major IT player in India. @InProceedings{RE12p303, author = {Nupul Kukreja and Sheetal Swaroop Payyavula and Barry Boehm and Srinivas Padmanabhuni}, title = {Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {303--308}, doi = {}, year = {2012}, }
	Paja, Elda	RE '12: "STS-Tool: Socio-technical ..." STS-Tool: Socio-technical Security Requirements through Social Commitments Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, and Paolo Giorgini (University of Trento, Italy) Security Requirements Engineering (SRE) deals with the elicitation and analysis of security needs to specify security requirements for the system-to-be. In previous work, we have presented STS-ml, a security requirements modelling language for Socio-Technical Systems (STSs) that elicits security needs, using a goal-oriented approach, and derives the security requirements specification based on these needs. Particularly, STS-ml relates security to the interaction among actors in the STS. In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml. STS-Tool allows designers to model a STS at a high-level of abstraction, while expressing security needs over the interactions between the actors in the STS, and derive security requirements in terms of social commitments—promises with contractual validity—once the modelling is done. @InProceedings{RE12p331, author = {Elda Paja and Fabiano Dalpiaz and Mauro Poggianella and Pierluigi Roberti and Paolo Giorgini}, title = {STS-Tool: Socio-technical Security Requirements through Social Commitments}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {331--332}, doi = {}, year = {2012}, }
	Pasquale, Liliana	RE '12: "Requirements-Driven Adaptive ..." Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Raian Ali, and Bashar Nuseibeh (Lero, Ireland; Bournemouth University, UK; Open University, UK) Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process -- from modeling threats and attacks, discovering existing vulnerabilities, to selecting appropriate countermeasures. However, despite their crucial role, assets are often neglected during the development of secure software systems. Indeed, many systems are designed with fixed security boundaries and assumptions, without the possibility to adapt when assets change unexpectedly, new threats arise, or undiscovered vulnerabilities are revealed. To handle such changes, systems must be capable of dynamically enabling different security countermeasures. This paper promotes assets as first-class entities in engineering secure software systems. An asset model is related to requirements, expressed through a goal model, and the objectives of an attacker, expressed through a threat model. These models are then used as input to build a causal network to analyze system security in different situations, and to enable, when necessary, a set of countermeasures to mitigate security threats. The causal network is conceived as a runtime entity that tracks relevant changes that may arise at runtime, and enables a new set of countermeasures. We illustrate and evaluate our proposed approach by applying it to a substantive example concerned with security of mobile phones. @InProceedings{RE12p111, author = {Mazeiar Salehie and Liliana Pasquale and Inah Omoronyia and Raian Ali and Bashar Nuseibeh}, title = {Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {111--120}, doi = {}, year = {2012}, }
	Payyavula, Sheetal Swaroop	RE '12: "Selecting an Appropriate Framework ..." Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study Nupul Kukreja, Sheetal Swaroop Payyavula, Barry Boehm, and Srinivas Padmanabhuni (University of Southern California, USA; Infosys Technologies, India) There are usually more requirements than feasible in a given schedule. Thus, it’s imperative to be able to choose the most valuable ones for implementation to ensure the delivery of a high value software system. There are myriad requirements prioritization frameworks and selecting the most appropriate one is a decision problem in its own right. In this paper we present our approach in selecting the most appropriate value based requirements prioritization framework as per the requirements of our stakeholders. Based on our analysis a single framework was selected, validated by requirements engineers and project managers and deployed for company-wide use by a major IT player in India. @InProceedings{RE12p303, author = {Nupul Kukreja and Sheetal Swaroop Payyavula and Barry Boehm and Srinivas Padmanabhuni}, title = {Selecting an Appropriate Framework for Value-Based Requirements Prioritization: A Case Study}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {303--308}, doi = {}, year = {2012}, }
	Peng, Xin	RE '12: "Stateful Requirements Monitoring ..." Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, and Wenyun Zhao (Fudan University, China; Open University, UK; University of Trento, Italy) Socio-technical systems consist of human, hardware and software components that work in tandem to fulfill stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralized fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customizable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting. @InProceedings{RE12p121, author = {Lingxiao Fu and Xin Peng and Yijun Yu and John Mylopoulos and Wenyun Zhao}, title = {Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {121--130}, doi = {}, year = {2012}, }
	Petriu, Dorina	RE '12: "Tool Support for Combined ..." Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems Mira Vrbaski, Dorina Petriu, and Daniel Amyot (Carleton University, Canada; University of Ottawa, Canada) Context-aware systems often use rule-based reasoning engines for decision making without involving explicit interaction with the user. While rule-based systems excel in filtering out unsuitable solutions based on clear criteria, it is difficult to rank suitable solutions based on vague, qualitative criteria with a rule-based approach. Moreover, the description of such systems is typically ad-hoc without well-defined modeling tasks. CARGO (Context-Aware Reasoning using Goal-Orientation) aims to address these problems by combining rule-based and goal-based reasoning as well as scenario-based modeling to provide a more comprehensive way to define context-aware systems and to process contextual information. This demo presents CARGO, a modeling, simulation, and execution environment for context-aware systems built on existing tool support for the User Requirements Notation. @InProceedings{RE12p335, author = {Mira Vrbaski and Dorina Petriu and Daniel Amyot}, title = {Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {335--336}, doi = {}, year = {2012}, }
	Poggianella, Mauro	RE '12: "STS-Tool: Socio-technical ..." STS-Tool: Socio-technical Security Requirements through Social Commitments Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, and Paolo Giorgini (University of Trento, Italy) Security Requirements Engineering (SRE) deals with the elicitation and analysis of security needs to specify security requirements for the system-to-be. In previous work, we have presented STS-ml, a security requirements modelling language for Socio-Technical Systems (STSs) that elicits security needs, using a goal-oriented approach, and derives the security requirements specification based on these needs. Particularly, STS-ml relates security to the interaction among actors in the STS. In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml. STS-Tool allows designers to model a STS at a high-level of abstraction, while expressing security needs over the interactions between the actors in the STS, and derive security requirements in terms of social commitments—promises with contractual validity—once the modelling is done. @InProceedings{RE12p331, author = {Elda Paja and Fabiano Dalpiaz and Mauro Poggianella and Pierluigi Roberti and Paolo Giorgini}, title = {STS-Tool: Socio-technical Security Requirements through Social Commitments}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {331--332}, doi = {}, year = {2012}, }
	Poo-Caamaño, Germán	RE '12: "Detecting and Classifying ..." Detecting and Classifying Patterns of Requirements Clarifications Eric Knauss, Daniela Damian, Germán Poo-Caamaño, and Jane Cleland-Huang (University of Victoria, Canada; DePaul University, USA) In current project environments, requirements often evolve throughout the project and are worked on by stakeholders in large and distributed teams. Such teams often use online tools such as mailing lists, bug tracking systems or online discussion forums to communicate, clarify or coordinate work on requirements. In this kind of environment, the expected evolution from initial idea, through clarification, to a stable requirement, often stagnates. When project managers are not aware of underlying problems, development may pro- ceed before requirements are fully understood and stabilized, leading to numerous implementation issues and often resulting in the need for early redesign and modification. In this paper, we present an approach to analyzing online requirements communication and a method for the detection and classification of clarification events in requirement discus- sions. We used our approach to analyze online requirements communication in the IBM Rational Team Concert (RTC) project and identified a set of six clarification patterns. Since a predominant amount of clarifications through the lifetime of a requirement is often indicative of problematic requirements, our approach lends support to project managers to assess, in real-time, the state of discussions around a requirement and promptly react to requirements problems. @InProceedings{RE12p251, author = {Eric Knauss and Daniela Damian and Germán Poo-Caamaño and Jane Cleland-Huang}, title = {Detecting and Classifying Patterns of Requirements Clarifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {251--260}, doi = {}, year = {2012}, }
	Price, Blaine A.	RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Reddivari, Sandeep	RE '12: "ReCVisu: A Tool for Clustering-Based ..." ReCVisu: A Tool for Clustering-Based Visual Exploration of Requirements Sandeep Reddivari, Zhangji Chen, and Nan Niu (Mississippi State University, USA) Clustering is of great practical value in discovering natural groupings of large numbers of requirements artifacts. Clustering-based visualization has shown promise in supporting requirements tracing. In this paper, we transform the success to a wider range of clustering-based visual exploration tasks in requirements engineering. We describe ReCVisu, a requirements exploration tool based on quantitative visualizations. We discuss the key features of ReCVisu and its potential improvements over previous work. @InProceedings{RE12p327, author = {Sandeep Reddivari and Zhangji Chen and Nan Niu}, title = {ReCVisu: A Tool for Clustering-Based Visual Exploration of Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {327--328}, doi = {}, year = {2012}, }
	Richards, Greg	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Riegel, Norman	RE '12: "Model-Based Prioritization ..." Model-Based Prioritization in Business-Process-Driven Software Development Norman Riegel (Fraunhofer IESE, Germany) Requirements engineers in business-process-driven software development are faced with the challenge of letting stakeholders determine which requirements are actually relevant for early business success and should be considered first or even at all during the elicitation and analysis activities. In the area of requirements engineering (RE) and release planning, prioritization is an established strategy for achieving this goal. Available prioritization approaches, however, do not consider all idiosyncrasies of business-process-driven software development. This lack of appropriate prioritization leads to effort often being spent on (RE) activities of minor importance. To support the requirements engineer in overcoming this problem, the idea of applying different models during prioritization is introduced, which shall bring it to a more reliable basis. Through this notion it is expected to reduce unnecessary (RE) activities by focusing on the most important requirements. @InProceedings{RE12p349, author = {Norman Riegel}, title = {Model-Based Prioritization in Business-Process-Driven Software Development}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {349--352}, doi = {}, year = {2012}, }
	Roberti, Pierluigi	RE '12: "STS-Tool: Socio-technical ..." STS-Tool: Socio-technical Security Requirements through Social Commitments Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, and Paolo Giorgini (University of Trento, Italy) Security Requirements Engineering (SRE) deals with the elicitation and analysis of security needs to specify security requirements for the system-to-be. In previous work, we have presented STS-ml, a security requirements modelling language for Socio-Technical Systems (STSs) that elicits security needs, using a goal-oriented approach, and derives the security requirements specification based on these needs. Particularly, STS-ml relates security to the interaction among actors in the STS. In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml. STS-Tool allows designers to model a STS at a high-level of abstraction, while expressing security needs over the interactions between the actors in the STS, and derive security requirements in terms of social commitments—promises with contractual validity—once the modelling is done. @InProceedings{RE12p331, author = {Elda Paja and Fabiano Dalpiaz and Mauro Poggianella and Pierluigi Roberti and Paolo Giorgini}, title = {STS-Tool: Socio-technical Security Requirements through Social Commitments}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {331--332}, doi = {}, year = {2012}, }
	S, Ramesh	RE '12: "Resolving Uncertainty in Automotive ..." Resolving Uncertainty in Automotive Feature Interactions Silky Arora, Prahladavaradan Sampath, and Ramesh S (General Motors, India) The modern automobile is a complex electronic system with a number of features providing functionalities for driver and passenger convenience, control of the vehicle, and safety of the occupants. As new features are developed and introduced into the automobile, they interact with already existing features, sometimes resulting in undesirable behaviours. These undesirable interactions are often detected very late in the development cycle, or sometimes even in the field. This introduces uncertainty in the system development process as changes to address these interactions often result in a cascading series of changes whose scope is difficult to predict. This paper presents a method and algorithms for identifying and resolving feature interactions early in the development life-cycle by addressing the problem at the level of requirements specifications. We have applied this method successfully in the automotive domain and present a case study of detecting and resolving feature interactions. @InProceedings{RE12p21, author = {Silky Arora and Prahladavaradan Sampath and Ramesh S}, title = {Resolving Uncertainty in Automotive Feature Interactions}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {21--30}, doi = {}, year = {2012}, }
	Saad, Rodrigo	RE '12: "Log-Based Approach for Performance ..." Log-Based Approach for Performance Requirements Elicitation and Prioritization Odorico Machado Mendizabal, Martin Spier, and Rodrigo Saad (FURG, Brazil; Expedia, USA; Dell, Brazil) Requirements engineering activities are a critical part of a project’s lifecycle. Success of subsequent project phases is highly dependent on good requirements definition. However, eliciting and achieving consensus on priority between all stakeholders is a complex task. Considering software development of large scale global applications, the challenges increase by the need of managing discussions between groups of stakeholders with different roles and background. This paper presents a practical approach for requirements elicitation and prioritization based on realistic user behaviors observation. It uses basic statistic analysis and application usage information to automatically identify the most relevant requirements for majority of stakeholders. An industry case illustrates the feasibility and efficiency of our approach. @InProceedings{RE12p297, author = {Odorico Machado Mendizabal and Martin Spier and Rodrigo Saad}, title = {Log-Based Approach for Performance Requirements Elicitation and Prioritization}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {297--302}, doi = {}, year = {2012}, }
	Salay, Rick	RE '12: "Managing Requirements Uncertainty ..." Managing Requirements Uncertainty with Partial Models Rick Salay, Marsha Chechik, and Jennifer Horkoff (University of Toronto, Canada) Models are good at expressing information that is known but do not typically have support for representing what information a modeler does not know at a particular phase in the software development process. Partial models address this by being able to precisely represent uncertainty about model content. In previous work, we developed a general approach for defining partial models and applied it to capturing uncertainty, including reasoning over design models containing uncertainty. In this paper, we show how to apply our approach to managing requirements uncertainty. In particular, we address the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces and reasoning with traceability relations between models containing uncertainty. We illustrate our approach using the meeting scheduler example. @InProceedings{RE12p1, author = {Rick Salay and Marsha Chechik and Jennifer Horkoff}, title = {Managing Requirements Uncertainty with Partial Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {1--10}, doi = {}, year = {2012}, }
	Salehie, Mazeiar	RE '12: "Requirements-Driven Adaptive ..." Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime Mazeiar Salehie, Liliana Pasquale, Inah Omoronyia, Raian Ali, and Bashar Nuseibeh (Lero, Ireland; Bournemouth University, UK; Open University, UK) Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process -- from modeling threats and attacks, discovering existing vulnerabilities, to selecting appropriate countermeasures. However, despite their crucial role, assets are often neglected during the development of secure software systems. Indeed, many systems are designed with fixed security boundaries and assumptions, without the possibility to adapt when assets change unexpectedly, new threats arise, or undiscovered vulnerabilities are revealed. To handle such changes, systems must be capable of dynamically enabling different security countermeasures. This paper promotes assets as first-class entities in engineering secure software systems. An asset model is related to requirements, expressed through a goal model, and the objectives of an attacker, expressed through a threat model. These models are then used as input to build a causal network to analyze system security in different situations, and to enable, when necessary, a set of countermeasures to mitigate security threats. The causal network is conceived as a runtime entity that tracks relevant changes that may arise at runtime, and enables a new set of countermeasures. We illustrate and evaluate our proposed approach by applying it to a substantive example concerned with security of mobile phones. @InProceedings{RE12p111, author = {Mazeiar Salehie and Liliana Pasquale and Inah Omoronyia and Raian Ali and Bashar Nuseibeh}, title = {Requirements-Driven Adaptive Security: Protecting Variable Assets at Runtime}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {111--120}, doi = {}, year = {2012}, }
	Sampath, Prahladavaradan	RE '12: "Resolving Uncertainty in Automotive ..." Resolving Uncertainty in Automotive Feature Interactions Silky Arora, Prahladavaradan Sampath, and Ramesh S (General Motors, India) The modern automobile is a complex electronic system with a number of features providing functionalities for driver and passenger convenience, control of the vehicle, and safety of the occupants. As new features are developed and introduced into the automobile, they interact with already existing features, sometimes resulting in undesirable behaviours. These undesirable interactions are often detected very late in the development cycle, or sometimes even in the field. This introduces uncertainty in the system development process as changes to address these interactions often result in a cascading series of changes whose scope is difficult to predict. This paper presents a method and algorithms for identifying and resolving feature interactions early in the development life-cycle by addressing the problem at the level of requirements specifications. We have applied this method successfully in the automotive domain and present a case study of detecting and resolving feature interactions. @InProceedings{RE12p21, author = {Silky Arora and Prahladavaradan Sampath and Ramesh S}, title = {Resolving Uncertainty in Automotive Feature Interactions}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {21--30}, doi = {}, year = {2012}, }
	Savolainen, Juha	RE '12: "Requirements Reuse at Danfoss ..." Requirements Reuse at Danfoss Dagny Hauksdottir, Arne Vermehren, and Juha Savolainen (Danfoss Power Electronics, Denmark) Requirements engineering is an essential activity in creating embedded real-time systems. Companies that produce a number of partially similar products can reduce development time and cost, improve quality and simplify software maintenance by applying reuse practices. Requirements reuse is an essential enabler to achieve effective software reuse. This study describes two different approaches for requirements reuse at Danfoss. The first approach reuses those requirements that are envisioned to be common between two consecutive projects and allows changing and parameterization of parts of the requirements. The second approach organizes all requirements into a common model and explicitly manages variability and different requirement variants in this common model. The results show that both approaches can result in significant savings in reduced effort by reusing common requirements. The first approach was found to be effective when the domain maturity is low and the significant set of requirements were changed from project to project. The second approach allows high reuse potential and significant savings for stable domains, where most requirements tend to be small additions or minor changes of existing requirements. @InProceedings{RE12p309, author = {Dagny Hauksdottir and Arne Vermehren and Juha Savolainen}, title = {Requirements Reuse at Danfoss}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {309--314}, doi = {}, year = {2012}, }
	Schneider, Florian	RE '12: "The Use of a Requirements ..." The Use of a Requirements Modeling Language for Industrial Applications Brian Berenbach, Florian Schneider, and Helmut Naughton (Siemens, USA; TU Munich, Germany) During model-driven requirements elicitation sessions for several commercial products, weaknesses were identified with available modeling languages such as UML and SysML. Continued frustration when attempting to use the UML for requirements capture eventually resulted in collaboration between Siemens and Technische Universität München (TUM) to define a new visual requirements language called the Unified Requirements Modeling Language (URML). This paper describes some of the rationale behind the development of the URML, highlights some of the more unusual features of the language, and, finally, describes its use on a commercial project. @InProceedings{RE12p285, author = {Brian Berenbach and Florian Schneider and Helmut Naughton}, title = {The Use of a Requirements Modeling Language for Industrial Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {285--290}, doi = {}, year = {2012}, }
	Seyff, Norbert	RE '12: "Flexible, Lightweight Requirements ..." Flexible, Lightweight Requirements Modeling with FlexiSketch Dustin Wüest, Norbert Seyff, and Martin Glinz (University of Zurich, Switzerland) @InProceedings{RE12p323, author = {Dustin Wüest and Norbert Seyff and Martin Glinz}, title = {Flexible, Lightweight Requirements Modeling with FlexiSketch}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {323--322}, doi = {}, year = {2012}, }
	Shaker, Pourya	RE '12: "A Feature-Oriented Requirements ..." A Feature-Oriented Requirements Modelling Language Pourya Shaker, Joanne M. Atlee, and Shige Wang (University of Waterloo, Canada; General Motors, USA) In this paper, we present a feature-oriented requirements modelling language (FORML) for modelling the behavioural requirements of a software product line. FORML aims to support feature modularity and precise requirements modelling, and to ease the task of adding new features to a set of existing requirements. In particular, FORML decomposes a product line’s requirements into feature modules, and provides language support for specifying tightly-coupled features as model fragments that extend and override existing feature modules. We discuss how decisions in the design of FORML affect the evolvability of requirements models, and explicate the specification of intended interactions among related features. We applied FORML to the specification of two feature sets, automotive and telephony, and we discuss how well the case studies exercised the language and how the requirements models evolved over the course of the case studies. @InProceedings{RE12p151, author = {Pourya Shaker and Joanne M. Atlee and Shige Wang}, title = {A Feature-Oriented Requirements Modelling Language}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {151--160}, doi = {}, year = {2012}, }
	Shamsaei, Azalia	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Sharifloo, Amir Molzam	RE '12: "Efficient Consistency Checking ..." Efficient Consistency Checking of Scenario-Based Product-Line Specifications Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, and Patrick Heymans (Politecnico di Milano, Italy; University of Namur, Belgium) Modern technical systems typically consist of multiple components and must provide many functions that are realized by the complex interaction of these components. Moreover, very often not only a single product, but a whole product line with different compositions of components and functions must be developed. To cope with this complexity, it is important that engineers have intuitive, but precise means for specifying the requirements for these systems and have tools for automatically finding inconsistencies within the requirements, because these could lead to costly iterations in the later development. We propose a technique for the scenario-based specification of component interactions based on Modal Sequence Diagrams. Moreover, we developed an efficient technique for automatically finding inconsistencies in the scenario-based specification of many variants at once by exploiting recent advances in the model-checking of product lines. Our evaluation shows benefits of this technique over performing individual consistency checking of each variant specification. @InProceedings{RE12p161, author = {Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans}, title = {Efficient Consistency Checking of Scenario-Based Product-Line Specifications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {161--170}, doi = {}, year = {2012}, }
	Śmiałek, Michał	RE '12: "Facilitating Transition from ..." Facilitating Transition from Requirements to Code with the ReDSeeDS Tool Michał Śmiałek and Tomasz Straszak (Warsaw University of Technology, Poland) @InProceedings{RE12p321, author = {Michał Śmiałek and Tomasz Straszak}, title = {Facilitating Transition from Requirements to Code with the ReDSeeDS Tool}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {321--320}, doi = {}, year = {2012}, }
	Smolander, Kari	RE '12: "What Do Practitioners Mean ..." What Do Practitioners Mean When They Talk about Product Management? Andrey Maglyas, Uolevi Nikula, and Kari Smolander (Lappeenranta University of Technology, Finland) This industrial experience paper presents the results of a survey with an open-ended question designed to clarify how product management practitioners understand the term product management. The survey was conducted through a public LinkedIn group for a period of nine months. During this timeframe it received 201 responses. The responses were analyzed qualitatively to identify the essential components and properties of product management from the practitioners’ viewpoint. In comparison with the existing product management frameworks and definitions, the responses showed a tendency to mix product management and product marketing. Although the respondents had difficulties in naming all product management activities, we identified six that represent the core activities of product managers in the industry. The findings have implications for the evolution of product management frameworks to address the interests of a wider range of product managers and the development of common understanding on the necessary skill sets for the education and recruitment of product managers. @InProceedings{RE12p261, author = {Andrey Maglyas and Uolevi Nikula and Kari Smolander}, title = {What Do Practitioners Mean When They Talk about Product Management?}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {261--266}, doi = {}, year = {2012}, }
	Song, Xiping	RE '12: "Categorizing Requirements ..." Categorizing Requirements for a Contract-Based System Integration Project Xiping Song and Beatrice Hwong (Siemens, USA) Categorizing requirements based upon their aspects and stakeholder intent can help requirements engineers and other developers to group and retrieve the requirements for analyzing the aspects of concern. The analysis is essential for project planning, system verification and validation, and integration coordination. For software requirements, researchers and practitioners have identified a set of categories, such as functional, performance, safety, to categorize a requirement. In a large systems engineering and integration project comprised of not only software but also hardware and activities in other disciplines (e.g., electrical, civil engineering), we encountered many additional, different aspects of the system that need to be analyzed and thus the requirements need to be categorized for those aspects. This experience report describes the lessons learnt in categorizing requirements in this project. The report provides insights for the practical issues of the categorization and our research on how more effectively the categorization could be done. @InProceedings{RE12p279, author = {Xiping Song and Beatrice Hwong}, title = {Categorizing Requirements for a Contract-Based System Integration Project}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {279--284}, doi = {}, year = {2012}, }
	Spier, Martin	RE '12: "Log-Based Approach for Performance ..." Log-Based Approach for Performance Requirements Elicitation and Prioritization Odorico Machado Mendizabal, Martin Spier, and Rodrigo Saad (FURG, Brazil; Expedia, USA; Dell, Brazil) Requirements engineering activities are a critical part of a project’s lifecycle. Success of subsequent project phases is highly dependent on good requirements definition. However, eliciting and achieving consensus on priority between all stakeholders is a complex task. Considering software development of large scale global applications, the challenges increase by the need of managing discussions between groups of stakeholders with different roles and background. This paper presents a practical approach for requirements elicitation and prioritization based on realistic user behaviors observation. It uses basic statistic analysis and application usage information to automatically identify the most relevant requirements for majority of stakeholders. An industry case illustrates the feasibility and efficiency of our approach. @InProceedings{RE12p297, author = {Odorico Machado Mendizabal and Martin Spier and Rodrigo Saad}, title = {Log-Based Approach for Performance Requirements Elicitation and Prioritization}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {297--302}, doi = {}, year = {2012}, }
	Straszak, Tomasz	RE '12: "Facilitating Transition from ..." Facilitating Transition from Requirements to Code with the ReDSeeDS Tool Michał Śmiałek and Tomasz Straszak (Warsaw University of Technology, Poland) @InProceedings{RE12p321, author = {Michał Śmiałek and Tomasz Straszak}, title = {Facilitating Transition from Requirements to Code with the ReDSeeDS Tool}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {321--320}, doi = {}, year = {2012}, }
	Stull, D. M.	RE '12: "Requirements Analysis for ..." Requirements Analysis for a Product Family of DNA Nanodevices Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson (Iowa State University, USA; Jet Propulsion Laboratory, USA) DNA nanotechnology uses the information processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Devices developed to date have been programmed to implement logic circuits and neural networks, capture or release specific molecules, and traverse molecular tracks and mazes. Here we investigate the use of requirements engineering methods to make DNA nanotechnology more productive, predictable, and safe. We use goal-oriented requirements modeling to identify, specify, and analyze a product family of DNA nanodevices, and we use PRISM model checking to verify both common properties across the family and properties that are specific to individual products. Challenges to doing requirements engineering in this domain include the error-prone nature of nanodevices carrying out their tasks in the probabilistic world of chemical kinetics, the fact that roughly a nanomole (a 1 followed by 14 0s) of devices are typically deployed at once, and the difficulty of specifying and achieving modularity in a realm where devices have many opportunities to interfere with each other. Nevertheless, our results show that requirements engineering is useful in DNA nanotechnology and that leveraging the similarities among nanodevices in the product family improves the modeling and analysis by supporting reuse. @InProceedings{RE12p211, author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus H. Klinge and Divita Mathur and D. M. Stull and Taylor G. Bergquist and Eric R. Henderson}, title = {Requirements Analysis for a Product Family of DNA Nanodevices}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {211--220}, doi = {}, year = {2012}, }
	Supakkul, Sam	RE '12: "The RE-Tools: A Multi-notational ..." The RE-Tools: A Multi-notational Requirements Modeling Toolkit Sam Supakkul and Lawrence Chung (Sabre, USA; University of Texas at Dallas, USA) Requirements engineers need to understand and model different aspects of organizations and systems under construction, and may need to use different modeling notations. However, most modeling tools support only one (or at most a few notations), hindering requirements engineers from using the most appropriate notations for the particular modeling task. The RE-Tools is an open-source toolkit implemented using a UML Profile for StarUML, an open-source UML modeling tool. The toolkit supports many leading requirements modeling notations, including the NFR Framework, the i* Framework, KAOS, Problem Frames, and UML. Each of these notations may be used for modeling independent corresponding diagrams or together with non-functional requirements (NFRs). The toolkit also supports the original qualitative reasoning of the NFR Framework and augments with a quantitative one. @InProceedings{RE12p333, author = {Sam Supakkul and Lawrence Chung}, title = {The RE-Tools: A Multi-notational Requirements Modeling Toolkit}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {333--334}, doi = {}, year = {2012}, }
	Swire, Peter	RE '12: "Managing Changing Compliance ..." Managing Changing Compliance Requirements by Predicting Regulatory Evolution: An Adaptability Framework Jeremy C. Maxwell, Annie I. Antón, and Peter Swire (North Carolina State University, USA; Allscripts Healthcare Solutions, USA; Georgia Tech, USA; Ohio State University, USA) Over time, laws change to meet evolving social needs. Requirements engineers that develop software for regulated domains, such as healthcare or finance, must adapt their software as laws change to maintain legal compliance. In the United States, regulatory agencies will almost always release a proposed regulation, or rule, and accept comments from the public. The agency then considers these comments when drafting a final rule that will be binding on the regulated domain. Herein, we examine how these proposed rules evolve into final rules, and propose an Adaptability Framework. This framework can aid software engineers in predicting what areas of a proposed rule are most likely to evolve, allowing engineers to begin building towards the more stable sections of the rule. We develop the framework through a formative study using the Health Insurance Portability and Accountability (HIPAA) Security Rule and apply it in a summative study on the Health Information Technology: Initial Set of Standards, Implementation Specifications, and Certification Criteria for Electronic Health Record Technology. @InProceedings{RE12p101, author = {Jeremy C. Maxwell and Annie I. Antón and Peter Swire}, title = {Managing Changing Compliance Requirements by Predicting Regulatory Evolution: An Adaptability Framework}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {101--110}, doi = {}, year = {2012}, }
	Tawhid, Rasha	RE '12: "Towards Outcome-Based Regulatory ..." Towards Outcome-Based Regulatory Compliance in Aviation Security Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, and Greg Richards (Transport Canada, Canada; Carleton University, Canada; University of Ottawa, Canada) Transport Canada is reviewing its Aviation Security regulations in a multi-year modernization process. As part of this review, consideration is given to transitioning regulations where appropriate from a prescriptive style to an outcome-based style. This raises new technical and cultural challenges related to how to measure compliance. This paper reports on a novel approach used to model regulations with the Goal-oriented Requirement Language, augmented with qualitative indicators. These models are used to guide the generation of questions for inspection activities, enable a flexible conversion of real-world data into goal satisfaction levels, and facilitate compliance analysis. A new propagation mechanism enables the evaluation of the compliance level of an organization. This outcome-based approach is expected to help get a more precise understanding of who complies with what, while highlighting opportunities for improving existing regulatory elements. @InProceedings{RE12p267, author = {Rasha Tawhid and Edna Braun and Nick Cartwright and Mohammad Alhaj and Gunter Mussbacher and Azalia Shamsaei and Daniel Amyot and Saeed Ahmadi Behnam and Greg Richards}, title = {Towards Outcome-Based Regulatory Compliance in Aviation Security}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {267--272}, doi = {}, year = {2012}, }
	Todoran, Irina	RE '12: "StakeCloud: Stakeholder Requirements ..." StakeCloud: Stakeholder Requirements Communication and Resource Identification in the Cloud Irina Todoran (University of Zurich, Switzerland) With the recent emergence of cloud computing, the number of cloud service providers is constantly increasing and consumers’ needs are becoming more sophisticated. This situation leads to an evident need for methods which enable providers to correctly elicit requirements coming from very heterogeneous consumers. Moreover, consumers demand ways to find the cloud services which best meet their needs. We propose to address the issues identified by creating the StakeCloud community platform, capable of working as a cloud resources marketplace. It will allow users to input their resource needs and provide them with matching cloud services. Additionally, in case these are not met, they can be communicated as new requirements to cloud providers. Such a contribution will improve the requirements communication and resource identification in cloud systems, bridging the gap between consumers and providers. @InProceedings{RE12p353, author = {Irina Todoran}, title = {StakeCloud: Stakeholder Requirements Communication and Resource Identification in the Cloud}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {353--356}, doi = {}, year = {2012}, }
	Tun, Thein Than	RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Vermehren, Arne	RE '12: "Requirements Reuse at Danfoss ..." Requirements Reuse at Danfoss Dagny Hauksdottir, Arne Vermehren, and Juha Savolainen (Danfoss Power Electronics, Denmark) Requirements engineering is an essential activity in creating embedded real-time systems. Companies that produce a number of partially similar products can reduce development time and cost, improve quality and simplify software maintenance by applying reuse practices. Requirements reuse is an essential enabler to achieve effective software reuse. This study describes two different approaches for requirements reuse at Danfoss. The first approach reuses those requirements that are envisioned to be common between two consecutive projects and allows changing and parameterization of parts of the requirements. The second approach organizes all requirements into a common model and explicitly manages variability and different requirement variants in this common model. The results show that both approaches can result in significant savings in reduced effort by reusing common requirements. The first approach was found to be effective when the domain maturity is low and the significant set of requirements were changed from project to project. The second approach allows high reuse potential and significant savings for stable domains, where most requirements tend to be small additions or minor changes of existing requirements. @InProceedings{RE12p309, author = {Dagny Hauksdottir and Arne Vermehren and Juha Savolainen}, title = {Requirements Reuse at Danfoss}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {309--314}, doi = {}, year = {2012}, }
	Vrbaski, Mira	RE '12: "Tool Support for Combined ..." Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems Mira Vrbaski, Dorina Petriu, and Daniel Amyot (Carleton University, Canada; University of Ottawa, Canada) Context-aware systems often use rule-based reasoning engines for decision making without involving explicit interaction with the user. While rule-based systems excel in filtering out unsuitable solutions based on clear criteria, it is difficult to rank suitable solutions based on vague, qualitative criteria with a rule-based approach. Moreover, the description of such systems is typically ad-hoc without well-defined modeling tasks. CARGO (Context-Aware Reasoning using Goal-Orientation) aims to address these problems by combining rule-based and goal-based reasoning as well as scenario-based modeling to provide a more comprehensive way to define context-aware systems and to process contextual information. This demo presents CARGO, a modeling, simulation, and execution environment for context-aware systems built on existing tool support for the User Requirements Notation. @InProceedings{RE12p335, author = {Mira Vrbaski and Dorina Petriu and Daniel Amyot}, title = {Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {335--336}, doi = {}, year = {2012}, }
	Wagner, Christoph	RE '12: "Evaluating the Software Product ..." Evaluating the Software Product Management Maturity Matrix Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd (Utrecht University, Netherlands; VU University Amsterdam, Netherlands) Product managers play a pivotal role in maximizing value for software companies. To assist product managers in their activities the Software Product Management (SPM) Maturity Matrix has been created that enables product managers to benchmark their organization, assess individual processes and apply best practices to create an effective SPM environment. Although a number of case studies and expert evaluations have been performed, a large scale quantitative analysis has not yet been conducted to evaluate this instrument. This research evaluates and improves the SPM Maturity Matrix based on 62 case studies. The cases were analyzed to uncover anomalies: blocking questions, blocking levels, and undifferentiating questions. The anomalies were then discussed in a workgroup with experts which resulted in suggested improvements to address the anomalies. The suggestions of the workgroup will be used to improve the SPM Maturity Matrix. As an additional result, the case studies also provide valuable insight into the maturity of software companies in industry. @InProceedings{RE12p51, author = {Willem Bekkers and Sjaak Brinkkemper and Lucas van den Bemd and Frederik Mijnhardt and Christoph Wagner and Inge van de Weerd}, title = {Evaluating the Software Product Management Maturity Matrix}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {51--60}, doi = {}, year = {2012}, }
	Wang, Shige	RE '12: "A Feature-Oriented Requirements ..." A Feature-Oriented Requirements Modelling Language Pourya Shaker, Joanne M. Atlee, and Shige Wang (University of Waterloo, Canada; General Motors, USA) In this paper, we present a feature-oriented requirements modelling language (FORML) for modelling the behavioural requirements of a software product line. FORML aims to support feature modularity and precise requirements modelling, and to ease the task of adding new features to a set of existing requirements. In particular, FORML decomposes a product line’s requirements into feature modules, and provides language support for specifying tightly-coupled features as model fragments that extend and override existing feature modules. We discuss how decisions in the design of FORML affect the evolvability of requirements models, and explicate the specification of intended interactions among related features. We applied FORML to the specification of two feature sets, automotive and telephony, and we discuss how well the case studies exercised the language and how the requirements models evolved over the course of the case studies. @InProceedings{RE12p151, author = {Pourya Shaker and Joanne M. Atlee and Shige Wang}, title = {A Feature-Oriented Requirements Modelling Language}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {151--160}, doi = {}, year = {2012}, }
	Weerd, Inge van de	RE '12: "Evaluating the Software Product ..." Evaluating the Software Product Management Maturity Matrix Willem Bekkers, Sjaak Brinkkemper, Lucas van den Bemd, Frederik Mijnhardt, Christoph Wagner, and Inge van de Weerd (Utrecht University, Netherlands; VU University Amsterdam, Netherlands) Product managers play a pivotal role in maximizing value for software companies. To assist product managers in their activities the Software Product Management (SPM) Maturity Matrix has been created that enables product managers to benchmark their organization, assess individual processes and apply best practices to create an effective SPM environment. Although a number of case studies and expert evaluations have been performed, a large scale quantitative analysis has not yet been conducted to evaluate this instrument. This research evaluates and improves the SPM Maturity Matrix based on 62 case studies. The cases were analyzed to uncover anomalies: blocking questions, blocking levels, and undifferentiating questions. The anomalies were then discussed in a workgroup with experts which resulted in suggested improvements to address the anomalies. The suggestions of the workgroup will be used to improve the SPM Maturity Matrix. As an additional result, the case studies also provide valuable insight into the maturity of software companies in industry. @InProceedings{RE12p51, author = {Willem Bekkers and Sjaak Brinkkemper and Lucas van den Bemd and Frederik Mijnhardt and Christoph Wagner and Inge van de Weerd}, title = {Evaluating the Software Product Management Maturity Matrix}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {51--60}, doi = {}, year = {2012}, }
	Welsh, Kristopher	RE '12: "Run-Time Model Evaluation ..." Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation Kristopher Welsh and Nelly Bencomo (University of Kent, UK; INRIA, France) A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results. @InProceedings{RE12p329, author = {Kristopher Welsh and Nelly Bencomo}, title = {Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {329--330}, doi = {}, year = {2012}, }
	Willis, Alistair	RE '12: "Speculative Requirements: ..." Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements Hui Yang, Anne De Roeck, Vincenzo Gervasi, Alistair Willis, and Bashar Nuseibeh (Open University, UK; University of Pisa, Italy; Lero, Ireland) Stakeholders frequently use speculative language when they need to convey their requirements with some degree of uncertainty. Due to the intrinsic vagueness of speculative language, speculative requirements risk being misunderstood, and related uncertainty overlooked, and may benefit from careful treatment in the requirements engineering process. In this paper, we present a linguistically-oriented approach to automatic detection of uncertainty in natural language (NL) requirements. Our approach comprises two stages. First we identify speculative sentences by applying a machine learning algorithm called Conditional Random Fields (CRFs) to identify uncertainty cues. The algorithm exploits a rich set of lexical and syntactic features extracted from requirements sentences. Second, we try to determine the scope of uncertainty. We use a rule-based approach that draws on a set of hand-crafted linguistic heuristics to determine the uncertainty scope with the help of dependency structures present in the sentence parse tree. We report on a series of experiments we conducted to evaluate the performance and usefulness of our system. @InProceedings{RE12p11, author = {Hui Yang and Anne De Roeck and Vincenzo Gervasi and Alistair Willis and Bashar Nuseibeh}, title = {Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {11--20}, doi = {}, year = {2012}, }
	Wüest, Dustin	RE '12: "Flexible, Lightweight Requirements ..." Flexible, Lightweight Requirements Modeling with FlexiSketch Dustin Wüest, Norbert Seyff, and Martin Glinz (University of Zurich, Switzerland) @InProceedings{RE12p323, author = {Dustin Wüest and Norbert Seyff and Martin Glinz}, title = {Flexible, Lightweight Requirements Modeling with FlexiSketch}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {323--322}, doi = {}, year = {2012}, }
	Yang, Hui	RE '12: "Speculative Requirements: ..." Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements Hui Yang, Anne De Roeck, Vincenzo Gervasi, Alistair Willis, and Bashar Nuseibeh (Open University, UK; University of Pisa, Italy; Lero, Ireland) Stakeholders frequently use speculative language when they need to convey their requirements with some degree of uncertainty. Due to the intrinsic vagueness of speculative language, speculative requirements risk being misunderstood, and related uncertainty overlooked, and may benefit from careful treatment in the requirements engineering process. In this paper, we present a linguistically-oriented approach to automatic detection of uncertainty in natural language (NL) requirements. Our approach comprises two stages. First we identify speculative sentences by applying a machine learning algorithm called Conditional Random Fields (CRFs) to identify uncertainty cues. The algorithm exploits a rich set of lexical and syntactic features extracted from requirements sentences. Second, we try to determine the scope of uncertainty. We use a rule-based approach that draws on a set of hand-crafted linguistic heuristics to determine the uncertainty scope with the help of dependency structures present in the sentence parse tree. We report on a series of experiments we conducted to evaluate the performance and usefulness of our system. @InProceedings{RE12p11, author = {Hui Yang and Anne De Roeck and Vincenzo Gervasi and Alistair Willis and Bashar Nuseibeh}, title = {Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {11--20}, doi = {}, year = {2012}, }
	Yi, Li	RE '12: "CoFM: An Environment for Collaborative ..." CoFM: An Environment for Collaborative Feature Modeling Li Yi, Haiyan Zhao, Wei Zhang, and Zhi Jin (Peking University, China) Feature models provide an effective way to capture commonality and variability in a specific domain. Constructing a feature model needs a systematic review of existing software artifacts in a domain and is always a collaboration-intensive activity. However, existing feature modeling methods and tools lack explicit support of such collaborations. In this paper, we present an environment for feature modeling that promotes the collaboration between stakeholders as the basis of creating and evolving a feature model. We present concepts, methods, and a tool to show the feasibility of constructing feature models collaboratively, as well as how to integrate this environment with traditional feature modeling methods. @InProceedings{RE12p317, author = {Li Yi and Haiyan Zhao and Wei Zhang and Zhi Jin}, title = {CoFM: An Environment for Collaborative Feature Modeling}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {317--318}, doi = {}, year = {2012}, } RE '12: "Mining Binary Constraints ..." Mining Binary Constraints in the Construction of Feature Models Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei (Peking University, China) Feature models provide an effective way to organize and reuse requirements in a specific domain. A feature model consists of a feature tree and cross-tree constraints. Identifying features and then building a feature tree takes a lot of effort, and many semi-automated approaches have been proposed to help the situation. However, finding cross-tree constraints is often more challenging which still lacks the help of automation. In this paper, we propose an approach to mining cross-tree binary constraints in the construction of feature models. Binary constraints are the most basic kind of cross-tree constraints that involve exactly two features and can be further classified into two sub-types, i.e. requires and excludes. Given these two sub-types, a pair of any two features in a feature model falls into one of the following classes: no constraints between them, a requires between them, or an excludes between them. Therefore we perform a 3-class classification on feature pairs to mine binary constraints from features. We incorporate a support vector machine as the classifier and utilize a genetic algorithm to optimize it. We conduct a series of experiments on two feature models constructed by third parties, to evaluate the effectiveness of our approach under different conditions that might occur in practical use. Results show that we can mine binary constraints at a high recall (near 100% in most cases), which is important because finding a missing constraint is very costly in real, often large, feature models. @InProceedings{RE12p141, author = {Li Yi and Wei Zhang and Haiyan Zhao and Zhi Jin and Hong Mei}, title = {Mining Binary Constraints in the Construction of Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {141--150}, doi = {}, year = {2012}, }
	Yu, Yijun	RE '12: "Stateful Requirements Monitoring ..." Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, and Wenyun Zhao (Fudan University, China; Open University, UK; University of Trento, Italy) Socio-technical systems consist of human, hardware and software components that work in tandem to fulfill stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralized fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customizable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting. @InProceedings{RE12p121, author = {Lingxiao Fu and Xin Peng and Yijun Yu and John Mylopoulos and Wenyun Zhao}, title = {Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {121--130}, doi = {}, year = {2012}, } RE '12: "Privacy Arguments: Analysing ..." Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles Haley, Inah Omoronyia, and Bashar Nuseibeh (Open University, UK; Frogfish Technologies, UK; Lero, Ireland) Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of agents involved and the kinds of information that may be disclosed. Second, although some general privacy requirements can be elicited a priori, users often refine them at runtime as they interact with the system and its environment. Selectively disclosing information to appropriate agents is therefore a key privacy management challenge, requiring carefully formulated privacy requirements amenable to systematic reasoning. In this paper, we introduce privacy arguments as a means of analysing privacy requirements in general and selective disclosure requirements (that are both content- and context-sensitive) in particular. Privacy arguments allow individual users to express personal preferences, which are then used to reason about privacy for each user under different contexts. At runtime, these arguments provide a way to reason about requirements satisfaction and diagnosis. Our proposed approach is demonstrated and evaluated using the privacy requirements of BuddyTracker, a mobile application we developed as part of our overall research programme. @InProceedings{RE12p131, author = {Thein Than Tun and Arosha K. Bandara and Blaine A. Price and Yijun Yu and Charles Haley and Inah Omoronyia and Bashar Nuseibeh}, title = {Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {131--140}, doi = {}, year = {2012}, }
	Zhang, Wei	RE '12: "CoFM: An Environment for Collaborative ..." CoFM: An Environment for Collaborative Feature Modeling Li Yi, Haiyan Zhao, Wei Zhang, and Zhi Jin (Peking University, China) Feature models provide an effective way to capture commonality and variability in a specific domain. Constructing a feature model needs a systematic review of existing software artifacts in a domain and is always a collaboration-intensive activity. However, existing feature modeling methods and tools lack explicit support of such collaborations. In this paper, we present an environment for feature modeling that promotes the collaboration between stakeholders as the basis of creating and evolving a feature model. We present concepts, methods, and a tool to show the feasibility of constructing feature models collaboratively, as well as how to integrate this environment with traditional feature modeling methods. @InProceedings{RE12p317, author = {Li Yi and Haiyan Zhao and Wei Zhang and Zhi Jin}, title = {CoFM: An Environment for Collaborative Feature Modeling}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {317--318}, doi = {}, year = {2012}, } RE '12: "MbFM: A Matrix-Based Tool ..." MbFM: A Matrix-Based Tool for Modeling and Configuring Feature Models Long Li, Haiyan Zhao, and Wei Zhang (Peking University, China) Feature-oriented analysis and modeling is widely accepted in software reuse, which consists of two major phases that should be taken seriously. The first is to construct a feature model, and the second is to configure products based on the feature model attained in the first. This paper presents a matrix-based approach to constructing and configuring feature models, whose main advantage is its scalability compared to traditional graphic-based feature models, and the supporting tool is presented to demonstrate its feasibility. @InProceedings{RE12p325, author = {Long Li and Haiyan Zhao and Wei Zhang}, title = {MbFM: A Matrix-Based Tool for Modeling and Configuring Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {325--326}, doi = {}, year = {2012}, } RE '12: "Mining Binary Constraints ..." Mining Binary Constraints in the Construction of Feature Models Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei (Peking University, China) Feature models provide an effective way to organize and reuse requirements in a specific domain. A feature model consists of a feature tree and cross-tree constraints. Identifying features and then building a feature tree takes a lot of effort, and many semi-automated approaches have been proposed to help the situation. However, finding cross-tree constraints is often more challenging which still lacks the help of automation. In this paper, we propose an approach to mining cross-tree binary constraints in the construction of feature models. Binary constraints are the most basic kind of cross-tree constraints that involve exactly two features and can be further classified into two sub-types, i.e. requires and excludes. Given these two sub-types, a pair of any two features in a feature model falls into one of the following classes: no constraints between them, a requires between them, or an excludes between them. Therefore we perform a 3-class classification on feature pairs to mine binary constraints from features. We incorporate a support vector machine as the classifier and utilize a genetic algorithm to optimize it. We conduct a series of experiments on two feature models constructed by third parties, to evaluate the effectiveness of our approach under different conditions that might occur in practical use. Results show that we can mine binary constraints at a high recall (near 100% in most cases), which is important because finding a missing constraint is very costly in real, often large, feature models. @InProceedings{RE12p141, author = {Li Yi and Wei Zhang and Haiyan Zhao and Zhi Jin and Hong Mei}, title = {Mining Binary Constraints in the Construction of Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {141--150}, doi = {}, year = {2012}, }
	Zhao, Haiyan	RE '12: "CoFM: An Environment for Collaborative ..." CoFM: An Environment for Collaborative Feature Modeling Li Yi, Haiyan Zhao, Wei Zhang, and Zhi Jin (Peking University, China) Feature models provide an effective way to capture commonality and variability in a specific domain. Constructing a feature model needs a systematic review of existing software artifacts in a domain and is always a collaboration-intensive activity. However, existing feature modeling methods and tools lack explicit support of such collaborations. In this paper, we present an environment for feature modeling that promotes the collaboration between stakeholders as the basis of creating and evolving a feature model. We present concepts, methods, and a tool to show the feasibility of constructing feature models collaboratively, as well as how to integrate this environment with traditional feature modeling methods. @InProceedings{RE12p317, author = {Li Yi and Haiyan Zhao and Wei Zhang and Zhi Jin}, title = {CoFM: An Environment for Collaborative Feature Modeling}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {317--318}, doi = {}, year = {2012}, } RE '12: "MbFM: A Matrix-Based Tool ..." MbFM: A Matrix-Based Tool for Modeling and Configuring Feature Models Long Li, Haiyan Zhao, and Wei Zhang (Peking University, China) Feature-oriented analysis and modeling is widely accepted in software reuse, which consists of two major phases that should be taken seriously. The first is to construct a feature model, and the second is to configure products based on the feature model attained in the first. This paper presents a matrix-based approach to constructing and configuring feature models, whose main advantage is its scalability compared to traditional graphic-based feature models, and the supporting tool is presented to demonstrate its feasibility. @InProceedings{RE12p325, author = {Long Li and Haiyan Zhao and Wei Zhang}, title = {MbFM: A Matrix-Based Tool for Modeling and Configuring Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {325--326}, doi = {}, year = {2012}, } RE '12: "Mining Binary Constraints ..." Mining Binary Constraints in the Construction of Feature Models Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei (Peking University, China) Feature models provide an effective way to organize and reuse requirements in a specific domain. A feature model consists of a feature tree and cross-tree constraints. Identifying features and then building a feature tree takes a lot of effort, and many semi-automated approaches have been proposed to help the situation. However, finding cross-tree constraints is often more challenging which still lacks the help of automation. In this paper, we propose an approach to mining cross-tree binary constraints in the construction of feature models. Binary constraints are the most basic kind of cross-tree constraints that involve exactly two features and can be further classified into two sub-types, i.e. requires and excludes. Given these two sub-types, a pair of any two features in a feature model falls into one of the following classes: no constraints between them, a requires between them, or an excludes between them. Therefore we perform a 3-class classification on feature pairs to mine binary constraints from features. We incorporate a support vector machine as the classifier and utilize a genetic algorithm to optimize it. We conduct a series of experiments on two feature models constructed by third parties, to evaluate the effectiveness of our approach under different conditions that might occur in practical use. Results show that we can mine binary constraints at a high recall (near 100% in most cases), which is important because finding a missing constraint is very costly in real, often large, feature models. @InProceedings{RE12p141, author = {Li Yi and Wei Zhang and Haiyan Zhao and Zhi Jin and Hong Mei}, title = {Mining Binary Constraints in the Construction of Feature Models}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {141--150}, doi = {}, year = {2012}, }
	Zhao, Wenyun	RE '12: "Stateful Requirements Monitoring ..." Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, and Wenyun Zhao (Fudan University, China; Open University, UK; University of Trento, Italy) Socio-technical systems consist of human, hardware and software components that work in tandem to fulfill stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralized fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customizable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting. @InProceedings{RE12p121, author = {Lingxiao Fu and Xin Peng and Yijun Yu and John Mylopoulos and Wenyun Zhao}, title = {Stateful Requirements Monitoring for Self-Repairing Socio-Technical Systems}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {121--130}, doi = {}, year = {2012}, }
	Zisman, Andrea	RE '12: "The Quest for Ubiquity: A ..." The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research Orlena C. Z. Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, and Giuliano Antoniol (DePaul University, USA; University of Kentucky, USA; City University London, UK; JKU Linz, Austria; École Polytechnique de Montréal, Canada) Traceability underlies many important software and systems engineering activities, such as change impact analysis and regression testing. Despite important research advances, as in the automated creation and maintenance of trace links, traceability implementation and use is still not pervasive in industry. A community of traceability researchers and practitioners has been collaborating to understand the hurdles to making traceability ubiquitous. Over a series of years, workshops have been held to elicit and enhance research challenges and related tasks to address these shortcomings. A continuing discussion of the community has resulted in the research roadmap of this paper. We present a brief view of the state of the art in traceability, the grand challenge for traceability and future directions for the field. @InProceedings{RE12p71, author = {Orlena C. Z. Gotel and Jane Cleland-Huang and Jane Huffman Hayes and Andrea Zisman and Alexander Egyed and Paul Grünbacher and Giuliano Antoniol}, title = {The Quest for Ubiquity: A Roadmap for Software and Systems Traceability Research}, booktitle = {Proc.\ RE}, publisher = {IEEE}, pages = {71--80}, doi = {}, year = {2012}, }

167 authors

proc time: 0.42