0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (10)
  • R250 - R500 (53)
  • R500+ (721)
  • -
Status
Format
Author / Contributor
Publisher

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

Productive Objects - An Applied Software Project Management Framework (Paperback): Robert Muller Productive Objects - An Applied Software Project Management Framework (Paperback)
Robert Muller
R3,217 Discovery Miles 32 170 Ships in 12 - 17 working days

The increasing popularity of object-oriented programming languages, design methods, database managers, and other technologies has challenged software development project managers with a new set of rules. Project managers need to reexamine their standard methods for planning and controlling projects to adapt to the new rules for development. This book combines the perspectives of project management and systems theory to provide a unique look at managing object-oriented projects. Software engineers and project managers working with object technology will obtain essential tools for managing any software project and will learn how to apply those tools specifically to managing object-oriented software projects.
This guidebook provides an integrated, cohesive system of project management that aligns directly with the technology it manages. Organized into self-contained sections, this book permits you to access the project management objects you need. In addition, it provides examples of what to do and what not to do using real-life examples from the author's experience.
+ Provides the methods necessary to productively manage object-oriented software development
+ Contains real-world examples that illustrate how all of the different objects work
+ Consists of self-contained sections that can be referred to when the reader needs information regarding a specific aspect of project management

Starting Out with Java: From Control Structures through Objects, Global Edition (Paperback, 6th edition): Tony Gaddis Starting Out with Java: From Control Structures through Objects, Global Edition (Paperback, 6th edition)
Tony Gaddis
R2,390 Discovery Miles 23 900 Ships in 12 - 17 working days

For courses in computer programming in Java. Starting Out with Java: From Control Structures through Objects provides a step-by-step introduction to programming in Java. Gaddis covers procedural programming-control structures and methods-before introducing object-oriented programming, ensuring that students understand fundamental programming and problem-solving concepts. As with all Gaddis texts, every chapter contains clear and easy-to-read code listings, concise and practical real-world examples, and an abundance of exercises.

Multi-Threaded Object-Oriented MPI-Based Message Passing Interface - The ARCH Library (Hardcover, 1998 ed.): Jean-Marc Adamo Multi-Threaded Object-Oriented MPI-Based Message Passing Interface - The ARCH Library (Hardcover, 1998 ed.)
Jean-Marc Adamo
R4,301 Discovery Miles 43 010 Ships in 12 - 17 working days

Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library presents ARCH, a library built as an extension to MPI. ARCH relies on a small set of programming abstractions that allow the writing of well-structured multi-threaded parallel codes according to the object-oriented programming style. ARCH has been written with C++. The book describes the built-in classes, and illustrates their use through several template application cases in several fields of interest: Distributed Algorithms (global completion detection, distributed process serialization), Parallel Combinatorial Optimization (A* procedure), Parallel Image-Processing (segmentation by region growing). It shows how new application-level distributed data types - such as a distributed tree and a distributed graph - can be derived from the built-in classes. A feature of interest to readers is that both the library and the application codes used for illustration purposes are available via the Internet. The material can be downloaded for installation and personal parallel code development on the reader's computer system. ARCH can be run on Unix/Linux as well as Windows NT-based platforms. Current installations include the IBM-SP2, the CRAY-T3E, the Intel Paragon, PC-networks under Linux or Windows NT. Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library is aimed at scientists who need to implement parallel/distributed algorithms requiring complicated local and/or distributed control structures. It can also benefit parallel/distributed program developers who wish to write codes in the object-oriented style. The author has been using ARCH for several years as a medium to teach parallel and network programming. Teachers can employ the library for the same purpose while students can use it for training. Although ARCH has been used so far in an academic environment, it will be an effective tool for professionals as well. Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library is suitable as a secondary text for a graduate level course on Data Communications and Networks, Programming Languages, Algorithms and Computational Theory and Distributed Computing and as a reference for researchers and practitioners in industry.

Python for Beginners - A complete beginner's guide to learning Python with a programming-based introduction and a hands-on... Python for Beginners - A complete beginner's guide to learning Python with a programming-based introduction and a hands-on computer coding exercise (Hardcover)
Aiden Phillips
R974 R800 Discovery Miles 8 000 Save R174 (18%) Ships in 10 - 15 working days
Introduction to Programming with C++, International Edition (Paperback, 7th edition): Diane Zak Introduction to Programming with C++, International Edition (Paperback, 7th edition)
Diane Zak
R1,354 R1,215 Discovery Miles 12 150 Save R139 (10%) Ships in 10 - 15 working days

