S. Cornford, M. Feather, Vance A. Heron, J. Jenkins
{"title":"Fusing Quantitative Requirements Analysis with Model-based Systems Engineering","authors":"S. Cornford, M. Feather, Vance A. Heron, J. Jenkins","doi":"10.1109/RE.2006.24","DOIUrl":"https://doi.org/10.1109/RE.2006.24","url":null,"abstract":"A vision is presented for fusing quantitative requirements analysis with model-based systems engineering. This vision draws upon and combines emergent themes in the engineering milieu. \"Requirements engineering\" provides means to explicitly represent requirements (both functional and non-functional) as constraints and preferences on acceptable solutions, and emphasizes early-lifecycle review, analysis and verification of design and development plans. \"Design by shopping\" emphasizes revealing the space of options available from which to choose (without presuming that all selection criteria have previously been elicited), and provides means to make understandable the range of choices and their ramifications. \"Model-based engineering\" emphasizes the goal of utilizing a formal representation of all aspects of system design, from development through operations, and provides powerful tool suites that support the practical application of these principles. A first step prototype towards this vision is described, embodying the key capabilities. Illustrations, implications, further challenges and opportunities are outlined","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114194697","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"End Users Who Meet Their Own Requirements","authors":"M. Rosson","doi":"10.1109/RE.2006.20","DOIUrl":"https://doi.org/10.1109/RE.2006.20","url":null,"abstract":"Over the past 25 years, user interface designers and usability engineers have studied and refined human-computer interaction techniques with the goal of improving people's productivity and experience. One result is an increasing number of tools designed to help end users build or customize software solutions for a variety of everyday problems - from email filters, to spreadsheet simulations, to interactive Web applications","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125694448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Javier Muñoz, Pedro Valderas, V. Pelechano, Ó. Pastor
{"title":"Requirements Engineering for Pervasive Systems. A Transformational Approach","authors":"Javier Muñoz, Pedro Valderas, V. Pelechano, Ó. Pastor","doi":"10.1109/RE.2006.54","DOIUrl":"https://doi.org/10.1109/RE.2006.54","url":null,"abstract":"This paper introduces a method for specifying the functional requirements of pervasive systems. These requirements specifications can be mapped into PervML models, which enables (1) the early generation of prototypes to validate the requirements and (2) the definition of well defined transformations that provide traceability mechanisms for going from requirements to implementation and vice-versa","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115961149","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Using Domain Ontology as Domain Knowledge for Requirements Elicitation","authors":"H. Kaiya, M. Saeki","doi":"10.1109/RE.2006.72","DOIUrl":"https://doi.org/10.1109/RE.2006.72","url":null,"abstract":"Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We propose a new requirements elicitation method ORE (ontology based requirements elicitation), where a domain ontology can be used as domain knowledge. In our method, a domain ontology plays a role on semantic domain which gives meanings to requirements statements by using a semantic function. By using inference rules on the ontology and a quality metrics on the semantic function, an analyst can be navigated which requirements should be added for improving completeness of the current version of the requirements and/or which requirements should be deleted from the current version for keeping consistency. We define this process as a method and evaluate it by an experimental case study of software music players","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132053935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"What is This Science Called Requirements Engineering?","authors":"H. Akkermans, J. Gordijn","doi":"10.1109/RE.2006.73","DOIUrl":"https://doi.org/10.1109/RE.2006.73","url":null,"abstract":"This vision paper reflects on the nature and status of requirements engineering as a science, based on recent RE journal articles on methodological foundations and research classification such as (R. Wieringa, et al., 2006). We put this discussion into the wider perspective of ongoing debates in other areas, including social and natural sciences methodology, IS and design research. We propose a new categorization of the notions of validity and evaluation, and suggest a criterial framework inspired by work on the structure of scientific argument","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133948552","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exposing Tacit Knowledge via Pre-Requirements Tracing","authors":"A. Stone, P. Sawyer","doi":"10.1109/RE.2006.22","DOIUrl":"https://doi.org/10.1109/RE.2006.22","url":null,"abstract":"Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to inform the requirements' formulation. Some of the knowledge used is tacit and therefore hard to identify and associate with requirements. This paper presents a tool for retrospectively identifying pre-requirements traces from requirements to their respective source material. We posit that poorly sourced requirements may indicate a requirement based on tacit knowledge. We present a preliminary evaluation of our tools performance using a case study","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131704190","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Requirement Progression in Problem Frames Applied to a Proton Therapy System","authors":"Robert Seater, D. Jackson","doi":"10.1109/RE.2006.53","DOIUrl":"https://doi.org/10.1109/RE.2006.53","url":null,"abstract":"A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a problem frame description involving a requirement on the phenomena of the problem domain, and a decomposition of the environment into domains, connected to one another and to the machine being implemented by shared phenomena. In each step, the requirement is moved towards the machine, leaving behind a trail of `breadcrumbs' in the form of domain assumptions. Eventually, the transformed requirement references only phenomena at the interface of the machine and can therefore serve as a specification. Each step is justified by an implication that can be mechanically checked, ensuring that, if the machine obeys the derived specification and the domain assumptions are valid, the requirement will hold. The technique is applied to the logging subproblem of a radiotherapy system","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133002298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Requirements Guide For All (REGAL): An INCOSE Initiative","authors":"J. Dick","doi":"10.1109/RE.2006.7","DOIUrl":"https://doi.org/10.1109/RE.2006.7","url":null,"abstract":"Summary form only given. This presentation describes an INCOSE initiative to collect from the systems engineering community information about good practice in requirements engineering, management and development. This initiative is the brainchild of the INCOSE Requirements Working Group, and is intended to provide a living requirements \"book of knowledge\" accessible in electronic form on the Web, through which practitioners can contribute, evaluate and debate good requirements practice. It is managed by Gauthier Fanmuy, PSA Peugeot Citroen","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124458824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Creativity and the Age-Old Resistance to Change Problem in RE","authors":"Gil Regev, D. C. Gause, A. Wegmann","doi":"10.1109/RE.2006.13","DOIUrl":"https://doi.org/10.1109/RE.2006.13","url":null,"abstract":"Creativity is about bringing unforeseen change to habitual ways of doing things. Understanding the challenges of introducing innovation in organizations is, therefore, essential during the requirements phase of today's computer systems design projects. However, there are many legitimate obstacles to creativity. To explain some of them, we explore creativity in terms of change to norms that are well accepted in an organization. These norms are grounded in the worldview of the organization. Creativity is therefore constrained by the amount of change that can be made to norms and worldview. We describe some of the mechanisms that work in favor and against change and offer suggestions on how to make better use of these mechanisms in introducing currently accepted and recently developed RE methodologies into mainstream commercial systems design approaches","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128762837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Fredrik Törner, Martin Ivarsson, Fredrik Pettersson, Peter Öhman
{"title":"An Empirical Quality Assessment of Automotive Use Cases","authors":"Fredrik Törner, Martin Ivarsson, Fredrik Pettersson, Peter Öhman","doi":"10.1109/RE.2006.9","DOIUrl":"https://doi.org/10.1109/RE.2006.9","url":null,"abstract":"As functionality in vehicles grows more complex and development becomes distributed over several geographical sites, elicitation and visualization of requirements become more critical. This paper presents a set of evaluation criteria for the quality of use cases. The criteria are applied to use cases that are currently used in industry and developed according to current industrial practice. The paper presents statistics of quality defects that occur in industry and proposes academic solutions that may be applied to solve them. The study is based on 43 use cases from Volvo Car Corporation spanning three different function areas of a vehicle. The most common quality defect classes of the evaluated use cases are missing elements, irrelevant steps, incorrect linguistics and level of detail. Furthermore, it is concluded that a common taxonomy and cross team reviews are needed to further improve the quality and usefulness of use cases","PeriodicalId":182492,"journal":{"name":"14th IEEE International Requirements Engineering Conference (RE'06)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126778448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}