Workshops in Computing – serie
Visar alla böcker i serien Workshops in Computing. Handla med fri frakt och snabb leverans.
68 produkter
68 produkter
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
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 practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
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 research work in the multi-disciplinary area of Artificial Intelligence. Papers in this volume have been divided into seven sections which vary in their subject matter. Image processing, human-computer interaction, planning, applications and theory of expert systems, learn ing, speech, and natural language processing and semantics repre sents as broad a spectrum of AI and AI-related topics as can be found in current AI research. This harmonises quite well with the aims and scope of the AICS'89 conference which were to provide a forum for industry and academic research to discuss AI and AI-related topics and we were delighted that such a broad coverage of topics was achieved. Despite the broad nature, however, none of the papers are primarily review articles; each paper presents new research results within its own specific area.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
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 language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
This volume contains a collection of papers presented at the International Workshop on Semantics for Concurrency, held from 22 to 25 July 1990 at the University of Leicester, UK. The main aim of the workshop was to discuss and seek to identify the positive objective features of the main approaches to semantics for concurrency, and thus to increase understanding between research groups. The field of semantics for concurrency has attracted a number of formalisms, ranging from algebra and automata theory, through logic and topology to category theory. This pluralism provides valuable insight into the nature of concurrency, but when coupled with different views of what issues are important when modelling concurrency, it leads also to disjointed research efforts and lack of communication. Discussions then concentrate on superficial, rather than objective, differences between approaches, and it becomes harder to assess which features of a particular approach are successful in dealing with the problems of concurrent behaviours. This workshop was organized to coordinate research and increase communication.These proceedings include papers on a wide range of issues in concurrency, including: process algebras and equivalences, petri nets, dataflow networks, logics for concurrency, and denotational, partial-order and realtime semantics.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
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 language data structures) and permanent objects are maintained using a different mechanism (usually a filestore). The unification of temporary and permanent objects yields systems which provide a powerful and flexible platform for the development of large, data intensive applications. This volume presents the proceedings of a workshop at which the latest research in this area was discussed. The papers are grouped into sections on the following topics: type systems and persistence, persistent programming languages, implementing persistence, object stores, measurement of persistent systems, transactions and persistence, and persistent machines.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the Oxford University Computing Laboratory Programming Research Group 4th Annual Z user Meeting, held on 15 December 1989 at the Oxford University. This meeting provided an opportunity for Z users to meet and to hear about the latest developments in both the theoretical and practical aspects of Z. The papers cover recent research on the formal notation of Z, with descriptions of its application in industry. Z tools and support environments are also described.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
This volume contains the discussions, recommendations and conclusions resulting from a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, held in Halifax, Nova Scotia, Canada in July 1989. This workshop brought together representatives of research, commerce and government organizations from Canada, the USA and the UK. The main purpose of the workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The aims of the workshop were to assess the problems retarding the development of trustworthy critical systems, to determine the potential impact of applying formal methods techniques to the development of trustworthy critical systems, to determine the research required to facilitate a broader application of formal methods techniques, to identify "example systems" that would be useful in measuring the effectiveness of formal methods, and to identify how to improve international co-ordination and communication of formal methods research.
Häftad, Engelska, 1990
558 kr
Skickas inom 10-15 vardagar
This volume presents the proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, which was held in Bremen, West Germany, in May 1990. The papers provide state-of-the-art details of current research into topics including persistent architectures, security, capability-based addressing and operating systems. Persistent 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 to conventional systems where temporary and permanent objects are handled by separate mechanisms. The workshop brought together researchers in the areas of persistence and security to discuss issues related to architectural support for security and, as a result, capability-based protection schemes receive considerable attention. The implications of these architectures for software, in particular operating systems and databases, is the topic of several of the papers.
Häftad, Engelska, 1991
526 kr
Skickas inom 10-15 vardagar
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 papers cover a variety of issues ranging from the discussion of attitudes of girls to technology at school, the management of classes and limited resources, making links between schools and industry and organizing workshops for schoolgirls, through to the discussion of courses for women returners and examples of models of co-operation between industry and schools. Women into Computing is an active working group, which was formed in 1987 to encourage more women into the field of computing. It focuses on promoting interest at school, further, higher and continuing education levels with the longer term aim of increasing the numbers of women with fulfilling careers in technology-related areas.The skills shortage is already a serious one and demographic changes mean that industry will, over the next decade, need to pay increasing attention to short term and long term measures to overcome the crisis, one of which will be the increasing employment of women in increasingly technological work.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
This volume contains the papers (revised after the workshop had taken place), together with the reports of the parallel sessions, from the Software Re-use Workshop, held in Utrecht from 23-24 November 1989. Members of the leading research teams from Europe were invited to the workshop to present short papers. The various researchers' approaches were debated in the parallel sessions: on domain analysis, on component engineering (including reverse engineering), and on the development of software from re-usable components. Re-use of software may be defined as a means to support the construction of new programs using, in a systematic way, existing designs, design fragments, program texts, documentation, or other forms of program representation. This excludes porting and maintenance because these activities are based on keeping the same software in a changing (hardware or software) environment. Software re-use is sometimes regarded as a solution to the "software crisis", by both improving software quality and reducing costs and timescales.However, although the idea is simple, there are technical problems to be overcome, including: standard description of components, methods for generic components, use for reverse engineering, library organization for easy retrieval, methods for design using components and how to use knowledge of the underlying domains. The book starts with an introduction to software re-use, and has a comprehensive bibliography merged from those accumulated at Delft and Brunel. The book provides a summary of software re-use, which should be of interest to software engineers and postgraduate students who need a rapid introduction to software re-use and its main research issues, together with the results of current research from teams across Europe. This book of proceedings on computer science, software engineering and information systems is intended for researchers in industry and academia, software developers in industry and postgraduate students.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
This conference has become a major annual forum in Ireland for the presentation and discussion of current research work in the multidisciplinary area of artificial intelligence. The aim of the AICS '90 conference was to provide a forum for industry and academic research to discuss AI and AI-related topics. Each paper presents new research results within its own specific area. This book of proceedings on computer science, artificial intelligence, cognitive science, psychology and linguistics is intended for researchers in industry and academia and postgraduate students.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
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 software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hardware and software is now widely appreciated among both academics and many workers in industry, although such methods - and in particular their application to industrial-scale problems - are still in their infancy. This workshop brought together European workers in the field to present tutorials on the state of the art in both theory and industrial applications. The papers cover the development of both sequential and concurrent systems and the theoretical ideas and support tools for their effective use. This volume will be of interest to researchers in formal methods and software engineers wanting to keep track of developments in the application of formal methods in industry.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the workshop on "Designing Correct Circuits", jointly organized by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in applying higher order techniques to: reasoning about concurrency; specifying and reasoning about synchronous circuits (specifically butterfly circuits); reasoning about delay insensitive circuits; categorical concepts for programming languages and; support for automated reasoning. In the 1960s and 1970s, Landin, Burge and others demonstrated the application of higher order techniques and laid practical foundations for modern functional programming. The advantage of higher order techniques is that they provide succinct and clear specifications that are easy to reason with. Over the past few years, higher order techniques have been applied successfully to a wide range of applications in software, hardware, and communications. While the papers present recent research results, they have been written so as to be accessible to non hardliners. This volume should be of interest to readers who wish to gain a broad view of the subject, as well as to specialists in specific subtopics.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
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. The workshop was organised by Kei Davis, Jak Deschner, Kevin Hammond, Carsten Kehler Holst, John Hughes, Graham Hutton, and John Launchbury, all from Glasgow University. We are very grateful for the support of our industrial sponsors: British Telecom, Hewlett Packard, ICL and Software AG. Their financial help made the workshop possible. Thanks to Samson Abramsky, Tony Field, and Paul Kelly, all from Imperial College, for their help in refereeing many of the papers. Glasgow University The Programme Committee: December 1990 Simon Peyton Jones (chairman) Chris Hankin Carsten Kehler Holst John Hughes Graham Hutton Philip Wadler Contents Lifetime Analysis Guy Argo ...Compiling Laziness by Partial Evaluation Anders Bondorf ...9 Strictness Analysis in 4D Kei Davis and Philip Wadler ...23 An Algorithmic and Semantic Approach to Debugging Cordelia Hall, Kevin Hammond and John O'Donnell ...44 Abstract Interpretation of Term Graph Rewriting Systems Chris Hankin ...54 Compile-Time Garbage Collection by Necessity Analysis Geoff W Hamilton and Simon B. Jones...66 Improving Full Laziness Carsten Kehler Holst ...71 Towards Binding-Time Improvement for Free Carsen Kehler Holst and John Hughes ...83 Towards Relating Forwards and Backwards Analyses John Hughes and John Launchbury ...101 PERs Generalise Projections for Strictness Analysis Sebastian Hunt ...114 Functional Programming with Relations Graham Hutton ...
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
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 is necessary in order to achieve a notion of compo- sitionality - contrast [Owi75]. Rather than the many erudite definitions of composition- ality (e. g. [ZwiSS]), the view taken here is that, when a development task is decomposed into sub-tasks, these must be simpler than the original 'task. This is easy to achieve for sequential programs: decomposing a specified operation S into (Sl; S2), the specifica- tions of the Sj should neither include unnecessary information from each other nor from the context (i. e. S). An interesting discussion of the 'Quest for Compositionality' (in the context of concurrency) is contained in [dRS5, dRS6]. The rely/guarantee idea provided an existence proof that specifications and developments could be made powerful enough to cope with some forms of interference.The work initially attracted little attention but 2 3 there have recently been some critiques and attempts to extend the work * Most notably, Ketil St~len's thesis [St~90] addresses the main shortcomings of [JonSl]: the fact that no attempt had been made to handle synchronization has been remedied by adding a wait condition and other limitations of expressiveness have been shown to succumb to the judicious use of auxiliary variables.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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 ideas. However, as experts in one field often have a relatively limited knowledge of the other, there is a growing need for discussion about the relationship between these two fields and how they can be usefully combined. This volume contains the 16 papers which were presented at the International Workshop on Specification on Database Systems, held in Glasgow, 3-5 July 1991. The purpose of the workshop was to bring together these fields and to examine, through a series of invited talks, presentations and working groups, the role that formal specification can play in developing database systems. The papers describe current research into topics such as the formal specification of data models, query languages and transaction handling and the use of formal specification techniques to understand problems which arise in database systems.The working groups, which are summarized at the end of the volume, covered a variety of issues including the role of graphical notations in database specification, the use of specification techniques in enabling "open" or extensible database systems and the education of the database community in specification techniques.
Häftad, Engelska, 1992
542 kr
Skickas inom 10-15 vardagar
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 and exchange of ideas. They have subsequently become well established as the focus for academic and industrial practitioners from the UK and Europe with an interest in performance and modelling and analysis. This volume contains the 16 papers which were presented at the 7th annual workshop, held in Edinburgh in July 1991. The workshop highlighted various aspects of parallel computing - an area which is attracting an increasing amount of interest - and the work presented in these papers is of particular interest as the contributors used real analysis to evaluate their models. The papers cover a wide range of topics, both practical and theoretical, including advances in queueing theory, common performance problems and their solutions, assessments of available tools and presentations of new theoretical results.
ALPUK91
Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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 challenging research issues to be addressed and the UK branch of the Association for logic programming was set up to provide a forum where the flourishing research community could discuss important issues of logic programming which were often by-passed at the large international conferences. This volume contains the 12 papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria.The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialized editors and standardization. The resulting volume gives an overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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 execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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 the areas of research most likely to contribute to the development of existing interactive systems, in particular by providing improved architectures capable of supporting new styles of interaction and more sophisticated software tools to improve productivity. This volume combines the proceedings of two workshops held in York and Glasgow which concentrated on architectures and tools respectively. In doing so it addresses the problems of user interface construction from two complementary viewpoints and provides alternative perspectives on many of the central issues. Some of the papers are published in expanded form to provide a more comprehensive coverage of the topics and two additional papers have been included which offer a useful insight into issues raised by the workshops. The papers address formal and theoretical concerns as well as academic and commercial ones. Specific topics covered include novel-input models, architectures for real-time systems and object-oriented user interface tools for X-widgets, NeWS- and Smalltalk-based applications. The papers also include presentations of new tools and architectural designs. Building Interactive Systems: Architectures and Tools provides the most extensive recent account of research into the relationship between architectures and tools in the construction of interactive computer systems and will be of interest to researchers, postgraduate students and software developers.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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 systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. "Logic Program Synthesis and Transformation" provides a complete record of the workshop, with all the papers re-produced either in full or as extended abstracts.They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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 industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London in January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it.Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verifications of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programmes with Z specifications and a tactic-driven refinement tool.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
This volume is based upon the proceedings of a workshop on code generation which took place in Germany in 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 likely to take. It provided a forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialized gatherings. This volume contains 14 of the 30 papers presented at the German workshop. The papers deal mainly with the following topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the latest Glasgow Workshop on Functional Programming, held in Portree on the Isle of Skye, 12-14 August 1991. These workshops have been held annually by the Glasgow Functional Programming group since 1988 and provide a valuable forum for members of the group and invited contributors from industry and other institutions to discuss current research work. The 29 papers contained in this volume, many of which have been rewritten since the original presentation, deal with both the theoretical and pragmatic aspects of functional programming, each paper summarizing the central issues of its subject area. A variety of themes emerged from the workshop, including relational algebra and its application to hardware design, partial evaluation and program transformation, implementation techniques and strictness analysis. Among the specific areas covered in this volume are: a new sharing mechanism for the TIM; evaluation order analysis for lazy data structures; extending deforestation for first order functional programs; a semantics for relational programming; abstractions in Ruby; and operational theories of improvement in functional languages.Functional Programming, Glasgow 1991 provides a comprehensive overview of current research in this field and should be of interest to anyone involved in the theory of functional programming or its application to practical problems.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
Z is currently one of the more popular formal specification languages. Practical experience has shown, however, that the Z schema is insufficient to support the structuring of large specifications, and many attempts have been made to develop adequate extensions to it. One of the most promising avenues of research is the use of object orientation technology, which has great potential as a means of structuring large, complex software systems. This volume contains a collection of papers investigating different approaches for providing Z with an object oriented structuring mechanism. It evolved from a comparative study of ways in which object orientation has been combined with Z, which was carried out as part of the DTI/IED-funded ZIP Project. As a result of interest generated by the study last year at both the ZOOM Workshop in Oxford and the 6th Annual Z User Meeting in New York, it was revised and expanded into its present form. In each chapter a different approach is described and assessed. Among topics covered are: why an object oriented Z?; example specifications in Z; Hall's style; Z expression of refinable objects; MooZ case studies; object-Z: OOZE; Schumann and Pitt approach; Z++; ZEST; specification in fresco; Z and HOOD."Object Orientation in Z" provides a unique comparative approach to this important area of research. It will be of interest to undergraduate and postgraduate students of formal methods and software systems design, as well as to commercial software researchers.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and a corresponding increase in the publication of technical papers and reports of work with Z. The annual Z user meetings offer an excellent focal point for work published on Z, and provide a forum for the discussion of new developments. "Z user workshop, York 1991", provides an overview of new developments in theoretical and practical aspects of Z. It will be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
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, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.
Häftad, Engelska, 1992
526 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the 4th Irish Conference on Artificial Intelligence and Cognitive Science, held at University College, Cork, in September 1991. These annual conferences are an important forum for the presentation of current research work in Ireland. The aims of AICS '91 were to allow the exchange of ideas between the different disciplines concerned with the study of cognition, and to enable industry to assess the potential benefits of artificial intelligence. The resulting volume covers both practical and theoretical applications of artificial intelligence. Many of the papers present new perspectives on common problems, as well as techniques for dealing with them. Although the emphasis of the volume is on Irish research, there are also important contributions from researchers in the United Kingdom, Italy and the United States. Among the specific topics covered are: the foundations of artificial intelligence; knowledge representation and processing; natural language processing; vision and deduction; epistemics; and information retrieval.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
This volume is based on the proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, held at South Bank University in May 1991. Research into software measurement is becoming increasingly important as the range of theories and techniques available to software engineers expands. This workshop was distinguished by the fact that it brought together many of the leading researchers in this area, both from Europe and the USA. The resulting volume contains the 8 papers presented at the meeting, along with 5 additional papers which offer further insight into the topics raised there. It also contains a significant contribution from the NATO-funded "Grubstake Group", which was set up in 1988 to promote formalism in software measurement. The volume has been designed to reflect 4 different formal aspects of measurement: section 1 discusses principles of measurement; section 2 looks at how these principles are reflected in the design and implementation of actual measurements; section 3 deals with measurement validation and verification; and section 4 discusses the mathematical and logical foundations, which are an underlying theme in all the preceding sections.Among the actual topics covered are: software measurement - why a formal approach?; complexity measures on trees; multi-dimensional software metrics; algebraic models and metric validation; properties of software measures; specifying internal, external and predictive software metrics; and measurement theory and software metrics. "Formal Aspects of Measurement" provides a snapshot of recent research on this increasingly important field. It should be of interest to postgraduate students, and researchers in formal and mathematical methods.