Filters








12,524 Hits in 4.2 sec

Towards a framework for improving requirement traceability

Marco Antonio Toranzo Céspedes, Gilberto Cysneiros Filho, Yessica Gómez, Oscar Rodríguez Mendoza
2012 Ingeniería e Investigación  
The framework consisted of classifying traced information, defining and using relationship types regarding traced information, a set of guidelines for developing a requirements traceability model for a  ...  software project and using my management tool (MyMT tool) to support developing a requirement traceability model.  ...  Guidelines for developing a traceability model This section describes and illustrates a set of guidelines which were used for developing a requirement traceability model using the MyMT tool.  ... 
doaj:adc9d5cea93b4e86a777e980bef95ff5 fatcat:w3iib4ad7jhlpjr2tac3azakfy

Managing requirements uncertainty with partial models

Rick Salay, Marsha Chechik, Jennifer Horkoff
2012 2012 20th IEEE International Requirements Engineering Conference (RE)  
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  ...  In particular, we address the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces, providing meaning to traceability relations between models containing  ...  Traceability relations are used to link the elements of different artifacts (including models) in a development process and can be used to express different relationships such as overlap, dependency, satisfaction  ... 
doi:10.1109/re.2012.6345804 dblp:conf/re/SalayCH12 fatcat:aikv5bzgbvct3lpg3uyvmoioma

A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems

Hubert Dubois, Marie-Agnes Peraldi-Frati, Fadoi Lakhal
2010 2010 15th IEEE International Conference on Engineering of Complex Computer Systems  
Requirements traceability modeling is a key issue in real-time embedded design process.  ...  This paper presents the DARWIN4REQ metamodel and its use in the context of heterogeneous models for requirement modeling, design and V&V.  ...  The authors want to acknowledge the French National Research Agency (ANR) for his financial support.  ... 
doi:10.1109/iceccs.2010.2 dblp:conf/iceccs/DuboisPL10 fatcat:dyxkf2wpazgstk2vxh7oe6vmgi

Managing requirements uncertainty with partial models

Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro
2013 Requirements Engineering  
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  ...  In particular, we address the problem of specifying uncertainty within a requirements model, refining a model as uncertainty reduces, providing meaning to traceability relations between models containing  ...  Traceability relations are used to link the elements of different artifacts (including models) in a development process and can be used to express different relationships such as overlap, dependency, satisfaction  ... 
doi:10.1007/s00766-013-0170-y fatcat:make62csgrbubpdjdef3oyz3se

Tracing the Rationale Behind UML Model Change Through Argumentation [chapter]

Ivan J. Jureta, Stéphane Faulkner
2007 Lecture Notes in Computer Science  
, and revisions of model instances, and (c) the concept of argument instantiated in a justification process ought to be well defined and understood, the present paper introduces the UML Traceability through  ...  Following the simple principles that (a) changes to UML model instances ought be justified to the stakeholders, (b) justification should proceed in a structured manner to ensure rigor in discussions, critique  ...  The authors thank Alex Borgida for insightful remarks on the paper [14] presented at the 14th International Conference on Requirements Engineering, which helped shape the ideas herein.  ... 
doi:10.1007/978-3-540-75563-0_31 fatcat:mym577tl75dfpmuq6qadsf6vem

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
2017 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)  
The approach has been prototyped for AADL models refined with the RAMSES tool and for model transformations implemented as Story Diagrams.  ...  In such case, not only the traceability must evolve but the requirements must be refined as well.  ...  Such rules can be used for co-evolution as they allow relating a change in one model under some conditions to another change in the associated model as required for preserving consistency.  ... 
doi:10.1109/rew.2017.52 dblp:conf/re/BlouinBSGDBTN17 fatcat:uunbzzw7ejc2nlfjh5d2zrxcjy

Revisiting the interoperation relationships between Systems Engineering collaborative processes

Fabien BOUFFARON, David GOUYON, Dragoş DOBRE, Gérard MOREL
2012 IFAC Proceedings Volumes  
This paper aims to revisit first the interdisciplinary relationships within a SE process as specification relationships between Problem Space (PS) and Solution Space (SS) across collaborative domains.  ...  Systems Engineering (SE) best practices are currently guided by standardized processes which must be adapted by skill rules in order to specialize domain-dependent SE workflows as well as domainindependent  ...  Packages of meta-model represent different repositories to ensure traceability throughout the process of requirement specification. Fig.4.  ... 
doi:10.3182/20120523-3-ro-2023.00190 fatcat:lzk3wlbd5rdmpagu2fclazcopu

Formal Analysis and Verification of Airborne Software Based on DO-333

