Download or read book 4th Refinement Workshop written by Joseph M. Morris and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 488 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their speCifications. The workshop gives a fair picture of the state of the art: it presents new theories for reasoning about software and hardware and case studies in applying known theory to interesting small-and medium-scale problems. We hope the book will be Of interest both to researchers in formal methods, and to software engineers in industry who want to keep abreast of possible applications of formal methods in industry. The programme consisted both of invited talks and refereed papers. The invited speakers were Ib S0rensen, Jean-Raymond Abrial, Donald MacKenzie, Ralph Back, Robert Milne, Mike Read, Mike Gordon, and Robert Worden who gave the introductory talk. This is the first refinement workshop that solicited papers for refereeing, and despite a rather late call for papers the response was excellent.

Download or read book 6th Refinement Workshop written by David Till and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 315 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.

Download or read book IV Higher Order Workshop Banff 1990 written by Graham Birtwistle and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September 10-14 1990 and organised by the Computer Science Department of the University of Calgary. The workshop gathered together researchers interested in applying higher order techniques to a range of problems. The workshop format had a few (but fairly long) presentations per day. This left ample time for healthy discussion and argument, many of which continued on into the small hours. With so much to choose from, the program had to be selective. This year's workshop was divided into five parts: 1. Expressing and reasoning about concurrency: Warren Burton and Ken Jackson, John Hughes, and Faron Moller. 2. Reasoning about synchronous circuits: Geraint Jones and Mary Sheeran (with a bonus on the fast Fourier transform from Geraint). 3. Reasoning about asynchronous circuits: Albert Camilleri, Jo Ebergen, and Martin Rem. 4. Categorical concepts for programming languages: Robin Cockett, Barry Jay, and Andy Pitts.

Download or read book Database Programming Languages DBPL 4 written by Catriel Beeri and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 443 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type systems and database systems. As in the previous DBPL workshops, the setting was informal, allowing the participants to actively discuss and argue about the ideas presented in the talks. The comments and remarks made by the participants during and after the presentations were taken into account in the preparation of the final versions of the papers. The result, we believe, is a set of excellent papers. The DBPL sequence is closely related to the sequence of International Workshops on Persistent Object Systems (POS), first started in 1985. While the DBPL workshops focus on language and model issues, the POS workshops have focused on implementation issues; thus the two sequences complement each other. Many researchers participate in both workshop series. The eight sessions of the technical program of DBPL-4 were as follows: 1. Bulk types and their query languages (two sessions). 2. Object models and languages. 3. Data types with order. 4. Mechanisms to support persistence, reflection, and extensibility. 5. Query optimization and integrity constraints. 6. Logic-based models. 7. Implementation and performance issues.

Download or read book Z User Workshop York 1991 written by J. E. Nicholls and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O· fx = x + 1 (i) "f x : ~ 1 x ~ O· fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. This contradicts the fact that f was declared as a function, that is, f must have a unique result when applied to an argument. Hence no suchfexists. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced! From 1 = 2 anything can be deduced, thus showing the danger of an inconsistent specification. Note that all examples and proofs start with the word Example or Proof and end with the symbol.1.

Download or read book Z User Workshop Cambridge 1994 written by J.P. Bowen and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Z User Workshop London 1992 written by J.P. Bowen and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book First International Workshop on Larch written by Ursula Martin and published by Springer Science & Business Media. This book was released on 2013-11-11 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). Major applications have included VLSI circuit synthesis, medical device communications, compiler development and concurrent systems based on Lamport's TLA, as well as several applications to classical theorem proving and algebraic specification. Larch supports a two-tiered approach to specifying software and hardware modules. One tier of a specification is wrillen in the Larch Shared Language (LSL). An LSL specification describes mathematical abstractions such as sets, relations, and algebras; its semantics is defined in terms of first-order theories. The second tier is written in a Larch interface language, one designed for a specific programming language. An interface specification describes the effects of individual modules, e.g. state changes, resource allocation, and exceptions; its semantics is defined in terms of first-order predicates over two states, where state is defined in terms of the programming language's notion of state. Thus, LSL is programming language independent; a Larch interface language is programming language dependent.

