0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (9)
  • R250 - R500 (48)
  • R500+ (714)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Object-oriented programming (OOP)

Computing for Numerical Methods Using Visual C++ (Hardcover): S Salleh Computing for Numerical Methods Using Visual C++ (Hardcover)
S Salleh
R3,837 Discovery Miles 38 370 Ships in 12 - 17 working days

A visual, interdisciplinary approach to solving problems in numerical methods

Computing for Numerical Methods Using Visual C++ fills the need for a complete, authoritative book on the visual solutions to problems in numerical methods using C++. In an age of boundless research, there is a need for a programming language that can successfully bridge the communication gap between a problem and its computing elements through the use of visual-ization for engineers and members of varying disciplines, such as biologists, medical doctors, mathematicians, economists, and politicians. This book takes an interdisciplinary approach to the subject and demonstrates how solving problems in numerical methods using C++ is dominant and practical for implementation due to its flexible language format, object-oriented methodology, and support for high numerical precisions.

In an accessible, easy-to-follow style, the authors cover:

Numerical modeling using C++

Fundamental mathematical tools

MFC interfaces

Curve visualization

Systems of linear equations

Nonlinear equations

Interpolation and approximation

Differentiation and integration

Eigenvalues and Eigenvectors

Ordinary differential equations

Partial differential equations

This reader-friendly book includes a companion Web site, giving readers free access to all of the codes discussed in the book as well as an equation parser called "MyParser" that can be used to develop various numerical applications on Windows. Computing for Numerical Methods Using Visual C++ serves as an excellent reference for students in upper undergraduate- and graduate-level courses in engineering, science, and mathematics. It is also an ideal resource for practitioners using Microsoft Visual C++.

Business Object Design and Implementation - OOPSLA '95 Workshop Proceedings 16 October 1995, Austin, Texas (Paperback,... Business Object Design and Implementation - OOPSLA '95 Workshop Proceedings 16 October 1995, Austin, Texas (Paperback, Softcover reprint of the original 1st ed. 1997)
Jeffrey V. Sutherland, Dilip Patel, Cory Casanave, Joaquin Miller, Glenn Hollowell
R2,892 Discovery Miles 28 920 Ships in 10 - 15 working days

Over the past 10 years, object technology has gained widespread acceptance within the software industry. Within a wider context, however, it has made little impact on the core applications which support businesses in carrying out their tasks. This volume contains a collection of papers establishing the need for Business Objects, with particular reference to work undertaken by the Object Management Group (OMG). The emphasis is on defining an agenda for establishing Business Object standards and architectures, for developing software technology to support Business Objects applications and managing object oriented development projects. The wide variety of papers presented, and their authors' expertise, make this book a significant contribution to the development of Business Objects and their management.

OOIS'96 - 1996 International Conference on Object Oriented Information Systems 16-18 December 1996, London Proceedings... OOIS'96 - 1996 International Conference on Object Oriented Information Systems 16-18 December 1996, London Proceedings (Paperback, Softcover reprint of the original 1st ed. 1997)
Dilipkumar Patel, Yuan Sun, Shushmaben Patel
R2,997 Discovery Miles 29 970 Ships in 10 - 15 working days

