Ken Robinson

According to our database, Ken Robinson authored at least 22 papers between 1979 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Software engineering or soft engineering?

Ken Robinson, Peter S. Ho

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2008

Reconciling Axiomatic and Model-Based Specifications Reprised.

Ken Robinson

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Patterns for B: Bridging Formal and Informal Development.

Edward Chan, Ken Robinson, Brett Welch

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2005

Tank Monitoring: A pAMN Case Study.

Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne

Proceedings of the REFINE 2005 Workshop, 2005

Development via Refinement in Probabilistic B - Foundation and Case Study.

Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays.

John Risson, Ken Robinson, Tim Moors

Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005

2004

Embedding Formal Development in Software Engineering.

Ken Robinson

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

2003

Probabilistic Invariants for Probabilistic Machines.

Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2000

Reconciling Axiomatic and Model-Based Specifications Using the B Method.

Ken Robinson

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1998

Where are we? The year 2000 and computer science.

Ken Robinson

Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, 1998

1997

Computer science education at the cross-roads.

Kenneth Arthur Robinson

Proceedings of the Informatics in Higher Education, 1997

Informatics: the core and the presentation.

Helen Geissinger, Peter S. Ho, Kenneth Arthur Robinson

Proceedings of the Informatics in Higher Education, 1997

The B Method and the B Toolkit.

Ken Robinson

Proceedings of the Algebraic Methodology and Software Technology, 1997

Modular Refinement and Model Building.

Martin de Groot, Ken Robinson

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

To Zed and back: integrating data flow diagrams and Z.

Ken Robinson, Peter S. Ho, Martin Schwenke

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1994

A note on the quantification of computer programming skill.

Harold Stanislaw, Beryl Hesketh, Sylvia Kanavaros, Tim Hesketh, Ken Robinson

Int. J. Hum. Comput. Stud., 1994

1993

Using Miranda as a First Programming Language.

Tim Lambert, Peter Lindsay, Ken Robinson

J. Funct. Program., 1993

1992

Modular Reasoning in an Object-Oriented Refinement Calculus.

Mark Utting, Ken Robinson

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1991

Graphics workstations: a European perspective.

Ken Robinson, Mark Martin, Max E. Mehl, Allan Davison, Kieron Drake, Mel Slater

IEEE Computer Graphics and Applications, 1991

1990

Tool Support for the Refinement Calculus.

David A. Carrington, Kenneth Arthur Robinson

Proceedings of the Computer-Aided Verification, 1990

Computer Assistance for Program Refinement.

David A. Carrington, Kenneth Arthur Robinson

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1979

The Design of a Successor to Pascal.

Ken Robinson

Proceedings of the Language Design and Programming Methodology, 1979