Workshops in Computing – serie
Visar alla böcker i serien Workshops in Computing. Handla med fri frakt och snabb leverans.
68 produkter
Specification and Verification of Concurrent Systems
Häftad, 1990
567 kr
Lägg i varukorg
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of …
AI and Cognitive Science ’89
Dublin City University 14–15 September 1989
Av Alan Smeaton, Gabriel McDermott
Häftad, 1990
567 kr
Lägg i varukorg
This volume contains the texts of papers presented at the Second Irish Conference on Artificial Intelligence and Cognitive Science, held at Dublin City University in September 1989. This Conference has now become the major annual forum in Ireland for the presentation and discussion of current …
Functional Programming
Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland
Av Kei Davis, John Hughes
Häftad, 1990
567 kr
Lägg i varukorg
Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In some universities, a functional programming …
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
Av Marta Z. Kwiatkowska, Michael W. Shields m. fl.
Häftad, 1990
567 kr
Lägg i varukorg
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise …
Persistent Object Systems
Proceedings of the Third International Workshop 10–13 January 1989, Newcastle, Australia
Häftad, 1990
567 kr
Lägg i varukorg
Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist. This is in direct contrast with conventional systems where temporary objects are created and manipulated using one mechanism (typically programming …
Z User Workshop
Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989
Häftad, 1990
567 kr
Lägg i varukorg
The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Hence among early Z …
Formal Methods for Trustworthy Computer Systems (FM89)
Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada
Av Dan Craigen
Häftad, 1990
567 kr
Lägg i varukorg
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in …
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
Av John Rosenberg, J.Leslie Keedy
Häftad, 1990
567 kr
Lägg i varukorg
During a short visit to Bremen in December 1989 John Rosenberg had several discussions with me about computer architecture. Although we had previously worked together for more than a decade in Australia we had not seen each other for over a year, following my move to Bremen in 1988. Meanwhile John …
Women into Computing
Selected Papers 1988–1990
Av Gillian Lovegrove, Barbara Segal
Häftad, 1991
535 kr
Lägg i varukorg
This publication contains a selection of papers from the Women into Computing (WiC) Conferences which have been held over the last three years. Major national conferences were held in 1988 and 1990 and a smaller conference on the subject of organizing workshops for schoolgirls was held in 1989. The …
Software Re-use, Utrecht 1989
Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands
Av Liesbeth M. Dusink, Patrick A.V. Hall
Häftad, 1991
567 kr
Lägg i varukorg
In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. This book is the outcome of that meeting. Prior to the …
AI and Cognitive Science ’90
University of Ulster at Jordanstown 20–21 September 1990
Av Michael F. McTear, Norman Creaney
Häftad, 1991
567 kr
Lägg i varukorg
This book contains the edited versions of papers presented at the 3rd Irish Conference on Artificial Intelligence and Cognitive Science, which was held at the University of Ulster at Jordanstown, Northern Ireland on 20-21 September 1990. The main aims of this annual conference are to promote AI …
4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
Av Joseph M. Morris, Roger C. Shaw
Häftad, 1991
567 kr
Lägg i varukorg
This volume contains the papers presented at the 4th Refinement Workshop, organized 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 the systematic and formal methodology of specifying hardware and …
Designing Correct Circuits
Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
Av Geraint Jones, Mary Sheeran
Häftad, 1991
567 kr
Lägg i varukorg
These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software …
IV Higher Order Workshop, Banff 1990
Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
Häftad, 1991
567 kr
Lägg i varukorg
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current …
Functional Programming, Glasgow 1990
Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
Av Simon L. Peyton Jones, Graham Hutton m. fl.
Häftad, 1991
567 kr
Lägg i varukorg
The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry. …
Z User Workshop, Oxford 1990
Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990
Häftad, 1991
567 kr
Lägg i varukorg
The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This …
Specifications of Database Systems
International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991
Av David J. Harper, Moira C. Norrie
Häftad, 1992
567 kr
Lägg i varukorg
Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification techniques have recognized that the database field provides a rich context for developing their …
7th UK Computer and Telecommunications Performance Engineering Workshop
Edinburgh, 22–23 July 1991
Av Jane E. Hillston, Peter J.B. King m. fl.
Häftad, 1992
551 kr
Lägg i varukorg
Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to provide a valuable opportunity for the discussion …
ALPUK91
Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991
Av Geraint A. Wiggins, Chris Mellish m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many …
Declarative Programming, Sasbachwalden 1991
PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
Av John Darlington, Roland Dietrich
Häftad, 1992
567 kr
Lägg i varukorg
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel …
Building Interactive Systems
Architectures and Tools
Häftad, 1992
567 kr
Lägg i varukorg
Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal structural organisation of systems and the latter with the effective support of the design and management of user interfaces. They are regarded as …
Logic Program Synthesis and Transformation
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
Av Timothy P. Clement, Kung-Kiu Lau
Häftad, 1992
567 kr
Lägg i varukorg
Logic programming synthesis and transformation are methods are deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the …
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Av Cliff B. Jones, Roger C. Shaw m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
Refinement is the term used to describe systematic and formal methods of specifying hardware and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard-and software is widely appreciated by academics and workers in …
Code Generation — Concepts, Tools, Techniques
Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991
Av Robert Giegerich, S.L. Graham
Häftad, 1992
567 kr
Lägg i varukorg
Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate current methods of code generation and to indicate the main directions which future research is …
Functional Programming, Glasgow 1991
Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991
Av Rogardt Heldal, Carsten K. Holst m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly, enhancing coherence, cross fertilisation, and …
Object Orientation in Z
Av Susan Stepney, Rosalind Barden m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in …
Z User Workshop, York 1991
Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991
Häftad, 1992
567 kr
Lägg i varukorg
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the …
ALPUK92
Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992
Av Krysia Broda
Häftad, 1992
567 kr
Lägg i varukorg
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, …
AI and Cognitive Science ’91
University College, Cork, 19–20 September 1991
Häftad, 1992
535 kr
Lägg i varukorg
This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University College, Cork, Ireland on 19-20 September 1991. The main aims of this annual conference series are to promote AI …
Formal Aspects of Measurement
Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Av Tim Denvir, Rosalind Herman m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS). In addition, there are five papers …