Readers quickly become motivated to learn C++ with popular author Diane Zak's distinctive emphasis on the importance of C++ programming skills in business today. AN INTRODUCTION TO PROGRAMMING WITH C++, 7E, International Edition distinguishes itself from all other C++ instructional books with its unique, reader-focused approach. Memorable new examples demonstrate concepts in action while a wealth of hands-on unique exercises allow readers to apply concepts as they progress. The book's visually-driven presentation clarifies concepts with useful IPO charts, flowcharts and code examples throughout. New videos and PDF files for each chapter demonstrate how readers can complete exercises using various compilers. Microsoft (R) Visual Studio 2012 (R) is also available with the book as an optional bundle. Trust AN INTRODUCTION TO PROGRAMMING WITH C++, 7E, International Edition to stay engaged and enthusiastic about mastering the skills of C++ today.

Visual Basic 2012 How to Program - International Edition (Paperback, 6th edition): Paul Deitel, Harvey Deitel, Abbey Deitel Visual Basic 2012 How to Program - International Edition (Paperback, 6th edition)
Paul Deitel, Harvey Deitel, Abbey Deitel
R2,199 Discovery Miles 21 990 Ships in 12 - 17 working days

Appropriate for all basic-to-intermediate level courses in Visual Basic 2012 programming. Created by world-renowned programming instructors Paul and Harvey Deitel, Visual Basic 2012 How to Program introduces all facets of the Visual Basic 2012 language through a hands-on approach with hundreds of working programs. This book reflects the major innovations Microsoft has incorporated in Visual Basic 2012; all discussions and sample code have been carefully audited against the newest Visual Basic language specification. The 6th Edition is updated to Visual Studio 2012 and includes new chapters on Windows 8 UI app development, Windows 8 graphics/multimedia, Windows Phone 8 app development and Windows Azure. Students begin by getting comfortable with the free Visual Basic Express 2012 IDE and basic VB syntax. Next, they build their skills one step at a time, mastering control structures, classes, objects, methods, variables, arrays, and the core techniques of object-oriented programming. With this strong foundation in place, the Deitels introduce more sophisticated techniques, including inheritance, polymorphism, exception handling, strings, GUI's, data structures, generics, and collections. Throughout, the authors show developers how to make the most of Microsoft's Visual Studio tools. A series of appendices provide essential programming reference material on various topics.

Object-Oriented Metamethods (Hardcover, 1998 ed.): B. Henderson-Sellers, A. Bulthuis Object-Oriented Metamethods (Hardcover, 1998 ed.)
B. Henderson-Sellers, A. Bulthuis
R1,563 Discovery Miles 15 630 Ships in 10 - 15 working days

In part the book creates and motivates the notion of metamodelling and how it can be used to standardise the creation of industry-strength design. At its heart, the book presents an analysis of the main object-oriented design methodologies, including: Booch, OMT, Coad, and Martin/Odell. Based on these descriptions, a proposal is made for a core metamodel framework into which the leading methodologies may be fitted. As a result, software engineers and software managers will find this a valuable "road map" in the future development of software standards.

Simply Visual Basic 2010: An App-Driven Approach - International Edition (Paperback, 4th edition): Harvey Deitel, Paul Deitel,... Simply Visual Basic 2010: An App-Driven Approach - International Edition (Paperback, 4th edition)
Harvey Deitel, Paul Deitel, Abbey Deitel
R1,996 Discovery Miles 19 960 Ships in 12 - 17 working days

For introductory courses in Visual Basic Programming, offered in departments of Information Technology, Computer Science or Business. Merging the concept of a lab manual with that of a conventional textbook, the Deitels have crafted an innovative approach that enables students to learn programming while having a mentor-like book by their side. This best-seller blends the Deitel signature Live-Code Approach with their Application-Driven methodology. Students learn programming and Visual Basic by working through a set of applications. Each tutorial builds upon previously learned concepts while learning new ones. An abundance of self assessment exercises are available at the end of most chapters to reinforce key ideas. This approach makes it possible to cover a wealth of programming constructs within the Visual Basic 2010 environment. View the Deitel Buzz online to learn more about the newest publications from the Deitels.

Engineering Problem Solving with C - International Edition (Paperback, 4th edition): Delores Etter Engineering Problem Solving with C - International Edition (Paperback, 4th edition)
Delores Etter
R2,327 Discovery Miles 23 270 Ships in 12 - 17 working days

This introductory-level C programming book is designed primarily for engineering students required to learn how to program. In Engineering Problem Solving with C, 4th Edition, best-selling author, Delores Etter, uses real-world engineering and scientific examples and problems throughout the text. Solutions to the problems are developed using the language C and the author's signature five-step problem solving process. Since learning any new skill requires practice at a number of different levels of difficulty, four types of exercises are presented to develop problem-solving skills - Practice! problems, Modify! problems, Short-Answer problems, and Programming problems. The author's clear and precise style creates a highly accessible and readable text for students of all levels.

