Search For:

Displaying 1-22 out of 22 total
Assurance-Driven Design
Found in: Software Engineering Advances, International Conference on
By Jon G. Hall, Lucia Rapanotti
Issue Date:October 2008
pp. 379-388
The design of assurance cases has been hampered by the posit-and-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 ...
 
Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering
Found in: Internet and Web Applications and Services, International Conference on
By Lucia Rapanotti, Jon G. Hall
Issue Date:May 2009
pp. 106-111
The paper reports on the application of Problem Oriented Engineering (POE) to the design of a highly innovative post-graduate research programme for the Open University, UK, a world leader in supported distance higher education. The new programme, to be la...
 
2nd international workshop on advances and applications of problem frames
Found in: Software Engineering, International Conference on
By Lucia Rapanotti, Karl Cox, Zhi Jin, Jon G. Hall
Issue Date:May 2006
pp. 1030-1031
Software problems originate from real world problems. A software solution must address its real world problem in a satisfactory way. A software engineer must therefore understand the real world problem that their software intends to address. To be able to ...
   
2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010)
Found in: Software Engineering, International Conference on
By Jon G. Hall,Lucia Rapanotti,Liping Zhao,James Naish
Issue Date:May 2010
pp. 467-468
Software problems originate from real world problems. A software solution must address its real world problem in a satisfactory way. A software engineer must therefore understand the real world problem that their software intends to address. To be able to ...
 
Beauty in Software Engineering
Found in: Computer
By Jon G. Hall,Lucia Rapanotti
Issue Date:February 2013
pp. 85-87
Is there, like Euler's identity, a simply expressed relationship, dense in meaning, between software engineering's most basic entities?
 
1st International Workshop on Advances and Applications of Problem Frames
Found in: Software Engineering, International Conference on
By Karl Cox, Jon G. Hall, Lucia Rapanotti
Issue Date:May 2004
pp. 754-755
Software problems originate from real world problems. A software solution must address its real world problem in a satisfactory way. A software engineer must therefore understand the real world problem that their software intends to address. To be able to ...
   
Design Rationale Capture in the Globalised Enterprise: An Industrial Study
Found in: Software Engineering Advances, International Conference on
By Ann Nkwocha, Jon G. Hall, Lucia Rapanotti
Issue Date:August 2010
pp. 284-289
Design rationale in software engineering fills in the gaps between the original requirements of a system and the finished product encompassing decisions, constraints and other information that influenced the outcome. Existing research corroborates the impo...
 
Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design
Found in: Computer Software and Applications Conference, Annual International
By Jerry Overton, Jon G. Hall, Lucia Rapanotti, Yijun Yu
Issue Date:July 2009
pp. 255-260
In this position paper, we present an initial Problem Oriented Engineering foundation for a small part of Pattern-Oriented Analysis and Design (POAD). We argue for the interpretation of software design patterns as instructions for transforming quality requ...
 
Arguing safety with Problem Oriented Software Engineering
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Jon G. Hall, Derek Mannering, Lucia Rapanotti
Issue Date:November 2007
pp. 23-32
Standards demand that assurance cases support safety critical developments. It is widely acknowledged, however, that the current practice of post-hoc assurance-that the product is built and only then argued for safety-leads to many engineering process defi...
 
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
Found in: Software Engineering and Formal Methods, IEEE International Conference on
By Jon G. Hall, Lucia Rapanotti, Michael Jackson
Issue Date:September 2007
pp. 15-24
A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that brin...
 
Architecture-driven Problem Decomposition
Found in: Requirements Engineering, IEEE International Conference on
By Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bashar Nuseibeh
Issue Date:September 2004
pp. 80-89
Jackson's Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domain instead of drifting into inventing solutions. The intention is to delay consi...
 
A Reference Model for Requirements Engineering
Found in: Requirements Engineering, IEEE International Conference on
By Jon G. Hall, Lucia Rapanotti
Issue Date:September 2003
pp. 181
The Reference Model of Gunter et al., 2000, provides a framework for describing and analyzing key software engineering artifacts and their properties. In this paper we propose a reification of this framework in which behaviour is explicitly trace-based. We...
 
