Ken Robinson

Publication Activity (10 Years)

Years Active: 1979-2011
Publications (10 Years): 0

Publications

Ken Robinson, Peter S. Ho
Software engineering or soft engineering? CSEE&T (2011)
Ken Robinson
Reconciling Axiomatic and Model-Based Specifications Reprised. ABZ (2008)
Edward Chan, Ken Robinson, Brett Welch
Patterns for B: Bridging Formal and Informal Development. B (2007)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank monitoring: a pAMN case study. Formal Aspects Comput. 18 (3) (2006)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank Monitoring: A pAMN Case Study. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
John Risson, Ken Robinson, Tim Moors
Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays. LCN (2005)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Development via Refinement in Probabilistic B - Foundation and Case Study. ZB (2005)
Ken Robinson
Embedding Formal Development in Software Engineering. TFM (2004)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Probabilistic Invariants for Probabilistic Machines. ZB (2003)
Ken Robinson
Reconciling Axiomatic and Model-Based Specifications Using the B Method. ZB (2000)
Ken Robinson
Where are we? The year 2000 and computer science. ACSE (1998)
Martin de Groot, Ken Robinson
Modular Refinement and Model Building. AMAST (1997)
Ken Robinson
The B Method and the B Toolkit. AMAST (1997)
Ken Robinson, Peter S. Ho, Martin Schwenke
To Zed and back: integrating data flow diagrams and Z. ACSE (1996)
Harold Stanislaw, Beryl Hesketh, Sylvia Kanavaros, Tim Hesketh, Ken Robinson
A note on the quantification of computer programming skill. Int. J. Hum. Comput. Stud. 41 (3) (1994)
Tim Lambert, Peter Lindsay, Ken Robinson
Using Miranda as a First Programming Language. J. Funct. Program. 3 (1) (1993)
Mark Utting, Ken Robinson
Modular Reasoning in an Object-Oriented Refinement Calculus. MPC (1992)
Ken Robinson, Mark Martin, Max E. Mehl, Allan Davison, Kieron Drake, Mel Slater
Graphics workstations: a European perspective. IEEE Computer Graphics and Applications 11 (2) (1991)
Ken Robinson
The Design of a Successor to Pascal. Language Design and Programming Methodology (1979)