Engineering Problem Solving with C++ - International Edition (Paperback, 3rd edition): Delores Etter, Jeanine Ingber Engineering Problem Solving with C++ - International Edition (Paperback, 3rd edition)
Delores Etter, Jeanine Ingber
R2,411 Discovery Miles 24 110 Ships in 12 - 17 working days

For one/two semester courses in Engineering and Computer Science at the freshman/sophomore level. This text is a clear, concise introduction to problem solving and the C++ programming language. The authors' proven five-step problem solving methodology is presented and then incorporated in every chapter of the text. Outstanding engineering and scientific applications are used throughout; all applications are centered around the theme of engineering challenges in the 21st century.

Data Clustering in C++ - An Object-Oriented Approach (Hardcover): Guojun Gan Data Clustering in C++ - An Object-Oriented Approach (Hardcover)
Guojun Gan
R3,928 Discovery Miles 39 280 Ships in 12 - 17 working days

Data clustering is a highly interdisciplinary field, the goal of which is to divide a set of objects into homogeneous groups such that objects in the same group are similar and objects in different groups are quite distinct. Thousands of theoretical papers and a number of books on data clustering have been published over the past 50 years. However, few books exist to teach people how to implement data clustering algorithms. This book was written for anyone who wants to implement or improve their data clustering algorithms. Using object-oriented design and programming techniques, Data Clustering in C++ exploits the commonalities of all data clustering algorithms to create a flexible set of reusable classes that simplifies the implementation of any data clustering algorithm. Readers can follow the development of the base data clustering classes and several popular data clustering algorithms. Additional topics such as data pre-processing, data visualization, cluster visualization, and cluster interpretation are briefly covered. This book is divided into three parts-- * Data Clustering and C++ Preliminaries: A review of basic concepts of data clustering, the unified modeling language, object-oriented programming in C++, and design patterns * A C++ Data Clustering Framework: The development of data clustering base classes * Data Clustering Algorithms: The implementation of several popular data clustering algorithms A key to learning a clustering algorithm is to implement and experiment the clustering algorithm. Complete listings of classes, examples, unit test cases, and GNU configuration files are included in the appendices of this book as well as in the CD-ROM of the book. The only requirements to compile the code are a modern C++ compiler and the Boost C++ libraries.

Formal Methods for Open Object-based Distributed Systems - Volume 2 (Hardcover, 1997 ed.): Howard Bowman, John Derrick Formal Methods for Open Object-based Distributed Systems - Volume 2 (Hardcover, 1997 ed.)
Howard Bowman, John Derrick
R5,710 Discovery Miles 57 100 Ships in 10 - 15 working days

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.

Java For Kids - NetBeans 11 Programming Tutorial (Paperback, 11th ed.): Philip Conrod, Lou Tylee Java For Kids - NetBeans 11 Programming Tutorial (Paperback, 11th ed.)
Philip Conrod, Lou Tylee
R3,369 R2,060 Discovery Miles 20 600 Save R1,309 (39%) Ships in 12 - 17 working days
Advances in Object-oriented Database Systems - Proceedings of the NATO Advanced Study Institute on Object Oriented Database... Advances in Object-oriented Database Systems - Proceedings of the NATO Advanced Study Institute on Object Oriented Database Systems Held in Izmir, Kusadasi, Turkey, August 6-16 1993 (Hardcover)
Asuman Dogac, Alexandros Biliris, Timos Sellis, M.Tamer Ozsu
R2,438 Discovery Miles 24 380 Ships in 12 - 17 working days

Object-oriented database management systems (OODBMS) are expected to serve advanced application domains such as engineering design, office information systems, imaging systems, and multimedia. This book, based on a NATO Advanced Research Workshop, covers all aspects of object-oriented database systems from design principles to implementation of prototypes. Topics covered include model concepts, query optimization, query languages, functional programming formalism, storage systems, transaction models, interoperability, distributed computing, rule languages, open architectures, hypermedia systems, and many others. Designers and developers will benefit from the comprehensive presentation of the various modules of such systems, while practitioners will find examples of implemented prototypes.

Pharmaceutical and Medical Devices Manufacturing Computer Systems Validation (Paperback): Orlando Lopez Pharmaceutical and Medical Devices Manufacturing Computer Systems Validation (Paperback)
Orlando Lopez
R1,034 Discovery Miles 10 340 Ships in 12 - 17 working days

