Jon Hall
Jon Hall
Verifierad e-postadress på open.ac.uk
Titel
Citeras av
Citeras av
År
The box calculus: a new causal algebra with multi-label communication
E Best, R Devillers, JG Hall
Advances in Petri Nets 1992, 21-69, 1992
3241992
Relating software requirements and architectures using problem frames
JG Hall, M Jackson, RC Laney, B Nuseibeh, L Rapanotti
Proceedings ieee joint international conference on requirements engineering …, 2002
2172002
Architecture-driven problem decomposition
L Rapanotti, JG Hall, M Jackson, B Nuseibeh
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
1282004
Problem oriented software engineering: Solving the package router control problem
J Hall, L Rapanotti, M Jackson
IEEE Transactions on Software Engineering 34 (2), 226-241, 2008
912008
Problem frame semantics for software development
JG Hall, L Rapanotti, M Jackson
Software & Systems Modeling 4 (2), 189-198, 2005
822005
A model for a causal logic for requirements engineering
J Moffett, J Hall, A Coombes, J McDermid
Requirements Engineering 1 (1), 27-46, 1996
621996
Software architectures: advances and applications
L Barroca, J Hall
Springer Science & Business Media, 2000
612000
Relating software requirements and architectures
P Avgeriou, J Grundy, JG Hall, P Lago, I Mistrík
Springer Science & Business Media, 2011
512011
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
JG Hall, L Rapanotti, M Jackson
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
462007
A roadmap of problem frames research
K Cox, JG Hall, L Rapanotti
Information and Software Technology 47 (14), 891-902, 2005
422005
Problem frames for sociotechnical systems
JG Hall, L Rapanotti
Requirements Engineering for Sociotechnical Systems, 318-339, 2005
402005
Assurance-driven design in problem oriented engineering
JG Hall, L Rapanotti
International Journal on Advances in Systems and Measurements 2 (1), 26-31, 2009
362009
A reference model for requirements engineering
JG Hall, L Rapanotti
Proceedings. 11th IEEE International Requirements Engineering Conference …, 2003
362003
Deriving specifications from requirements through problem reduction
L Rapanotti, JG Hall, Z Li
IEE Proceedings-Software 153 (5), 183-198, 2006
302006
Arguing safety with problem oriented software engineering
JG Hall, D Mannering, L Rapanotti
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 23-32, 2007
292007
Safety process improvement with POSE and Alloy
D Mannering, JG Hall, L Rapanotti
Improvements in System Safety, 25-41, 2008
252008
Problem oriented software engineering
JG Hall, L Rapanotti, M Jackson
Open University, Dept. of Computing, Milton Keynes 10, 2006, 2006
242006
A basic-net algebra for program semantics and its application to OCCAM
R Hopkins, J Hall, O Botti
Advances in Petri Nets 1992, 179-214, 1992
231992
The Open University
JG Hall, L Rapanotti
222007
Assurance-driven design
JG Hall, L Rapanotti
2008 The Third International Conference on Software Engineering Advances …, 2008
212008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20