Zongyu Cao, Wanyou Lv, Yanhong Huang, Jianqi Shi, Qin Li
2020 Electronics  
This paper is intended to illustrate the formal methods and tools available in the verification process to lay down a general guide for the formal development and verification of airborne software.  ...  With rapid technological advances in airborne control systems, it has become imperative to ensure the reliability, robustness, and adaptability of airborne software since failure of these software could  ...  The modeling process commences from an abstract model and attains the final form of an efficient system through continuous refinement, which ensures traceability between the LLR and HLR.  ... 
doi:10.3390/electronics9020327 fatcat:dy6oz3msvvfkjezjix3hkzmmsu

Derived Properties: A User Friendly Approach To Improving Model Traceability

Saulius Pavalkis, Lina Nemuraitė, Rita Butkienė
2013 Information Technology and Control  
consistency.  ...  The approach gives a possibility for UML CASE tool developers to adapt their tools for traceability analysis not overloading them with traceability information, flexibly introducing required derived properties  ...  The authors would like to thank No Magic, Inc, especially the MagicDraw product team for comprehensive support.  ... 
doi:10.5755/j01.itc.42.1.2470 fatcat:d5l5vfjye5egfjzcy2v3fhdbf4

Requirements and Design Consistency: A Bi-directional Traceability and Natural Language Processing Assisted Approach

Omer Salih Dawood Omer, Abd-El-Kader Sahraoui, Mukhtar M. E. Mahmoud, Abd-El-Aziz Babiker
2021 European Journal of Engineering and Technology Research  
We developed a novel process to support consistency and bi-directional traceability.  ...  Traceability is one of the core concepts in software engineering; it is used to follow updates to make consistent items.  ...  Regular expressions were used to extract the needed elements for applying these rules.  ... 
doi:10.24018/ejeng.2021.6.3.2373 fatcat:xfmirxafuzbhrik4sm6atluwpa

Traceability and Synchronization Between BPMN and UML Use Case Models

Aljia Bouzidi, Nahla Haddar, Kais Haddar
2019 Ingénierie des Systèmes d'Information  
To do this, we propose an approach that combines the strengths of traceability and model transformations to bridge the gap between BPMN model and the UML use Case models in particular, we propose an intermediate  ...  The purpose of this paper is to ensure and maintain the alignment between business modeling and requirement elicitation.  ...  [22] to define a traceability metamodel that expresses the relationship kinds to be kept during the model composition process.  ... 
doi:10.18280/isi.240214 fatcat:ccxqyn572baxjfht3cwnq3k7mi

A Traceability Metamodel for Change Management of Non-functional Requirements

M. Kassab, O. Ormandjieva, M. Daneva
2008 2008 Sixth International Conference on Software Engineering Research, Management and Applications  
Understanding the relations among system requirements is essential to ensuring their consistency and change management.  ...  In practice, many organizations either focus their traceability efforts on functional requirements (FRs) or else fail entirely to implement an effective traceability process.  ...  Such change can be authorized if and only if it the substitution is consistent with the existing traceability model relationships.  ... 
doi:10.1109/sera.2008.37 dblp:conf/sera/KassabOD08 fatcat:sagovira2jh3jee5m4mm4xvrya

Customizing Traceability Links for the Unified Process [chapter]

Patrick Mäder, Ilka Philippow, Matthias Riebisch
2007 Lecture Notes in Computer Science  
Traceability links are generally recognised as helpful means for improving the effectiveness of evolutionary development processes.  ...  In this paper a concept for the systematic management of traceability is introduced, adapted for the and integrated into the Unified Process as one of the widely accepted software development methods.  ...  » «realize» «realize» «realize» Design Model Design Object Class Relationship Component Use Case Realization «refine» «refine» Implicit Traceability Link** Explicit Traceability Link «realize» Relationship  ... 
doi:10.1007/978-3-540-77619-2_4 fatcat:xb4rf4dpibhlnjtnxxr7hkztza

Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML [chapter]

Jaco Jacobs, Andrew Simpson
2013 Lecture Notes in Computer Science  
the refinement checking of behavioural consistency of SysML diagrams; we also show how the proposed approach supports requirements traceability.  ...  In this paper, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergence Refinement (FDR), may be used to underpin an approach that facilitates  ...  we can subsequently use FDR to ensure that the model satisfies it.  ... 
doi:10.1007/978-3-642-41202-8_18 fatcat:wta3otr57rf5hgluk3xritgybi

A Review on Software Requirements Validation and Consistency Management

Massila Kamalrudin, Safiah Sidek
2015 International Journal of Software Engineering and Its Applications  
Drawn from this argument, a requirements validation process needs to consider Consistency, Completeness and Correctness ("3 Cs") for the production of a quality software specifications.  ...  Next comprehensive review of related works on the identified consistency management techniques: traceability and analysis approaches are then presented.  ...  Acknowledgements We acknowledge Professor John Hosking and John Grundy for their help and supervision. We also would like to thank the financial support from Ministry of Higher  ... 
doi:10.14257/ijseia.2015.9.10.05 fatcat:uo5x7zsikveujexplbynftknze
« Previous Showing results 1 — 15 out of 12,524 results