Cover Image

4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /

This volume contains the papers presented at the 4th Refinement Workshop, organised by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. Refinement is the term used to describe systematic and formal methods of specifying hardware and software, and...

Full description

Bibliographic Details
Main Author:	Morris, Joseph M.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Shaw, Roger C.
Format:	eBook
Language:	English
Published:	London : Springer London, 1991.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)

Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
by: Birtwistle, G. M. (Graham M.)
Published: (1991)

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)

6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /
by: Till, David, 1942-
Published: (1994)

Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)

Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)

Asynchronous Digital Circuit Design /
by: Birtwistle, G. M. (Graham M.)
Published: (1995)

Program Development by Refinement : Case Studies Using the B Method /
by: Sekerinski, Emil
Published: (1999)

Mural: A Formal Development Support System /
by: Jones, C. B.
Published: (1991)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
by: Kwiatkowska, Marta Zofia
Published: (1990)

Visual Database Systems 4 (VDB4) : IFIP TC2 /
by: Ioannidis, Yannis
Published: (1998)

Formal Methods in Standards : a Report from the BCS Working Group /
by: Ruggles, C. L. N.
Published: (1990)

Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 /
by: Heldal, Rogardt
Published: (1992)

Persistent Object Systems : Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 /
by: Albano, Antonio
Published: (1993)

Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996 /
by: Sarshar, Marjan
Published: (1996)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Software Engineering - ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings /
by: Sommerville, Ian, 1951-
Published: (1993)

Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)

Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland /
by: Jones, Simon L. Peyton
Published: (1991)

Software Re-use, Utrecht 1989 : Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands /
by: Dusink, Liesbeth M.
Published: (1991)

Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
by: Gritzalis, Dimitris
Published: (1997)

Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999 /
by: Nixon, Paddy
Published: (2000)

NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 /
by: Purushothaman
Published: (1993)

Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
by: Andrews, D. J.
Published: (1994)

Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)

Object Oriented Computer Systems Engineering /
by: Morris, Derrick, 1934-
Published: (1996)

Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
by: Girault, Claude
Published: (1982)

Applications and Theory of Petri Nets : Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS) /
by: Pagnoni, Anastasia
Published: (1983)

Shifting Paradigms in Software Engineering : Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 /
by: Mittermeir, Roland
Published: (1992)

The Book of L /
by: Rozenberg, G.
Published: (1986)

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
by: Nicholls, J. E.
Published: (1992)

APL2 in Depth /
by: Thomson, Norman D.
Published: (1995)

TRON Project 1987 Open-Architecture Computer Systems : Proceedings of the Third TRON Project Symposium /
by: Sakamura, Ken
Published: (1987)

High-Integrity Software /
by: Sennett, C. T.
Published: (1990)

Intersensory Perception and Sensory Integration /
by: Walk, Richard D.
Published: (1981)

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)