Author: John H. Reppy
Publisher: Cambridge University Press
ISBN: 0521480892
Category : Computers
Languages : en
Pages : 328

Get Book Here

Book Description
A 'how-to' book for programmers and researchers interested in practical applications of Concurrent ML.

Author:
Publisher: Pearson Education
ISBN: 9781581134155
Category : Computer science
Languages : en
Pages : 292

Get Book Here

Book Description

Author: J. B. Wordsworth
Publisher: Addison Wesley Longman
ISBN:
Category : Computers
Languages : en
Pages : 356

Get Book Here

Book Description
This is the definitive guide to software engineering with B--the generic name for the software development method invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. The B-method is almost unique among formal software development methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples. Key features include: Gives a balanced coverage of the B-Method, the abstract machine notation (AMN) and the B-Toolkit Covers the complete software development process from specification through to production of programs Shows how to write informal descriptions of software components as state machines and how to formalize simple state machines using the abstract machine notation Covers the use of the B-Toolkit for entering, committing, analyzing and animating machines and for generating machines from systems definitions Provides a diskette containing the source text of the examples in the book for use with the B-Toolkit Is supported by supplementary material on the World Wide Web 0201403560B04062001

Author: Paul Hudak
Publisher: Cambridge University Press
ISBN: 9780521644082
Category : Computers
Languages : en
Pages : 390

Get Book Here

Book Description
This book teaches functional programming using Haskell and examples drawn from multimedia applications.

Author: Sally Shlaer
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 280

Get Book Here

Book Description
A companion book to Mellor and Shlaer's Object-Oriented Systems Analysis which covers the Information Modeling step, this book details in three step s a systematic method for investigating and defining real-time, scientific, and business-oriented systems. It explains the State Modeling step, the Process Modeling step, and the External Specifications step.

Author: Stephen J. Young
Publisher: Ellis Horwood
ISBN:
Category : Computers
Languages : en
Pages : 360

Get Book Here

Book Description

Author: Gregor Kiczales
Publisher: MIT Press
ISBN: 9780262610742
Category : Computers
Languages : en
Pages : 352

Get Book Here

Book Description
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. Kiczales, des Rivières, and Bobrow show that the "art of metaobject protocol design" lies in creating a synthetic combination of object-oriented and reflective techniques that can be applied under existing software engineering considerations to yield a new approach to programming language design that meets a broad set of design criteria. One of the major benefits of including the metaobject protocol in programming languages is that it allows users to adjust the language to better suit their needs. Metaobject protocols also disprove the adage that adding more flexibility to a programming language reduces its performance. In presenting the principles of metaobject protocols, the authors work with actual code for a simplified implementation of CLOS and its metaobject protocol, providing an opportunity for the reader to gain hands-on experience with the design process. They also include a number of exercises that address important concerns and open issues. Gregor Kiczales and Jim des Rivières, are Members of the Research Staff, and Daniel Bobrow is a Research Fellow, in the System Sciences Laboratory at Xerox Palo Alto Research Center.

Author: R. J. A. Buhr
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 282

Get Book Here

Book Description

Author: Robin Milner
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132

Get Book Here

Book Description
Software -- Programming Languages.

Author: Samuel P. Harbison
Publisher:
ISBN: 9780135963968
Category : Computers
Languages : en
Pages : 312

Get Book Here

Book Description
This book aims to provide a complete guide for programmers who want to learn how to write correct and maintainable programmes in the Modula-3 programming language - the newest member of the Pascal family of languages. The book describes the complete Modula-3 language, beginning with basics and progressing to more advanced features of the language. Coverage includes the basic language, declaration statements, types and procedures.