Ken Robinson

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