Download or read book Z User Workshop Oxford 1990 written by J.E. Nicholls and published by Springer Science & Business Media. This book was released on 2013-11-11 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Advances in Databases and Information Systems written by Johann Eder and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume results from the regular sessions of the Second International Workshop of the Moscow ACM SIGMOD Chapter "Advances in Databases and Information Systems" (ADBIS'95) that took place 27th-30th June 1995, in Moscow, Russia. ADBIS'95 continues a series of annual Workshops on Advances in Databases and Information Systems organized by the Moscow ACM SIGMOD Chapter in cooperation with the Russian Founda tion for Basic Research. Past successful ADBIS conferences include the ADBIS'93 and ADBIS'94 Workshops that took place in Moscow. The aims of these workshops are to provide a forum for the presentation and in-depth discussion of advanced research directions that will effectively improve the building and use of future information systems and to increase communication between the Eastern and Western research communities which were formerly separated and still have only rare possibilities to interact. Improving of the contacts and exchange of ideas between researchers from the East and from the West will eventually lead to better collaboration between them. The ADBIS'95 Call for Submissions attracted 60 submissions from 15 countries of which 35 submissions were accepted for presentation at the regular sessions, 9 as posters, and 7 as presentations for a special session for the Information Systems for Science. This volume contains the papers presented in the regular sessions.

Download or read book Active and Real Time Database Systems ARTDB 95 written by Mikael Berndtsson and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: The areas of active and real-time databases have seen a tremendous growth of interest in the past few years, particularly with regard to their support of time-critical and embedded applications. ARTDB-95 provided, therefore, an important forum for researchers from both communities to discuss research results, and also to chart new directions for the future. As well as the 11 submitted papers presented at the workshop, this volume also contains 4 invited papers on the following topics: the impact of active databases on commercial practice; the optimization of active database transactions; the need for better language, compiler and tool support for real-time databases; and the origin of time constraints associated with data, events and actions. Together the papers give a comprehensive overview of current research, and will provide invaluable reading for academic and industrial researchers and students at both undergraduate and postgraduate level.

Download or read book Hypermedia Design written by Sylvain Fraisse and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 254 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the latest volume in the 'Workshops in Computing' series, and contains papers from the International Workshop on Hpyermedia Design, held in Montpellier, France, from 1 - 2 June 1995. The workshop aimed to provide a forum for researchers and practitioners from a variety of backgrounds to discuss the many facets of hypermedia design. Among the specific topics covered by the papers are: design methods, multimedia modelling, higher structures in hypermedia design spaces, user-interface design for hypermedia, building distributed web applications, and hyperdialogs. The resulting volume provides a comprehensive overview of the state of the art in this important field. It will be of interest to researchers, practitioners and students involved in any aspect of hypermedia design.

Download or read book Structures in Concurrency Theory written by Jörg Desel and published by Springer Science & Business Media. This book was released on 2013-03-08 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.

Download or read book Neural Computation and Psychology written by Leslie S. Smith and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: The papers that appear in this volume are refereed versions of presenta tions made at the third Neural Computation and Psychology Workshop, held at Stirling University, Scotland, from 31 August to 2 September 1994. The aim of this series of conferences has been to explore the interface between Neural Computing and Psychology: this has been a fruitful area for many researchers for a number of reasons. The development ofNeural Computation has supplied tools to researchers in Cognitive Neuroscience, allowing them to look at possible mechanisms for implementing theories which would otherwise remain 'black box' techniques. These theories may be high-level theories, concerned with interaction between a number of brain areas, or low-level, describing the way in which smaller local groups of neurons behave. Neural Computation techniques have allowed computer scientists to implement systems which are based on how real brains appear to function, providing effective pattern recognition systems. We can thus mount a two-pronged attack on perception. The papers here come from both the Cognitive Psychology viewpoint and from the Computer Science viewpoint: it is a mark of the growing maturity of the interface between the two subjects that they can under stand each other's papers, and the level of discussion at the workshop itself showed how important each camp considers the other to be. The papers here are divided into four sections, reflecting the primary areas of the material.

Download or read book Recent Advances in Temporal Databases written by James Clifford and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: The International Workshop on Temporal Databases held in Zurich, Switzerland, 17-18 September 1995 brought together researchers from academic and industrial institutions with database practitioners interested in keeping up with the state-of-the-art developments in the management of temporal data. A previous workshop in Arlington, Texas in June 1993 focused on the development of an infrastructure that would spur the development of commercial implementations of many of the generally agreed-upon features of temporal database management that have emerged from the temporal database research community over more than a decade of research. This ARP AlNSF-sponsored Arlington workshop saw the formation of the TSQL2 Language Design Committee, which led to the development of the recently completed TSQL2 Language Specification, and also created a "consensus" glossary of temporal database terminology and a test suite of temporal database queries. The Zurich workshop was conceived from the outset to be universal in scope, and international in participation. The Call for Papers sought to evoke the highest quality and most up-to-date temporal database research from around the world. Mindful of the important work accomplished by the previous workshop, the Call also specifically sought out research papers and panels that would comment and build upon the widely publicized results from Arlington. These proceedings contain the papers that were selected for presentation at the International Workshop, on Temporal Databases held in Zurich, Switzerland on 17-18 September 1995.

Download or read book Security for Object Oriented Systems written by Bhavani Thuraisingham and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 237 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers from the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, held in Washington DC, USA, on 26 September 1993. The workshop addressed the issue of how to introduce an acceptable level of security into object-oriented systems, as the use of such systems becomes increasingly widespread. The topic is approached from two different, but complementary, viewpoints: the incorporation of security into object-oriented systems, and the use of object-oriented design and modelling techniques for designing secure applications. The papers cover a variety of issues, relating to both mandatory and discretionary security, including security facilities of PCTE, information flow control, the design of multilevel secure data models, and secure database interoperation via role translation. The resulting volume provides a comprehensive overview of current work in this important area of research.

Download or read book Algebra of Communicating Processes written by Alban Ponse and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 369 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.