|
|
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
|
Software Process Synthesis in Assurance Based Development of Dependable Systems
– Patrick J. Graydon, John C. Knight
|
|
1
|
Requirement Progression in Problem Frames: Deriving Specifications from Requirements
– Robert Seater, Daniel Jackson, Rohit Gheyi
|
|
4
|
Problem reduction: a systematic technique for deriving specifications from requirements
– Lucia Rapanotti, Jon G. Hall, Zhi Li
- 2006
|
|
10
|
Requirements Engineering for e-Business Advantage
– Steven J. Bleistein, Karl Cox, June Verner, Keith T. Phalp
- 2004
|
|
|
Applications of Problem Frames
– Thein T. Tun, Karl Cox, Jon G. Hall, Zhi Jin, Lucia Rapanotti
- 2008
|
|
1
|
A Monadic Interpretation of Tactics
– Andrew Martin, Jeremy Gibbons
- 2002
|
|
|
Issues for a Temporal Refinement Calculus
– Ron van der Meyden, Yoram Moses
|
|
10
|
Compilation as Refinement
– Karl Lermer, Colin Fidge, Karl Lermer Colin
- 1997
|
|
1
|
Tanaka,H.: Definite Clause Knowledge Representation and its Applications
– Stefan Hallerstede, Stefan Hallerstede
- 2001
|
|
11
|
Adding Real Time to Formal Program Development
– Colin Fidge, Colin Fidge
- 1994
|
|
1
|
On Refinement and Temporal Annotations
– Ron Van Der Meyden, Yoram Moses
|
|
3
|
Concurrent Program Design in the Extended Theory of Owicki and Gries
– Doug Goldson, Brijesh Dongol
- 2005
|
|
1
|
Reasoning algebraically about probabilistic loops
– Larissa Meinicke, Larissa Meinicke, Ian J. Hayes, Ian J. Hayes
- 2006
|
|
6
|
Quartz: An Integrated Formal Development Method for Real-Time Software
– C. Fidge, C. Fidge, P. Kearney, P. Kearney, M. Utting, M. Utting
- 1994
|
|
21
|
Formal Methods for Component Software: The Refinement Calculus Perspective
– Martin Büchi, Emil Sekerinski
- 1997
|
|
11
|
From Kleene Algebra to Refinement Algebra
– Joakim von Wright
- 2002
|
|
54
|
Refinement Calculus, Part I: Sequential Nondeterministic Programs
– R. J. R. Back, J. von Wright
- 1989
|
|
34
|
The Greybox Approach: When Blackbox Specifications Hide Too Much
– Martin Büchi, Wolfgang Weck
- 1999
|
