Arguing safety with Problem oriented . . . (2007)

by Jon G Hall , Derek Mannering , Lucia Rapanotti
Venue:JOURNAL OF EDUCATIONAL COMPUTING RESEARCH

Active Bibliography

SIL4 process improvement with POSE and Alloy – Derek Mannering, Jon G Hall, Lucia Rapanotti, Walton Hall, Derek Mannering, Jon G. Hall, Lucia Rapanotti - 2007
1 The Open University – Judith Segal, Mk Aa
1 Software Process Synthesis in Assurance Based Development of Dependable Systems – Patrick J. Graydon, John C. Knight
3 Requirement Progression in Problem Frames: Deriving Specifications from Requirements – Robert Seater, Daniel Jackson, Rohit Gheyi
SLR on Evidence Classification, Structuring and Assessment for Safety. Extracted Data – Sunil Nair, Jose Luis De La Vara, Mehrdad Sabetzadeh, Lionel Bri, V Snt Centre For Security
Failure Logic Modelling: A . . . – Oleg Lisagor - 2010
4 Problem reduction: a systematic technique for deriving specifications from requirements – Lucia Rapanotti, Jon G. Hall, Zhi Li - 2006
Applications of Problem Frames – Thein T. Tun, Karl Cox, Jon G. Hall, Zhi Jin, Lucia Rapanotti - 2008
11 Requirements Engineering for e-Business Advantage – Steven J. Bleistein, Karl Cox, June Verner, Keith T. Phalp - 2004
1 A Monadic Interpretation of Tactics – Andrew Martin, Jeremy Gibbons - 2002
Issues for a Temporal Refinement Calculus – Ron van der Meyden, Yoram Moses
1 Tanaka,H.: Definite Clause Knowledge Representation and its Applications – Stefan Hallerstede, Stefan Hallerstede - 2001
1 On Refinement and Temporal Annotations – Ron Van Der Meyden, Yoram Moses
1 Reasoning algebraically about probabilistic loops – Larissa Meinicke, Larissa Meinicke, Ian J. Hayes, Ian J. Hayes - 2006
21 Formal Methods for Component Software: The Refinement Calculus Perspective – Martin Büchi, Emil Sekerinski - 1997
3 Concurrent Program Design in the Extended Theory of Owicki and Gries – Doug Goldson, Brijesh Dongol - 2005
10 Compilation as Refinement – Karl Lermer, Colin Fidge - 1997
10 Adding Real Time to Formal Program Development – Colin Fidge, Colin Fidge - 1994
5 Quartz: An Integrated Formal Development Method for Real-Time Software – C. Fidge, P. Kearney, M. Utting - 1995