The influence of formal representation on solution specification

Khazaei, Babak; Roast, Chris

doi:10.1007/s00766-002-0146-9

Cited by 7 publications

(6 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [6], the approach leads to a higher readability effectiveness, but also to a lower readability efficiency. In terms of notation design, formal specification depends on embedding the notation into a proper method and having careful consideration of the usability issues of the specification notation [20]. 6 papers make the raw data of their evaluations available, promoting independent scrutiny.…”

Section: Usability Approaches Studiedmentioning

confidence: 99%

Usability of requirements techniques

Bombonatti

Gralha

Moreira

et al. 2016

Proceedings of the 31st Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

The usability of requirements engineering (RE) techniques has been recognised as a key factor for their successful adoption by industry. RE techniques must be accessible to stakeholders with different backgrounds, so they can be empowered to effectively and efficiently contribute to building successful systems. When selecting an appropriate requirements engineering technique for a given context, one should consider the usability supported by each of the candidate techniques. The first step towards achieving this goal is to gather the best evidence available on the usability of RE approaches by performing a systematic literature review, to answer one research question: How is the usability of requirements engineering techniques and tools addressed? We systematically review articles published in the Requirements Engineering Journal, one of the main sources for mature work in RE, to motivate a research roadmap to make RE approaches more accessible to stakeholders with different backgrounds.

show abstract

Section: Usability Approaches Studiedmentioning

confidence: 99%

Usability of requirements techniques

Bombonatti

Gralha

Moreira

et al. 2016

Proceedings of the 31st Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…However, Abstraction Management was omitted from this study as, although it does cause problems for novices, it is an essential aspect of Z. More thought is needed to investigate Abstraction Management as an experimental factor and is the subject of another experimental study (Khazaei & Roast (2002) in press) [10] .…”

Section: Hard Mental Operations Is There a High Demand On Cognitive Rmentioning

confidence: 99%

Applying cognitive dimensions to evaluate and improve the usability of Z formalism

Khazaei

Triffitt

2002

Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering

Self Cite

View full text Add to dashboard Cite

Cognitive Dimensions framework is a useful tool with which the usability of information artifact can be evaluated. We have used this frame work to evaluate the usability of Z formalism in TranZit environment. The target group for this usability exercise were beginners of formal specifications in Z. A number of deficiencies due to notational issues and others due to the conceptual issues were identified. Many of these deficiencies can be easily rectified, however, Z notation is already established and therefore can not be altered but the TranZit environment can change in order to enhance the usability of Z formalism. In the context of formal specification, Cognitive Dimensions proved to be an effective framework as it raised the issue of support required for exploratory design as well as general improvement on the usability issues. KeywordsZ formalism, formal specification, cognitive dimensions, usability, TranZit environment. model schema (represented as a box) is named 'School'. The schema contains a declaration of the variables (using

show abstract

“…A sample of research in the area of the psychology of digital programming shows that the ambition of wishing to engineer digital systems can be undermined by the fact that even simple digital programs can be difficult to comprehend [5]. In particular specific highly promoted techniques aimed at addressing some elements of perceived complexity have been shown to undermine their overall rationale [6].…”

Section: Introductionmentioning

confidence: 99%

Constraining and Creating Solutions – Reflections on the Analysis of Early Design

Roast

2012

Human-Centered Software Engineering

Self Cite

View full text Add to dashboard Cite

This research explores how an existing analytic framework (the cognitive dimensions framework) for interactive digital design reflects knowledge relevant to exploring the design space. The work examines this idea through the analysis of the transcripts of three digital design collaborative workshops run as part of "Studying Professional Software Design" 1. Expert deliberation within these workshops is assessed and related to the analytic framework. The cognitive dimension framework has not been applied to observational data of this sort before. However, the approach described in this paper appears to provide a viable means of analysis. In conclusion we demonstrate that approaching observational data in this manner is not highly complex but is sufficient to provide useful insights. Reflections from the resulting analysis shed light on the interests and tensions evident in early stages of digital product design.

show abstract

The influence of formal representation on solution specification

Cited by 7 publications

References 9 publications

Usability of requirements techniques

Usability of requirements techniques

Applying cognitive dimensions to evaluate and improve the usability of Z formalism

Constraining and Creating Solutions – Reflections on the Analysis of Early Design

Contact Info

Product

Resources

About