This volume contains the papers presented at the Third International Conference on Object Oriented Information Systems (00lS'96) which was held at South Bank University, London. The keynote addresses, by Professor Colette Roland and Mr Ian Graham, are also included. The acceptance rate for papers was around 47%. The papers for the Industry Day were invited papers. The keynote paper by Professor Roland analyses the challenges in object modelling, particularly the impact of requirements engineering for conceptual modelling. She suggests innovative research perspectives to enhance and extend object oriented approaches in order to deal with the emerging area of requirements engineering. The keynote paper presented by Mr. Graham focuses on the problems and solutions for adopting use cases. In his paper, Graham illustrates the theoretical issues and practical problems of use cases, and highlights them using examples. The papers included in this volume cover different aspects of object modelling, object oriented software development, object databases, and interoperability. In the modelling session, Ram, et al. outline an extended object model to tackle the problems of capturing complex requirements of office information systems. Simons' paper concentrates on core object modelling concepts and presents a mathematical theory of class.

Programming in Dylan (Paperback, Softcover reprint of the original 1st ed. 1997): Iain D. Craig Programming in Dylan (Paperback, Softcover reprint of the original 1st ed. 1997)
Iain D. Craig
R1,532 Discovery Miles 15 320 Ships in 10 - 15 working days

Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. The author takes the reader through the development of Dylan by Apple and introduces the concept of object oriented languages, comparing Dylan to other languages such as CLOS, Smalltalk and C++. The author looks at fundamental concepts of the Dylan language before moving on to present the basic types (Boolean, vectors, strings etc.). Variables, expressions and assignment, and functions (both named and anonymous) are covered in detail. The Dylan class is introduced in its simple form and generic functions and library classes are discussed in depth. The author shows how modularisation needs to be used if large applications are to be developed and illustrates how to construct program libraries. A simulation and modelling example runs through the book.

Oberon-2 Programming with Windows (Mixed media product, 1997 ed.): Joerg R. Muhlbacher, Bernhard Leisch, Brian Kirk, Ulrich... Oberon-2 Programming with Windows (Mixed media product, 1997 ed.)
Joerg R. Muhlbacher, Bernhard Leisch, Brian Kirk, Ulrich Kreuzeder
R2,703 Discovery Miles 27 030 Ships in 10 - 15 working days

This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a "hands on" book containing many examples which start by illustrating basic Oberon-2 language features and gradually increase in scope to cover object-oriented programming concepts and constructs. Oberon-2 is a successor to the language Pascal, which was also designed by Prof. N. Wirth [Wir71J. It has quickly become a major language used for teaching purposes. The only thing you need for successfully working through the book is to have access to a computer running Windows 3. 11 or Windows 95. The material in the book is useful to students of schools, colleges, and universities for teaching Oberon-2 and programming at an introductory level. of the book is not focused on software engineering or object The scope oriented technology; other books mentioned in the reference section already cover these topics in much greater depth. However, the examples in the book have been designed with these topics firmly in mind. Currently the term "object-oriented" is very much in fashion, having taken over from structured programming of the 1970s and '80s. In this book we have taken the view that a structured programming approach can be used to teach the fundamentals of programming algorithms. The object-oriented approach is then brought in as a complementary way to think, analyze, design and program.

Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995,... Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers (Paperback, 1996 ed.)
Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
R1,680 Discovery Miles 16 800 Ships in 10 - 15 working days

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995.
The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

ECOOP '96 - Object-Oriented Programming - 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings... ECOOP '96 - Object-Oriented Programming - 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings (Paperback, 1996 ed.)
Pierre Cointe
R1,769 Discovery Miles 17 690 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996.
The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.

Essential Delphi 2.0 Fast - How to Develop Applications in Delphi 2.0 (Paperback, 1996 ed.): John Cowell Essential Delphi 2.0 Fast - How to Develop Applications in Delphi 2.0 (Paperback, 1996 ed.)
John Cowell
R2,899 Discovery Miles 28 990 Ships in 10 - 15 working days

Delphi is a new Windows software development environment from Borland. Released in 1995, it has quickly built up an excellent reputation as one of the best Windows software development tools.
John Cowell shows how to program in Delphi using various tools. He provides lots of examples and illustrations and describes various database specific tools included with the Delphi package. The book shows how to use the Borland database engine along with other database formats (including Microsoft's Access). There are a number of chapters which cover the object-oriented aspects of Pascal, and advanced programming techniques such as drag-and-drop, DDE, OLE, and the creation of on-line help systems are also looked at. New users, as well as current Visual Basic users wanting to get up to speed on Delphi, will find this clear and informative book provides all the information they need to develop Windows applications quickly, competently, and easily.

Object Oriented Computer Systems Engineering (Paperback, Softcover reprint of the original 1st ed. 1996): Derrick Morris, David... Object Oriented Computer Systems Engineering (Paperback, Softcover reprint of the original 1st ed. 1996)
Derrick Morris, David Evans, Peter Green, Colin Theaker
R1,555 Discovery Miles 15 550 Ships in 10 - 15 working days

This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect the operation of the stages to be subject to controls and standards that result in a product fit for its intended purpose, both in the hands of its users and as a business venture. Thus the process must take account of a wide range of requirements relating to function, cost, size, reliabili ty and so on. It is more difficult to define the meaning of computing technology. These days this involves much more than computers and software. For example, many tasks that might be performed by software running in a general purpose computer can also be performed directly by the basic technology used to construct a computer, namely digital hardware. However, hardware need not always be digital; we live in an analogue world, hence analogue signals appear on the boundaries of our systems and it can sometimes be advantageous to allow them to penetrate further."

Formal Methods and Object Technology (Paperback, Softcover reprint of the original 1st ed. 1996): Stephen J. Goldsack, Stuart... Formal Methods and Object Technology (Paperback, Softcover reprint of the original 1st ed. 1996)
Stephen J. Goldsack, Stuart J. H. Kent
R2,954 Discovery Miles 29 540 Ships in 10 - 15 working days

This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal techniques to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. By focusing on these two, previously independent, techniques and illustrating how their merger is resulting in the development of tools which are essential to the development of large scale software the editors of this book have provided valuable coverage of this rapidly developing and important area.

Object-Technologies for Advanced Software - Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March... Object-Technologies for Advanced Software - Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings (Paperback, 1996 ed.)
Kokichi Futatsugi, Satoshi Matsuoka
R1,654 Discovery Miles 16 540 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Second International Symposium on Object Technologies for Advanced Software, ISOTAS'96, held in Ishikawa, Japan, in March 1996. ISOTAS'96 was sponsored by renowned Japanese and international professional organisations.
The 14 papers included in final full versions, together with the abstracts of four invited papers, were carefully reviewed and selected from a total of 56 submissions; they address most current topics in object software technology, object-oriented programming, object-oriented databases, etc. The volume is organized in sections on design and evolution, parallelism and distribution, meta and reflection, and evolution of reuse.

OOIS' 95 - 1995 International Conference on Object Oriented Information Systems, 18-20 December 1995, Dublin. Proceedings... OOIS' 95 - 1995 International Conference on Object Oriented Information Systems, 18-20 December 1995, Dublin. Proceedings (Paperback, Softcover reprint of the original 1st ed. 1996)
John Murphy, Brian Stone
R2,953 Discovery Miles 29 530 Ships in 10 - 15 working days

OOIS'95 (Object-Oriented Information Systems '95) contains contributions from leading researchers and practitioners working on object oriented technology and its application in information systems design and development. The book has a strong practical focus and contains much technical insight of particular relevance to professionals working in the field. The papers cover two main areas of the field: academic research trends into object oriented concepts and principles, and state of the art applications in industry. Among the specific topics covered are modelling, knowledgebases, software development, interface design, object databases, distributed databases, and emerging object technologies. All those working in the field of information technology will find the book a useful source of reference.

OOER '95 Object-Oriented and Entity-Relationship Modeling - 14th International Conference, Gold Coast, Australia, December... OOER '95 Object-Oriented and Entity-Relationship Modeling - 14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings (Paperback, 1995 ed.)
Michael Papazoglou
R1,744 Discovery Miles 17 440 Ships in 10 - 15 working days

This volume constitutes the refereed proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling, OOER '95, held in Gold Coast, Australia in December 1995.
The 36 papers presented together with an invited presentation by Gio Wiederhold were selected from a total of 120 submissions. The papers are organized in sections on object design and modelling, models and languages, reverse engineering and schema transformation, behavioral modelling, non-traditional modelling, theoretical foundations, business re-engineering, integrated approaches, cooperative work modelling, temporal data modelling, federated systems design, and industrial stream papers

Systems Analysis and Design, 8th Edition (Paperback): A. Dennis Systems Analysis and Design, 8th Edition (Paperback)
A. Dennis
R3,563 Discovery Miles 35 630 Ships in 12 - 17 working days

Systems Analysis and Design, 8th Edition offers students a hands-on introduction to the core concepts of systems analysis and systems design. Following a project-based approach written to mimic real-world workflow, the text includes a multitude of cases and examples, in-depth explanations, and special features that highlight crucial concepts and emphasize the application of fundamental theory to real projects.

Formal Object-Oriented Development (Paperback, Softcover reprint of the original 1st ed. 1995): Kevin Lano Formal Object-Oriented Development (Paperback, Softcover reprint of the original 1st ed. 1995)
Kevin Lano
R1,595 Discovery Miles 15 950 Ships in 10 - 15 working days

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

Object-Oriented Programming in Oberon-2 (Paperback, Softcover reprint of the original 2nd ed. 1995): R. Bach Object-Oriented Programming in Oberon-2 (Paperback, Softcover reprint of the original 2nd ed. 1995)
R. Bach; Hanspeter Moessenboeck; Foreword by N. Wirth
R1,550 Discovery Miles 15 500 Ships in 10 - 15 working days

Without a doubt the idea of object-oriented programming has brought some motion into the field of programming methodology and enlarged the set of programming languages. Object-oriented programming is nothing new-it first arose in the sixties. The motivation came from the simulation of discrete event systems. The concept first manifested itself in the language Simula 67. It took nearly two decades for the method to gain impetus, and today object-oriented programming is an important concept and a powerful technique. Meanwhile, we can even speak of an over reaction, for the concept has become a buzzword. But buzzwords always appear where there is the hope of exploiting ill-informed clients because they see the new approach as the solution to all their problems. Thus object-oriented programming is often hailed as a panacea. And so the question is justified: What is really behind it? To let the cat out of the bag: There is more to object-oriented programming than merely putting data as objects in the fore ground, instead of algorithms to which the data are subject. It is more than purely an alternative view of programmed systems. To identify the essence of object-oriented programming, is the subject of this book. This is a textbook that shows in a didactically skillful way which concepts and constructs are new, where they can be employed reasonably, and what advantages they offer. For, not all programs are automatically improved by merely recasting them in an object-oriented style."

Metaclasses and Their Application - Data Model Tailoring and Database Integration (Paperback, 1995 ed.): Wolfgang Klas, Michael... Metaclasses and Their Application - Data Model Tailoring and Database Integration (Paperback, 1995 ed.)
Wolfgang Klas, Michael Schrefl
R1,591 Discovery Miles 15 910 Ships in 10 - 15 working days

Conventional object-oriented data models are closed: although they allow users to define application-specific classes, they usually come with a fixed set of modelling primitives. This constitutes a major problem, as different application domains, e.g. database integration or multimedia, need special support.
Using an extended metaclass concept, this book provides for the solution of this problem a simple but extendible open object-oriented data model, a so-called RISC model. By introducing the basic concepts of the open object-oriented database management system VODAK, it demonstrates how the extended metaclass concept can be integrated homogeneously into object-oriented data models.

Object-Based Models and Languages for Concurrent Systems - ECOOP '94 Workshop on Models and Languages for Coordination of... Object-Based Models and Languages for Concurrent Systems - ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers (Paperback, 1995 ed.)
Paolo Ciancarini, Oscar M. Nierstrasz, Akinori Yonezawa
R1,587 Discovery Miles 15 870 Ships in 10 - 15 working days

This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.
Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.

Programming with Turing and Object Oriented Turing (Paperback, 1995 ed.): Peter Grogono Programming with Turing and Object Oriented Turing (Paperback, 1995 ed.)
Peter Grogono
R1,605 Discovery Miles 16 050 Ships in 10 - 15 working days

This volume presents a comprehensive first course in the Monte Carlo method which will be suitable for graduate and undergraduate students in the mathematical sciences and engineering, principally operations research, statistics, mathematics, and computer science. The reader is assumed to have a sound understanding of calculus, introductory matrix analysis, probability, and intermediate statistics, but otherwise the book is self-contained. As well as a thorough exploration of the important concepts of the Monte Carlo method, the volume includes over 90 algorithms which allow the reader to move rapidly from the concepts to putting them into practice. The book also contains numerous exercises, many of them hands-on implementations of selected algoriths to demonstrate the application of these ideas in realistic settings. Software, freely available via ftp and portable across computing platforms, provides programs for pseudorandom number generation and statistical sample path data analysis. The software is suitable for use with the exercises as well as for more general applications. For professional mathematical scientists and engineers this book provides a ready reference to the Monte Carlo method, especially to implementable algoritzms for performing sampling experiments on a computer and for analyzing their results.

OOIS'94 - 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London (Paperback,... OOIS'94 - 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London (Paperback, Softcover reprint of the original 1st ed. 1995)
Dilip Patel, Yuan Sun, Shushma Patel
R1,608 Discovery Miles 16 080 Ships in 10 - 15 working days

This volume contains the papers presented at the Intemational Conference on Object Oriented Information Systems 00lS'94, held at South Bank University, London, December 19 - 21, 1994. In response to our call for papers, a total 85 papers from 24 different countries were submitted. Each paper was evaluated by at least two Program Committee members and an additional reviewer. Together, we selected 41 papers for presentation at the conference and inclusion in the Proceedings. Also included are the keynote addresses by Peter Gray and Michael Jackson. The other submissions were recommended for presentation in the poster sessions. Peter Gray, our invited speaker, evaluates the problems of object-oriented systems and data independence by looking at how object oriented database applications are failing to perceive its benefits, and instead rely too much on encapsulation. He suggests alternative kinds of object storage to preserve data independence. The second invited speaker, Michael Jackson describes a way of solving problems, by focusing directly on the problems themselves, their components and structures and on the relationships between the problem and the solution method. He discusses a particular view of the role of object-orientation in software development.

Swift Development for the Apple Watch (Paperback): Jon Swift, Paris Buttfield-Addison Swift Development for the Apple Watch (Paperback)
Jon Swift, Paris Buttfield-Addison
R671 R430 Discovery Miles 4 300 Save R241 (36%) Ships in 12 - 17 working days

Apple Watch is the sort of science-fiction gadget that people used to dream about as kids. What kinds of apps do you envision for this new device? If you're comfortable using OS X, Xcode, and iOS-and familiar with Swift-this concise book shows you the basics of building your own apps for this wrist-mounted computer with Apple's WatchKit framework. You'll learn what an Apple Watch is, what it isn't, and how and why people might interact with apps you build for it. This practical guide also examines the type of apps most suitable for this device, and shows you how to be a good citizen in the iOS/Watch ecosystem. Learn the Watch app lifecycle, and understand how these apps interact with the user's iPhone Build a Watch app and its iOS counterpart by adding controls, working with multiple screens, and sharing data Design a simple glance, the non-interactive Watch component that provides quick-look information Add functionality to the notification system, including actionable items, and display them on the Watch face Design and build complications, Watch-face gadgets that can display quick snapshots of information, including future events with Time Travel

Object-Oriented Methodologies and Systems - International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994.... Object-Oriented Methodologies and Systems - International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings (Paperback, 1994 ed.)
Elisa Bertino, Susan Urban
R1,702 Discovery Miles 17 020 Ships in 10 - 15 working days

This volume presents the proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS '94), held in Palermo, Italy in September 1994 in conjunction with the AICA 1994 Italian Computer Conference.
The 25 full papers included cover not only technical areas of object-orientation, such as databases, programming languages, and methodological aspects, but also application areas. The book is organized in chapters on object-oriented databases, object-oriented analysis, behavior modeling, object-oriented programming languages, object-oriented information systems, and object-oriented systems development.

Security for Object-Oriented Systems - Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented... Security for Object-Oriented Systems - Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993 (Paperback, Edition. ed.)
Bhavani Thuraisingham, Ravi Sandhu, T.C. Ting
R1,527 Discovery Miles 15 270 Ships in 10 - 15 working days

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.

Object-Based Distributed Programming - ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings... Object-Based Distributed Programming - ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings (Paperback, 1994 ed.)
Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill
R1,625 Discovery Miles 16 250 Ships in 10 - 15 working days

Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented Programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half presented papers. The presented papers were carefully reviewed and revised after the workshop, and 14 papers were selected for this volume.

Z User Workshop, Cambridge 1994 - Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 (Paperback, Softcover... Z User Workshop, Cambridge 1994 - Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 (Paperback, Softcover reprint of the original 1st ed. 1994)
J.P. Bowen, J.A. Hall
R1,593 Discovery Miles 15 930 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Snakehead - An Epic Tale of the…
Patrick Radden Keefe Paperback R299 R234 Discovery Miles 2 340
The Face of War - Writings from the…
Martha Gellhorn Paperback R397 R305 Discovery Miles 3 050
The Most of Nora Ephron - The ultimate…
Nora Ephron Paperback R335 R281 Discovery Miles 2 810
Feel Free - Essays
Zadie Smith Paperback  (1)
R335 R280 Discovery Miles 2 800
Between Two Fires - Truth, Ambition, and…
Joshua Yaffa Paperback R271 Discovery Miles 2 710
A Thread of Violence - A Story of Truth…
Mark O'Connell Hardcover R420 Discovery Miles 4 200
What Have You Left Behind?
Bushra al-Maqtari Paperback R370 R303 Discovery Miles 3 030
All We Are Saying - The Last Major…
John Lennon, Yoko Ono, … Paperback R285 R223 Discovery Miles 2 230
Not a Novel - Collected Writings and…
Jenny Erpenbeck Paperback R240 Discovery Miles 2 400
The Racket - A Rogue Reporter vs The…
Matt Kennard Paperback R295 R231 Discovery Miles 2 310

 

Partners