Open Access
Assurance-driven design in Problem Oriented Engineering
Jon G. Hall,Lucia Rapanotti +1 more
- 01 Oct 2009
TL;DR: Assurance-driven design allows an organisation to assess their assurance needs according to their developmental needs, including their attitude to risk, and to adapt their processes accordingly, and is not, however, a prescriptive method.
read more
Abstract: The design of assurance cases is hampered by the positand-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced and then evidence from the development is looked for to build an assurance case. Although post-hoc assured development is possible, it often results in errors being uncovered late—leading to costly redevelopment—or to systems being over-engineered—which also escalates cost. As a consequence, there has been a recent move towards the proactive design of the assurance case. Assurance-driven design sees assurance as a driving force in design. Assurance-driven design is suggestive of how the design process should be shaped for assurance. It is not, however, a prescriptive method; rather it allows an organisation to assess their assurance needs according to their developmental needs, including their attitude to risk, and to adapt their processes accordingly. We have situated the work within Problem Oriented Engineering, a design framework inspired by Gentzen-style systems, with its root in requirement and software engineering. In the paper we present the main elements of the approach and report on its application in real-world projects.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Design rationale capture for process improvement in the globalised enterprise: an industrial study
TL;DR: This paper addresses the viability and benefits of capturing design rationale as a by-product of design in the context of a real-world global organisational setting and provides some positive evidence that the approach-guided knowledge capture of key design rationale elements combined well with existing practices within the organisation and even led to improvement to one of their key processes.
Software engineering as the design theoretic transformation of software problems
Jon G. Hall,Lucia Rapanotti +1 more
TL;DR: An approach that brings both non-formal and formal aspects of software engineering together within a single theoretical framework, which sees software engineering practice as recordable and re-playable design theoretic transformations of software problems.
14
Design concerns in the engineering of virtual worlds for learning
Lucia Rapanotti,Jon G. Hall +1 more
TL;DR: Issues based on the experience of socio-technical engineering of a novel learning programme for higher education with a substantial virtual component of the project's significance stems from the large number of stake-holders involved, the relatively large scale of the virtual world development and the strategic significance of such a development within the learning programme.
13
•Proceedings Article
Lessons learned in developing a second life educational environment
Lucia Rapanotti,Jon G. Hall +1 more
- 01 Apr 2010
TL;DR: The lessons learnt from the viewpoint of managing the development of the learning environment could be of benefit to educators and educational technologists who are thinking to engage in this sort of development.
Design Rationale Capture in the Globalised Enterprise: An Industrial Study
Ann Nkwocha,Jon G. Hall,Lucia Rapanotti +2 more
- 22 Aug 2010
TL;DR: This paper tested the hypothesis that an emerging design approach – Problem Oriented Engineering (POE) – enables the capture of design rationale as the methodological by-product of software engineering activities, hence potentially addresses concerns over cost effectiveness of in situ design rationale capture.
9
References
•Book
Fractal Geometry: Mathematical Foundations and Applications
Kenneth J. Falconer
- 16 Mar 1990
TL;DR: In this article, a mathematical background of Hausdorff measure and dimension alternative definitions of dimension techniques for calculating dimensions local structure of fractals projections of fractality products of fractal intersections of fractalities.
7.2K
•Book
Lean thinking: banish waste and create wealth in your corporation (2nd, revised and updated ed.)
James P. Womack,Daniel T. Jones +1 more
- 01 Jan 2003
TL;DR: The authors describe in detail how managers in a wide range of companies and industries - small, medium and large, North American, European and Japanese - transformed their business by applying the principles of lean thinking.
5K
•Book
Lean Thinking: Banish Waste and Create Wealth in Your Corporation
James P. Womack,Daniel T. Jones +1 more
- 01 Jan 1996
TL;DR: In this paper, Lean thinking is used to eliminate waste and create wealth in a company, with the goal of eliminating waste and creating wealth in the company itself, by eliminating unnecessary resources.
2.8K
•Book
Software Abstractions: Logic, Language, and Analysis
Daniel Jackson
- 01 Jan 2006
TL;DR: This revised edition of Software Abstractions updates the text, examples, and appendixes to be fully compatible with the latest version of Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions.
Writing effective use cases
TL;DR: The authors indulge in a long-winded literature survey of planning systems and provide proofs of necessity, consistency, and optimality of their framework, that practitioners will no doubt find tiresome as the book is given the flavour of a PhD thesis.
1.3K