On the use of visualization in formal requirements specification

Dulac, Nicolas; Viguier, Thomas; Leveson, Nancy G.; Storey, Margaret-Anne

doi:10.1109/icre.2002.1048507

Cited by 26 publications

(19 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Engineering as a research paradigm looks at how to simplify and codify RE knowledge and techniques so that they are readily adopted by practitioners and taught to undergraduates. For example, visual formalisms [47,50,66,78] ease the task of creating and reviewing precise specifications. Specification patterns [51,85,149,84] not only help specifiers to create models, via instantiation and adaptation, but they also offer some level of uniformity and repeatability of such models.…”

Section: Empiricalmentioning

confidence: 99%

Research Directions in Requirements Engineering

Cheng

Atlee

2007

Future of Software Engineering (FOSE '07)

457

263

View full text Add to dashboard Cite

This paper reviews the current state of the art of requirements engineering (RE) research and identifies RE research challenges for future systems. First, the paper overviews the highlights of RE research over the past two decades; the research is considered with respect to requirements technologie, including notations and methodologies, developed to address specific RE tasks, such as elicitation, modeling, and analysis. Such a review enables us to identify mature areas of research, as well as areas that warrant further investigation. Next, we identify several research challenges posed by emerging systems for the future. In order to help delineate the scope of future RE research directions, we then identify several strategies for performing RE research. (The spectrum of research strategies ranges from empirical research to paradigm shifts.) Finally, within the context of these RE research strategies, we identify "hot areas" of research that address RE needs for emerging systems of the future.

show abstract

Section: Empiricalmentioning

confidence: 99%

Research Directions in Requirements Engineering

Cheng

Atlee

2007

Future of Software Engineering (FOSE '07)

457

263

View full text Add to dashboard Cite

show abstract

“…For requirements, Goal-oriented software requirements methods result in goal structures presented in KAOS approach [23] and OpenOME for the i*/Tropos approach [124]. Requirements visualization is advanced with the work that presents complex formal models to the user of the domain [26], different viewpoints [28]. Many tools are available to visualize information systems and mainly these tools present functional arti-9 facts from various stages of the software development life-cycle [31].…”

Section: Requirements Engineering Visualizationmentioning

confidence: 99%

Visual analytics for software requirements engineering

Reddivari

2013

2013 21st IEEE International Requirements Engineering Conference (RE)

View full text Add to dashboard Cite

For many software projects, keeping requirements on track needs an effective and efficient path from data to decision. Visual analytics creates such a path that enables the human to extract insights by interacting with the relevant information. While various requirements visualization techniques exist, few have produced end-to-end values to practitioners. In this dissertation, we advance the literature on visual requirements analytics by characterizing its key components and relationships in a framework. We follow the goal-question-metric paradigm to define the framework by teasing out five conceptual goals (user, data, model, visualization, and knowledge), their specific operationalizations, and their interconnections. The framework allows us to not only assess existing approaches, but also create tool enhancements in a principled manner.We evaluate our enhanced tool supports both qualitatively and quantitatively. First, we evaluate our tool supports qualitatively through a case study where massive, heterogeneous, and dynamic requirements are processed, visualized, and analyzed. Working together with practitioners on a contemporary software project within its real-life context leads to the main ending that visual analytics can help tackle both open-ended visual exploration tasks and well-structured visual exploitation tasks in requirements engineering. In addition, the study helps the practitioners to reach actionable decisions in a wide range of areas relating to their project, ranging from theme and outlier identification, over requirements tracing, to risk assessment. Overall our work illuminates how the data-to-decision analytical capabilities could be improved by the increased interactivity of requirements visualization.Although many new visual analytics tools, techniques and methods are being developed, still there is a lack of understanding of how to evaluate the performance of such tools. We conducted an experiment to assess the performance (time and correctness) of our visual analytics tool support in solving requirements engineering tasks. Our study provides initial evidence and insights for visual analytics in requirements engineering and sheds light on many challenging open questions.

show abstract

“…The animation hides the technicalities of CP-nets, e.g., concepts like places, transitions, tokens, enabling, occurrence, etc. In this way, the animation supports communication between users and system developers, by reducing the semantic distance [26] between the CPN model and the conception by the users of future work processes and their proposed computer support. The limitations of formal specifications as a means of communication in general, and, thus, the need for an animation, are widely recognised, see, e.g.…”

Section: Medicine Administration Animationmentioning

confidence: 99%

Application of Coloured Petri Nets in System Development

Kristensen

Jørgensen

Jensen

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging from requirements to design, validation, and implementation. This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP-nets in various phases of system development.

show abstract

On the use of visualization in formal requirements specification

Cited by 26 publications

References 22 publications

Research Directions in Requirements Engineering

Research Directions in Requirements Engineering

Visual analytics for software requirements engineering

Application of Coloured Petri Nets in System Development

Contact Info

Product

Resources

About