Relating Software Requirements and Architectures Using Problem Frames
Found in: Requirements Engineering, IEEE International Conference on
By Jon G. Hall, Michael Jackson, Robin C. Laney, Bashar Nuseibeh, Lucia Rapanotti
Issue Date:September 2002
pp. 137
<p>Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, instead of drifting into inventing solutions.</p> <p>However,...
 
Relating problem oriented engineering to current development processes: a research agenda
Found in: Proceedings of the 3rd international workshop on Applications and advances of problem frames (IWAAPF '08)
By Dariusz W. Kaminski, Jon G. Hall, Michel Wermelinger
Issue Date:May 2008
pp. 45-46
In this position paper, we propose research into expressing software development processes in terms of one generic theory, namely Problem Oriented Engineering (POE). Our aim is to relate the POE process to those available in the Rational Unified Process (R...
     
3rd international workshop on advances and applications of problem frames
Found in: Companion of the 13th international conference on Software engineering (ICSE Companion '08)
By Jon G. Hall, Karl Cox, Lucia Rapanotti, Thein T. Tun, Zhi Jin
Issue Date:May 2008
pp. 37-41
Michael Jackson's Problem Frames are a highly promising approach to early life-cycle software engineering. Their focus moves the engineer back to the problem to be solved rather than forward to the software and solving a poorly defined problem. By applying...
     
Requirements and architectures: two sides of the same coin
Found in: Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge (SHARK '08)
By Jon G. Hall
Issue Date:May 2008
pp. 1-1
Locating the relationship between requirements and architectures in software engineering design has taxed researchers ever since the topic appeared. Requirements are firmly part of the problem world, architectures part of the solution. Any relationship bet...
     
From requirements to specifications: a formal approach
Found in: Proceedings of the 2006 international workshop on Advances and applications of problem frames (IWAAPF '06)
By Jon G. Hall, Lucia Rapanotti, Zhi Li
Issue Date:May 2006
pp. 65-70
Achieving a proper understanding of the problem space before providing the design in the solution space is one of the basic tenets in requirements engineering. The Problem Frames approach provides a way for people to understand and solve software problems....
     
Problem-based analysis of organisational change: a real-world example
Found in: Proceedings of the 2006 international workshop on Advances and applications of problem frames (IWAAPF '06)
By John Brier, Jon G. Hall, Lucia Rapanotti
Issue Date:May 2006
pp. 13-18
An organization's competitive advantage is increasingly reliant on the alignment of its socio-technical systems with its business processes. These are complex and volatile due to the rapid pace of change in the marketplace, hence an organisation's continue...
     
2nd international workshop on advances and applications of problem frames
Found in: Proceedings of the 2006 international workshop on Advances and applications of problem frames (IWAAPF '06)
By Jon G. Hall, Karl Cox, Lucia Rapanotti, Zhi Jin
Issue Date:May 2006
pp. 1-4
Software problems originate from real world problems. A software solution must address its real world problem in a satisfactory way. A software engineer must therefore understand the real world problem that their software intends to address. To be able to ...
     
2nd international workshop on advances and applications of problem frames
Found in: Proceeding of the 28th international conference on Software engineering (ICSE '06)
By Jon G. Hall, Karl Cox, Lucia Rapanotti, Zhi Jin
Issue Date:May 2006
pp. 1030-1031
Software problems originate from real world problems. A software solution must address its real world problem in a satisfactory way. A software engineer must therefore understand the real world problem that their software intends to address. To be able to ...
     
Developing critical systems with PLD components
Found in: Proceedings of the 10th international workshop on Formal methods for industrial critical systems (FMICS '05)
By Adrian Hilton, Jon G. Hall
Issue Date:September 2005
pp. 72-79
Understanding the roles that rigour and formality can have in the design of critical systems is critical to anyone wishing to contribute to their development. Whereas knowledge of these issues is good in software development, in the use of hardware -- spec...
     
FPGAs in critical hardware/software systems
Found in: Proceedings of the 2003 ACM/SIGDA eleventh international symposium on Field programmable gate arrays (FPGA '03)
By Adrian J. Hilton J. Adrian J. Hilton, Gemma Townson, Jon G. Hall
Issue Date:February 2003
pp. 244-244
FPGAs are being used in increasingly complex roles in critical systems, interacting with conventional critical software. Established safety standards require rigorous justification of safety and correctness of the conventional software in such systems. New...
     
 1