Validation of computer systems is the process that assures the formal assessment and report of quality and performance measures for all the life-cycle stages of software and system development, its implementation, qualification and acceptance, operation, modification, requalification, maintenance and retirement (PICS CSV PI 011-3). It is a process that demonstrates the compliance of computer systems functional and non-functional requirements, data integrity, regulated company procedures and safety requirements, industry standards, and applicable regulatory authority's requirements. Compliance is a state of being in adherence to application-related standards or conventions or regulations in laws and similar prescriptions. This book, which is relevant to the pharmaceutical and medical devices regulated operations, provides practical information to assist in the computer validation to production systems, while highlighting and efficiently integrating worldwide regulation into the subject. A practical approach is presented to increase efficiency and to ensure that the validation of computer systems is correctly achieved.

Open Multithreaded Transactions - A Transaction Model for Concurrent Object-Oriented Programming (Hardcover, 2004 ed.): Joerg... Open Multithreaded Transactions - A Transaction Model for Concurrent Object-Oriented Programming (Hardcover, 2004 ed.)
Joerg Kienzle
R2,823 Discovery Miles 28 230 Ships in 10 - 15 working days

Modem computer systems possess two main characteristics: their ever- growing complexity and the increasing number and range of abnormal situa- tions they have to cope with successfully in order to deliver the service. Developing such systems is ademanding task requiring discipline and cIear thinking, which are best ensured by the right design mechanisms aiming at both appropriate system structuring and a disciplined provision of fault toler- ance. The groundlaying research of the 60s and 70s created a solid basis in this area by developing a number of fundamental mechanisms, such as ACID (atomicity, consistency, isolation and durability) transactions, atomic actions (Brain Randell's conversations) and exception handling. Later on, a number of advanced techniques were proposed to overcome some of the limitations and rigidity of these mechanisms and to allow system developers to effec- tively deal with specific characteristics of a particular application, an applica- tion domain, design paradigm and execution environment. These incIude a variety of advanced transactional schemes and a number of novel exception handling techniques. In the last years, there has been a surge of interest in developing more advanced mechanisms combining properties of several fundamental mecha- nisms to make it easier for system developers to cope, in a more flexible and efficient fashion, with complexity, distribution and heterogeneity of emerging applications as weil as with an increasing variety of possible faults.

Understanding Object-Oriented Programming with Java - Second Updated Edition for the Open University (Paperback, 2nd updated ed... Understanding Object-Oriented Programming with Java - Second Updated Edition for the Open University (Paperback, 2nd updated ed for the Open University)
Timothy Budd
R2,199 R1,846 Discovery Miles 18 460 Save R353 (16%) Ships in 12 - 17 working days

This book develops the object-oriented programming skills of experienced programmers (at the Junior, Senior or above level) by showing how to use Java 2 (the latest release of Sun's Java platform), and by providing a complete understanding of the philosophy behind Java 2. It starts out covering the language-independent concepts that are at the heart of the Java world, and then moves on to introduce Java through several example programs. Following this is an in-depth discussion on inheritance and polymorphism. Finally, the book concludes with material on important features of Java that are not object-oriented.

Design Patterns (Paperback): Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides Design Patterns (Paperback)
Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
R916 Discovery Miles 9 160 Ships in 12 - 17 working days
Formal Methods for Open Object-Based Distributed Systems - IFIP TC6 / WG6.1 Third International Conference on Formal Methods... Formal Methods for Open Object-Based Distributed Systems - IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (Hardcover, 1999 ed.)
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
R5,688 Discovery Miles 56 880 Ships in 10 - 15 working days

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Handbook of Object Technology (Hardcover): Saba Zamir Handbook of Object Technology (Hardcover)
Saba Zamir
R5,152 R1,681 Discovery Miles 16 810 Save R3,471 (67%) Ships in 12 - 17 working days

The object oriented paradigm has become one of the dominant forces in the computing world. According to a recent survey, by the year 2000, more than 80% of development organizations are expected to use object technology as the basis for their distributed development strategies.
Handbook of Object Technology encompasses the entire spectrum of disciplines and topics related to this rapidly expanding field - outlining emerging technologies, latest advances, current trends, new specifications, and ongoing research.
The handbook divides into 13 sections, each containing chapters related to that specific discipline. Up-to-date, non-abstract information provides the reader with practical, useful knowledge - directly applicable to the understanding and improvement of the reader's job or the area of interest related to this technology.
Handbook of Object Technology discusses:
o the processes, notation, and tools for classical OO methodologies as well as information on future methodologies
o prevalent and emerging OO languages
o standards and specifications
o frameworks and patterns
o databases
o metrics
o business objects
o intranets
o analysis/design tools
o client/server application development environments

Delphi Programming Made Simple (Paperback): Stephen Morris Delphi Programming Made Simple (Paperback)
Stephen Morris
R559 Discovery Miles 5 590 Ships in 12 - 17 working days

Delphi is a Windows programming environment, which lets you create self-contained, user friendly Windows applications in a very short time. Your program's windows are 'drawn' on the screen, so that you can always see exactly what the eventual application will look like. This book is aimed at those who are new to programming, or new to Delphi.

Guide to the Unified Process featuring UML, Java and Design Patterns (Hardcover, 2nd ed. 2003): John Hunt Guide to the Unified Process featuring UML, Java and Design Patterns (Hardcover, 2nd ed. 2003)
John Hunt
R2,905 Discovery Miles 29 050 Ships in 10 - 15 working days

The UML, or Unified Modeling Language, is the de facto standard adopted by the Object Management Group (OMG) and by almost all vendors of object modeling tools. The Unified Process is explicitly designed to work with the UML and is a whole design method covering the majority of the life cycle of a software product. John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key Topics Focusing explicitly on applying the notation and the method to Java, the book is clearly written to appeal to practitioners. This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together. All the UML references are updated to the latest version and the Patterns chapter has been expanded to include J2EE examples. New chapters are included showing how the Unified Process can be used in real world projects and project management, and there is comprehensive coverage of Agile Modeling. - A truly practical introduction to object oriented analysis and design using the Unified Process. Where necessary the UML is introduced, to support the Unified Process steps. - Good coverage of Design Patterns and how they integrate into Java development- Focuses on the real world use of UML and the Unified Process via a detailed case study that follows the whole design process through from the initial setting up, to implementation in Java and Agile Modeling- Features and Benefits - How to use the Unified Process in real world projects - Covers the Unified Process and UML in one book - A concise and accessible step-by-step guide to applying the Unified Process and UML in Java - Explains Design Patterns and discusses how Agile Modeling fits with the Unified Process John Hunt is Technical Director at JayDee Technology Ltd. He runs industrial courses, including server-side Java technologies. He also leads development projects for government and blue chip organizations using Java, J2EE, XML and C#. He is the author of nine other books on Java, XML and object orientation.

Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods... Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA (Hardcover, 2000 ed.)
Scott F. Smith, Carolyn L. Talcott
R5,677 Discovery Miles 56 770 Ships in 10 - 15 working days

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java (R); The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Object Oriented Simulation - A Modeling and Programming Perspective (Hardcover, 2009 ed.): Jose M. Garrido Object Oriented Simulation - A Modeling and Programming Perspective (Hardcover, 2009 ed.)
Jose M. Garrido
R4,362 Discovery Miles 43 620 Ships in 12 - 17 working days

Object Oriented Simulation will qualify as a valuable resource to students and accomplished professionals and researchers alike, as it provides an extensive, yet comprehensible introduction to the basic principles of object-oriented modeling, design and implementation of simulation models.

Key features include an introduction to modern commercial graphical simulation and animation software, accessible breakdown of OOSimL language constructs through various programming principles, and extensive tutorial materials ideal for undergraduate classroom use.

UML-B Specification for Proven Embedded Systems Design (Hardcover, 2004 ed.): Jean Mermet UML-B Specification for Proven Embedded Systems Design (Hardcover, 2004 ed.)
Jean Mermet
R4,275 Discovery Miles 42 750 Ships in 12 - 17 working days

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
ISE Object-Oriented Software…
David Kung Paperback R1,770 Discovery Miles 17 700
Objects First with Java: A Practical…
David Barnes Paperback R2,376 Discovery Miles 23 760
Object-Oriented Game Development
Julian Gold Paperback R2,202 R1,648 Discovery Miles 16 480
OCA Java SE 8 Programmer I Exam Guide…
Kathy Sierra, Bert Bates Paperback R1,473 R1,174 Discovery Miles 11 740
Java - The ultimate beginners guide to…
Mark Reed Hardcover R613 R513 Discovery Miles 5 130
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,169 Discovery Miles 21 690
Data Structures & Algorithms in Java 6e…
M.T. Goodrich Paperback R1,384 Discovery Miles 13 840
Java Parables Volume 1 - Object-Oriented…
Pamela Osakwe Leon-Mezue Hardcover R897 Discovery Miles 8 970
C++ Programming - Complete Guide to…
Xavier S Martin Hardcover R514 R437 Discovery Miles 4 370
Agile Scrum Implementation and Its…
Kenneth R Walsh, Sathiadev Mahesh, … Hardcover R6,282 Discovery Miles 62 820

 

Partners