Z User Workshop Cambridge 1994

Author : J.P. Bowen,J.A. Hall
Publisher : Springer Science & Business Media
Page : 405 pages
File Size : 41,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447134527

Get Book

Z User Workshop, Cambridge 1994 by J.P. Bowen,J.A. Hall Pdf

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Author : Jonathan Peter Bowen
Publisher : Springer Verlag
Page : 403 pages
File Size : 46,7 Mb
Release : 1994
Category : Computers
ISBN : 0387198849

Get Book

Z User Workshop, Cambridge, 1994 by Jonathan Peter Bowen Pdf

Author : Alban Ponse,Christiaan Verhoef,Sebastiaan F.M.van Vlijmen
Publisher : Springer Science & Business Media
Page : 369 pages
File Size : 42,8 Mb
Release : 2012-12-06
Category : Mathematics
ISBN : 9781447121206

Get Book

Algebra of Communicating Processes by Alban Ponse,Christiaan Verhoef,Sebastiaan F.M.van Vlijmen Pdf

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an introduction to the remainder of the proceedings and, indeed, as a general introduction to ACP. An extended abstract of this paper is published under the same title in the ICALP' 84 proceedings. Of the re maining contributions, three were submitted by the invited speakers and the others were selected by the programme committee. As for the presentations, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager were each invited to deliver a lecture. A paper relating to Frits Vaandrager's lecture has already been submitted for publication elsewhere and is not, therefore, included in these pro ceedings. Gabriel Ciobanu, one of our guests, gave an impression of his work in an extra lecture. Furthermore, ten presentations were given on the basis of selected papers.

Author : Graham Birtwistle,Alan Davis
Publisher : Springer Science & Business Media
Page : 272 pages
File Size : 50,6 Mb
Release : 2013-04-17
Category : Mathematics
ISBN : 9781447135753

Get Book

Asynchronous Digital Circuit Design by Graham Birtwistle,Alan Davis Pdf

As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and applications of formal specification. It also includes a state-of-the-art survey of asynchronous hardware design. The resulting volume will be invaluable to anyone interested in designing correct asynchronous circuits which exhibit high performance or low power operation.

Author : Yves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery
Publisher : Springer
Page : 364 pages
File Size : 49,5 Mb
Release : 2003-07-31
Category : Mathematics
ISBN : 9783540482567

Get Book

Theorem Proving in Higher Order Logics by Yves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery Pdf

This book constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. The 20 revised full papers presented together with three invited contributions were carefully reviewed and selected from 35 papers submitted. All current aspects of higher order theorem proving, formal verification, and specification are discussed. Among the theorem provers evaluated are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.

Author : Anonim
Publisher : Unknown
Page : 448 pages
File Size : 41,6 Mb
Release : 1998
Category : Z (Computer program language)
ISBN : UOM:39015047352284

Get Book

ZUM ... the Z Formal Specification Notation by Anonim Pdf

Author : Anonim
Publisher : Unknown
Page : 844 pages
File Size : 43,9 Mb
Release : 1996
Category : Engineering
ISBN : UOM:39015074109227

Get Book

Directory of Published Proceedings by Anonim Pdf

Author : Bert Didier
Publisher : Springer Science & Business Media
Page : 328 pages
File Size : 47,9 Mb
Release : 1998-04-08
Category : Computers
ISBN : 3540644059

Get Book

B'98: Recent Advances in the Development and Use of the B Method by Bert Didier Pdf

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

Author : J.P. Bowen,J.E. Nicholls
Publisher : Springer Science & Business Media
Page : 350 pages
File Size : 45,5 Mb
Release : 2013-03-09
Category : Computers
ISBN : 9781447135562

Get Book

Z User Workshop, London 1992 by J.P. Bowen,J.E. Nicholls Pdf

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Author : Johann Eder,Leonid A. Kalinichenko
Publisher : Springer
Page : 456 pages
File Size : 44,8 Mb
Release : 1995-03-22
Category : Computers
ISBN : UCSC:32106011645501

Get Book

East/West Database Workshop by Johann Eder,Leonid A. Kalinichenko Pdf

This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Austria, continuing a series of workshops started in Kiev in 1990 (Lecture Notes in Computer Science No. 504, Springer, "Next Generation Information System Technology"). The aims of this workshop are twofold: first, to provide a forum for the presentation and in-depth discussion of scientific achievements in the field of advanced databases that will effectively improve the building and use of future information systems; second, to establish and increase communication between research communities which were formerly separated and, therefore, had only rare opportunities to interact. It should establish contacts between researchers from the East and from the West to make exchange of ideas possible and to trigger collaborations. However, it is not only political borders which change their perviousness as a result of -or giving rise to -new autonomies or new possibilities for interaction and collaboration. The same happens with the borders between scientific areas, in particular in the dynamically evolving areas of computer science. Databases and programming languages are integrated in object oriented databases, database and information retrieval technology form together the basis for modern (multimedia) information systems. Furthermore, the borders between different information systems change and allow various forms of collaboration while maintaining different degrees of autonomy. Heterogeneous and distributed databases are enabling technologies for these systems.

Author : Great Britain. Patent Office
Publisher : Unknown
Page : 514 pages
File Size : 44,7 Mb
Release : 1994
Category : Patents
ISBN : NYPL:33433060200130

Get Book

Illustrated Official Journal (patents) by Great Britain. Patent Office Pdf

Author : Mikael Berndtsson
Publisher : Springer
Page : 284 pages
File Size : 42,8 Mb
Release : 1995-12
Category : Computers
ISBN : UCSC:32106013308512

Get Book

Active and Real-Time Database Systems (ARTDB-95) by Mikael Berndtsson Pdf

The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.

Author : Mark A. Brown,Jose Carmo
Publisher : Springer
Page : 264 pages
File Size : 45,6 Mb
Release : 1995-12
Category : Computers
ISBN : OSU:32435053701058

Get Book

Deontic Logic, Agency and Normative Systems by Mark A. Brown,Jose Carmo Pdf

This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences.

Author : Jörg Desel
Publisher : Springer
Page : 372 pages
File Size : 53,5 Mb
Release : 1995-10-13
Category : Computers
ISBN : UOM:39015036233305

Get Book

Structures in Concurrency Theory by Jörg Desel Pdf

This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organised by the Humboldt-Universität zu Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design methodologies based on causal models such as Petri nets. The workshop marked the third year of the project, and surveyed the results of CALIBAN and DEMON since 1989.

Author : James Clifford,Alexander Tuzhilin
Publisher : Springer
Page : 380 pages
File Size : 48,6 Mb
Release : 1995-09-29
Category : Computers
ISBN : UOM:39015038438522

Get Book

Recent Advances in Temporal Databases by James Clifford,Alexander Tuzhilin Pdf

This volume contains papers presented at the International Workshop on Temporal Databases, held in Zurich, Switzerland, from 17-18 September 1995. The papers cover a wide range of topics from the highly theoretical through to reports on how temporal data bases can be used to solve real problems. In addition to the technical papers, there are also summaries of two panel discussions which assess the recently-completed TSQL2 Language Design, and examine the need for additional research into the development of TSQL3. Together these papers provide a comprehensive overview of the latest research work into the area of temporal databases. They will provide invaluable reading for researchers, postgraduate students and practitioners.