0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (62)
  • R250 - R500 (247)
  • R500+ (7,660)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Software engineering

Electronic Bill Presentment and Payment (Paperback): Kornel Terplan Electronic Bill Presentment and Payment (Paperback)
Kornel Terplan
R1,934 Discovery Miles 19 340 Ships in 12 - 19 working days

Electronic bill presentment and payment (EBPP) is revolutionizing the billing process by offering online and real time presentment of bill content and payment choices. EBPP is the easy way of viewing billing status, remittance items, and presenting balances using a universal browser from any location. In contrast to paper-based bills, electronic billing enables service providers to combine billing with advanced customer care and improved customer relationship management. Electronic Bill Presentment and Payment presents the essentials about this new way of viewing and paying bills. The author defines basic business models, such as biller direct and various consolidator model options, allocates the right tools to each of the models, and differentiates between the needs of principal industries. The text describes how to build and implement value added capabilities such as personalization, up-selling, online dispute management, and better control of the accounts payable and receivable process can significantly improve customer care and customer relationship management on behalf of service providers. About the Author: Kornel Terplan is a telecommunication expert with more than 30 years of highly successful multi-national consulting experience. He has provided consulting, training, and product development services to over 75 national and international corporations on four continents. He has served on the editorial board for over 140 articles, 22 books, and 115 papers. Dr. Terplan has designed five network management related courses and conducted over 80 seminar presentations in 15 countries.

Software Quality Assurance (Paperback): R. Chopra Software Quality Assurance (Paperback)
R. Chopra
R1,305 R1,112 Discovery Miles 11 120 Save R193 (15%) Ships in 10 - 15 working days

Software compiles, executes and runs, but often fails or gives inaccurate results, because it is not tested thoroughly prior to its release. This overview of software testing and quality assurance provides key concepts, case studies, and numerous techniques to ensure software is reliable and secure. Using a "self-teaching" format, the book covers important topics such as black, white, and gray box testing, video game testing, test management, automation, levels of testing, and quality assurance standards and procedures. Includes end of chapter multiple-choice questions/answers to increase mastering of the topics.

An Introduction to Self-adaptive Systems - A Comtemporary Software Engineering Perspective (Hardcover): D Weyns An Introduction to Self-adaptive Systems - A Comtemporary Software Engineering Perspective (Hardcover)
D Weyns
R2,610 Discovery Miles 26 100 Ships in 12 - 19 working days

A concise and practical introduction to the foundations and engineering principles of self-adaptation Though it has recently gained significant momentum, the topic of self-adaptation remains largely under-addressed in academic and technical literature. This book changes that. Using a systematic and holistic approach, An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective provides readers with an accessible set of basic principles, engineering foundations, and applications of self-adaptation in software-intensive systems. It places self-adaptation in the context of techniques like uncertainty management, feedback control, online reasoning, and machine learning while acknowledging the growing consensus in the software engineering community that self-adaptation will be a crucial enabling feature in tackling the challenges of new, emerging, and future systems. The author combines cutting-edge technical research with basic principles and real-world insights to create a practical and strategically effective guide to self-adaptation. He includes features such as: An analysis of the foundational engineering principles and applications of self-adaptation in different domains, including the Internet-of-Things, cloud computing, and cyber-physical systems End-of-chapter exercises at four different levels of complexity and difficulty An accompanying author-hosted website with slides, selected exercises and solutions, models, and code Perfect for researchers, students, teachers, industry leaders, and practitioners in fields that directly or peripherally involve software engineering, as well as those in academia involved in a class on self-adaptivity, this book belongs on the shelves of anyone with an interest in the future of software and its engineering.

Recent Advancements in Software Reliability Assurance (Hardcover): Adarsh Anand, Mangey Ram Recent Advancements in Software Reliability Assurance (Hardcover)
Adarsh Anand, Mangey Ram
R1,826 Discovery Miles 18 260 Ships in 12 - 19 working days

The aim of this book is to provide a platform to academicians, practitioners, and researchers to understand current and future trends in software reliability growth modeling. Emphasis will be on qualitative work relevant to the theme with particular importance given to mathematical modeling for software reliability and various methods and applications of multi attributed decision making in governing the software performance. Presents software quality and security models Offers reliability analysis, assurance techniques for software systems Covers methodologies, tools, and practical applications of software reliability modeling and testing resources Includes robust reliability design techniques, diagnostic, and decision support Discusses stochastic modelling for software systems

Effective Processes for Quality Assurance (Hardcover): Boyd L. Summers Effective Processes for Quality Assurance (Hardcover)
Boyd L. Summers
R2,482 Discovery Miles 24 820 Ships in 12 - 19 working days

Driving innovation can reduce costs for companies, institutions, military programs, and successful businesses. Quality is key to successful innovation. Delivery of complex products must have high quality to reduce customer problems and defects. This book explains how to integrate Quality Assurance processes to produce compliant product management and gap analysis. It shows how Quality Assurance provides a common operating framework in which best practices, improvements, and cost avoidance activities can be shared. Effective Processes for Quality Assurance emphasizes improving process execution and reducing operational costs. It also focuses on how Quality Assurance personnel must support companies, institutions, military programs, and successful businesses by encouraging a cooperative, proactive approach and ensure compliance through management and team member participation. Lean and Agile can provide a competitive advantage, and this practical reference explains how to implement these two principles to deliver products that have fewer defects. It also explains: Quality Assurance methods Measuring benefits of Quality Assurance process improvement Quality Assurance performance and improvement Risk management Quality Assurance improvement with metrics Effective processes for Quality Assurance Quantitative process performance and commitments Quality Assurance plans Quality Assurance for customers and suppliers Supporting software configuration Effective Processes for Quality Assurance covers the critical issues for implementing Quality Assurance processes that can deliver high-quality products successfully.

Project Management of Large Software-Intensive Systems - Controlling the Software Development Process (Paperback): Marvin... Project Management of Large Software-Intensive Systems - Controlling the Software Development Process (Paperback)
Marvin Gechman
R2,711 Discovery Miles 27 110 Ships in 12 - 19 working days

The book describes how to manage and successfully deliver large, complex, and expensive systems that can be composed of millions of line of software code, being developed by numerous groups throughout the globe, that interface with many hardware items being developed by geographically dispersed companies, where the system also includes people, policies, constraints, regulations, and a myriad of other factors. It focuses on how to seamlessly integrate systems, satisfy the customer's requirements, and deliver within the budget and on time. The guide is essentially a "shopping list" of all the activities that could be conducted with tailoring guidelines to meet the needs of each project.

Integrated Software Reuse - Management and Techniques (Hardcover): Paul Walton, Neil Maiden Integrated Software Reuse - Management and Techniques (Hardcover)
Paul Walton, Neil Maiden
R2,971 Discovery Miles 29 710 Ships in 12 - 19 working days

Published in 1993. Software reuse has been shown to achieve improvements in productivity, quality and timeliness of software. The collection of papers in this book were given at a seminar organized by UNICOM and the British Computer Society Software Reuse Specialist Group. They address the reasons why software reuse can maximize an organization's return from past expenditure and ensure a good future expenditure. Increasing the automation of software development requires access to explicit knowledge about processes and products involved. The chapters examine the relationship between reuse and other aspects of software engineering, including management techniques and structures, CASE, methodologies and object orientation. In addition, the papers aim to provide a structures insight into new techniques which will become available through the 1990s. This text is suitable for software managers and directors, software engineers, software professionals, academics, and other involved in software engineering research.

The Minimum You Need to Know About the Phallus of Agile (Hardcover): Roland Hughes The Minimum You Need to Know About the Phallus of Agile (Hardcover)
Roland Hughes
R1,409 Discovery Miles 14 090 Ships in 9 - 17 working days
Introduction to the Boost C++ Libraries; Volume I - Foundations (Hardcover): Robert Demming, Daniel J. Duffy Introduction to the Boost C++ Libraries; Volume I - Foundations (Hardcover)
Robert Demming, Daniel J. Duffy
R1,581 Discovery Miles 15 810 Ships in 12 - 19 working days

C++ is one of the most important and influential programming languages for application development. It supports the modular, object- oriented and generic programming models and its flexibility has been one of the main reasons why it has been so successful. With the emergence of the Boost Libraries (www.boost.org) we see that C++ is brought to a new level, namely a set of reusable and modular template libraries that C++ developers can use in their applications. This book is dedicated to a number of Boost libraries for higher-order functions, data types and data structures, libraries for text and string processing, multi-threading, random number generation and more. We also discuss how Boost and design patterns are used to promote the flexibility of code. Each library is described in a step-by-step manner. Numerous examples are given to show the functionality of each library. The full source code is freely available to purchasers of the book. Coverage Includes Understanding and using 30 major Boost libraries. Learn about higher-order functions, data structures, memory management, multi-threading and more. Using Boost in new and existing applications. Integrating Boost and the Gang-Of-Four design patterns. Ready-to-run projects for Visual Studio. Appendices and exercises."

More Agile Testing - Learning Journeys for the Whole Team (Paperback): Lisa Crispin, Janet Gregory More Agile Testing - Learning Journeys for the Whole Team (Paperback)
Lisa Crispin, Janet Gregory
R1,035 R875 Discovery Miles 8 750 Save R160 (15%) Ships in 5 - 10 working days

Janet Gregory and Lisa Crispin pioneered the agile testing discipline with their previous work, Agile Testing. Now, in More Agile Testing, they reflect on all they've learned since. They address crucial emerging issues, share evolved agile practices, and cover key issues agile testers have asked to learn more about. Packed with new examples from real teams, this insightful guide offers detailed information about adapting agile testing for your environment; learning from experience and continually improving your test processes; scaling agile testing across teams; and overcoming the pitfalls of automated testing. You'll find brand-new coverage of agile testing for the enterprise, distributed teams, mobile/embedded systems, regulated environments, data warehouse/BI systems, and DevOps practices. You'll come away understanding * How to clarify testing activities within the team * Ways to collaborate with business experts to identify valuable features and deliver the right capabilities * How to design automated tests for superior reliability and easier maintenance * How agile team members can improve and expand their testing skills * How to plan "just enough," balancing small increments with larger feature sets and the entire system * How to use testing to identify and mitigate risks associated with your current agile processes and to prevent defects * How to address challenges within your product or organizational context * How to perform exploratory testing using "personas" and "tours" * Exploratory testing approaches that engage the whole team, using test charters with session- and thread-based techniques * How to bring new agile testers up to speed quickly-without overwhelming them The eBook edition of More Agile Testing also is available as part of a two-eBook collection, The Agile Testing Collection (9780134190624).

Software Engineering for Variability Intensive Systems - Foundations and Applications (Hardcover): Ivan Mistrik, Matthias... Software Engineering for Variability Intensive Systems - Foundations and Applications (Hardcover)
Ivan Mistrik, Matthias Galster, Bruce R. Maxim
R3,604 Discovery Miles 36 040 Ships in 12 - 19 working days

This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discuss the challenges in developing, maintaining and evolving systems, cloud and mobile services for variability-intensive software systems and the scalability requirements they imply. The book explores software engineering approaches that can efficiently deal with variability-intensive systems as well as applications and use cases benefiting from variability-intensive systems.

97 Things Every Java Programmer Should Know - Collective Wisdom from the Experts (Paperback): Kevlin Henney, Trisha Gee 97 Things Every Java Programmer Should Know - Collective Wisdom from the Experts (Paperback)
Kevlin Henney, Trisha Gee
R886 Discovery Miles 8 860 Ships in 12 - 19 working days

If you want to push your Java skills to the next level, this book provides expert advice from Java leaders and practitioners. You'll be encouraged to look at problems in new ways, take broader responsibility for your work, stretch yourself by learning new techniques, and become as good at the entire craft of development as you possibly can Edited by Kevlin Henney and Trisha Gee, 97 Things Every Java Programmer Should Know reflects lifetimes of experience writing Java software and living with the process of software development. Great programmers share their collected wisdom to help you rethink Java practices, whether working with legacy code or incorporating changes since Java 8 A few of the 97 things you should know: "Behavior Is Easy, State Is Hard"-Edson Yanaga "Learn Java Idioms and Cache in Your Brain"-Jeanne Boyarsky "Java Programming from a JVM Performance Perspective"-Monica Beckwith "Garbage Collection Is Your Friend"-Holly K Cummins "Java's Unspeakable Types"-Ben Evans "The Rebirth of Java"-Sander Mak "Do You Know What Time It Is?"-Christin Gorman

Data Mesh - Delivering Data-Driven Value at Scale (Paperback): Zhamak Dehghani Data Mesh - Delivering Data-Driven Value at Scale (Paperback)
Zhamak Dehghani
R1,367 Discovery Miles 13 670 Ships in 12 - 19 working days

We're at an inflection point in data, where our data management solutions no longer match the complexity of organizations, the proliferation of data sources, and the scope of our aspirations to get value from data with AI and analytics. In this practical book, author Zhamak Dehghani introduces data mesh, a decentralized sociotechnical paradigm drawn from modern distributed architecture that provides a new approach to sourcing, sharing, accessing, and managing analytical data at scale. Dehghani guides practitioners, architects, technical leaders, and decision makers on their journey from traditional big data architecture to a distributed and multidimensional approach to analytical data management. Data mesh treats data as a product, considers domains as a primary concern, applies platform thinking to create self-serve data infrastructure, and introduces a federated computational model of data governance. Get a complete introduction to data mesh principles and its constituents Design a data mesh architecture Guide a data mesh strategy and execution Navigate organizational design to a decentralized data ownership model Move beyond traditional data warehouses and lakes to a distributed data mesh

Designing Interfaces - Patterns for Effective Interaction Design (Paperback, 3rd edition): Jenifer Tidwell, Charles Brewer,... Designing Interfaces - Patterns for Effective Interaction Design (Paperback, 3rd edition)
Jenifer Tidwell, Charles Brewer, Aynne Valencia
R1,170 Discovery Miles 11 700 Ships in 12 - 19 working days

Designing good application interfaces isn't easy now that companies need to create compelling, seamless user experiences across an exploding number of channels, screens, and contexts. In this updated third edition, you'll learn how to navigate through the maze of design options. By capturing UI best practices as design patterns, this best-selling book provides solutions to common design problems. You'll learn patterns for mobile apps, web applications, and desktop software. Each pattern contains full-color examples and practical design advice you can apply immediately. Experienced designers can use this guide as an idea sourcebook, and novices will find a road map to the world of interface and interaction design. Understand your users before you start designing Build your software's structure so it makes sense to users Design components to help users complete tasks on any device Learn how to promote wayfinding in your software Place elements to guide users to information and functions Learn how visual design can make or break product usability Display complex data with artful visualizations

Software Testing and Quality Assurance - Theory and Practice (Hardcover): S Naik Software Testing and Quality Assurance - Theory and Practice (Hardcover)
S Naik
R3,475 Discovery Miles 34 750 Ships in 12 - 19 working days

A superior primer on software testing and quality assurance, from integration to execution and automation

This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices.

Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of:

Practices that support the production of quality software

Software testing techniques

Life-cycle models for requirements, defects, test cases, and test results

Process models for units, integration, system, and acceptance testing

How to build test teams, including recruiting and retaining test engineers

Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model

Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.

Foundations of Probabilistic Logic Programming - Languages, Semantics, Inference and Learning (Hardcover): Fabrizio Riguzzi Foundations of Probabilistic Logic Programming - Languages, Semantics, Inference and Learning (Hardcover)
Fabrizio Riguzzi
R2,899 Discovery Miles 28 990 Ships in 12 - 19 working days

The integration of logic and probability combines the capability of the first to represent complex relations among entities with the capability of the latter to model uncertainty over attributes and relations. Logic programming provides a Turing complete language based on logic and thus represent an excellent candidate for the integration. Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. One of most successful approaches to Probabilistic Logic Programming is the Distribution Semantics, where a probabilistic logic program defines a probability distribution over normal logic programs and the probability of a ground query is then obtained from the joint distribution of the query and the programs. Foundations of Probabilistic Logic Programming aims at providing an overview of the field of Probabilistic Logic Programming, with a special emphasis on languages under the Distribution Semantics. The book presents the main ideas for semantics, inference and learning and highlights connections between the methods. Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.

Enterprise Architecture at Work - Modelling, Communication and Analysis (Hardcover, 4th ed. 2017): Marc Lankhorst Enterprise Architecture at Work - Modelling, Communication and Analysis (Hardcover, 4th ed. 2017)
Marc Lankhorst
R2,070 R1,339 Discovery Miles 13 390 Save R731 (35%) Ships in 12 - 19 working days

Lankhorst and his co-authors present ArchiMate (R) 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models. They provide architects with concrete instruments that improve their architectural practice. As this is not enough, they additionally present techniques and heuristics for communicating with all relevant stakeholders about these architectures. Since an architecture model is useful not only for providing insight into the current or future situation but can also be used to evaluate the transition from 'as-is' to 'to-be', the authors also describe analysis methods for assessing both the qualitative impact of changes to an architecture and the quantitative aspects of architectures, such as performance and cost issues. The modelling language presented has been proven in practice in many real-life case studies and has been adopted by The Open Group as an international standard. So this book is an ideal companion for enterprise IT or business architects in industry as well as for computer or management science students studying the field of enterprise architecture. This fourth edition of the book has been completely reworked to be compatible with ArchiMate (R) 3.0, and it includes a new chapter relating this new version to other standards. New sections on capability analysis, risk analysis, and business architecture in general have also been introduced.

Sustainable Design - HCI, Usability and Environmental Concerns (Hardcover, 2nd ed. 2022): Tomayess Issa, Pedro Isaias Sustainable Design - HCI, Usability and Environmental Concerns (Hardcover, 2nd ed. 2022)
Tomayess Issa, Pedro Isaias
R2,271 Discovery Miles 22 710 Ships in 10 - 15 working days

This book is concerned with the importance of Human Computer Interaction (HCI), Usability, user participants, and Sustainability in the Information Communication Technology (ICT) industry throughout the world. ICTs have become a crucial instrument for communication, entertainment, commerce and research and this increased usage is presenting new environmental and sustainability issues as we try and meet the ever-growing needs of both businesses and individuals. Sustainability and sustainable design must become central to the design of new technologies to make a concerted effort to tackle the environmental concerns we face now and in the future. Development frameworks, tools and models are used and explored, and the New Participative Methodology for Sustainable Design (NPMSD) is introduced as a way of identifying key factors needed in developing more sustainable systems including new smart technology and portable devices. In this book, the sustainable step in the design stage is evaluated and assessed by 11 countries: namely, Australia, Brazil, China, Germany, India, Norway, Singapore, South Korea, Sweden, UK, and USA. The new results are generated confirming that sustainable design awareness should be considered by designers, and users to minimize and reduce the carbon emissions, raw materials usage, and global warming, since these problems should be tackled soon, otherwise, it will be too late to solve it. Further research is needed in the future to implement and assess the sustainable design step with large IT companies to ensure compliance with environmental standards and rules for sustainable systems. Sustainable Design is an invaluable resource for students and researchers, designers and business managers who are interested in the human-centered, environmental concerns of sustainable technologies.

Infrastructure as Code, Patterns and Practices: With examples in Python and Terraform (Paperback): Rosemary Wang Infrastructure as Code, Patterns and Practices: With examples in Python and Terraform (Paperback)
Rosemary Wang
R1,263 Discovery Miles 12 630 Ships in 12 - 19 working days

Essential Infrastructure as Code teaches patterns for scaling systems and supporting infrastructure for mission-critical applications. The book is fullof flexible automation techniques and universal principles that are easy toapply to almost any use case, from data centers, to public cloud, to software-as-a-Service. The book is full of techniques that work whether you're managing your personal projects or making live network changes across a large enterprise. Infrastructure as Code (IaC) replaces time-consuming manual provisioning and configuration with automation via configuration managers or provisioning tools like Hashicorp Terraform. Managing your infrastructure as code makes it easy to test changes and implement new features, scale systems without downtime or operational toil, and rapidly roll back mistakes.

PhoneGap Build - Developing Cross Platform Mobile Applications in the Cloud (Paperback): Bintu Harwani PhoneGap Build - Developing Cross Platform Mobile Applications in the Cloud (Paperback)
Bintu Harwani
R1,265 Discovery Miles 12 650 Ships in 12 - 19 working days

PhoneGap is a standards-based, open-source development framework that can be deployed to any mobile device without losing the features of the native app-allowing for access to device contacts, the local file system, camera, and media on multiple platforms without requiring users to write a single line of code. Ideal for intermediate to advanced users, PhoneGap Build: Developing Cross Platform Mobile Applications in the Cloud offers the comprehensive coverage you need to harness the power of this dynamic tool. It provides complete coverage of the cloud computing platform and the theories behind cloud computing, using a series of engaging examples. The book explains the differences between existing mobile platforms, the different types of browsers they support, and the programming languages and integrated development environment required to develop apps for each of them. It then describes how PhoneGap makes the task of developing cross-platform mobile apps easier. This book will teach you how to use: HTML5, CSS3, and JavaScript to develop apps for devices across various mobile operating systems PhoneGap Build to develop mobile apps in the cloud PhoneGap with Sencha Touch and jQuery Mobile Back end databases to store and retrieve information The text starts with simpler applications and gradually moves toward describing advanced concepts and how to exploit different application programming interfaces and methods. By the time you finish the book, you will learn how to develop feature-rich mobile applications that can run on the cloud to support different platforms. Supplying authoritative guidance and proven best practices for designing cloud-based applications, the book is an ideal reference for cloud system developers, architects, and IT professionals. It is also suitable for use in instructional settings.

Multilevel Security for Relational Databases (Paperback): Osama S Faragallah, El-Sayed M.  El-Rabaie, Fathi E. Abd El-Samie,... Multilevel Security for Relational Databases (Paperback)
Osama S Faragallah, El-Sayed M. El-Rabaie, Fathi E. Abd El-Samie, Ahmed I Sallam, Hala S El-Sayed
R1,895 Discovery Miles 18 950 Ships in 12 - 19 working days

Since databases are the primary repositories of information for today's organizations and governments, database security has become critically important. Introducing the concept of multilevel security in relational databases, this book provides a comparative study of the various models that support multilevel security policies in the relational database-illustrating the strengths and weaknesses of each model. Multilevel Security for Relational Databases covers multilevel database security concepts along with many other multilevel database security models and techniques. It presents a prototype that readers can implement as a tool for conducting performance evaluations to compare multilevel secure database models. The book supplies a complete view of an encryption-based multilevel security database model that integrates multilevel security for the relational database with a system that encrypts each record with an encryption key according to its security class level. This model will help you utilize an encryption system as a second security layer over the multilevel security layer for the database, reduce the multilevel database size, and improve the response time of data retrieval from the multilevel database. Considering instance-based multilevel database security, the book covers relational database access controls and examines concurrency control in multilevel database security systems. It includes database encryption algorithms, simulation programs, and Visual studio and Microsoft SQL Server code.

Petri Nets - Theoretical Models and Analysis Methods for Concurrent Systems (Hardcover, 1st ed. 2022): Guanjun Liu Petri Nets - Theoretical Models and Analysis Methods for Concurrent Systems (Hardcover, 1st ed. 2022)
Guanjun Liu
R4,931 Discovery Miles 49 310 Ships in 12 - 19 working days

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.

Open Source Data Warehousing and Business Intelligence (Paperback): Lakshman Bulusu Open Source Data Warehousing and Business Intelligence (Paperback)
Lakshman Bulusu
R1,887 Discovery Miles 18 870 Ships in 12 - 19 working days

Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-centric, cross-customer viable, cross-functional, cross-technology based, and enterprise-wide. Considering the entire lifecycle of an open source DW & BI implementation, its comprehensive coverage spans from basic concepts all the way through to customization. Highlighting the key differences between open source and vendor DW and BI technologies, the book identifies end-to-end solutions that are scalable, high performance, and stable. It illustrates the practical aspects of implementing and using open source DW and BI technologies to supply you with valuable on-the-project experience that can help you improve implementation and productivity. Emphasizing analysis, design, and programming, the text explains best-fit solutions as well as how to maximize ROI. Coverage includes data warehouse design, real-time processing, data integration, presentation services, and real-time reporting. With a focus on real-world applications, the author devotes an entire section to powerful implementation best practices that can help you build customer confidence while saving valuable time, effort, and resources.

A Comprehensive Guide to Enterprise Mobility (Paperback): Jithesh Sathyan, Anoop N, Navin Narayan, Shibu Kizhakke Vallathai A Comprehensive Guide to Enterprise Mobility (Paperback)
Jithesh Sathyan, Anoop N, Navin Narayan, Shibu Kizhakke Vallathai
R1,677 Discovery Miles 16 770 Ships in 12 - 19 working days

Although enterprise mobility is in high demand across domains, an absence of experts who have worked on enterprise mobility has resulted in a lack of books on the subject. A Comprehensive Guide to Enterprise Mobility fills this void. It supplies authoritative guidance on all aspects of enterprise mobility-from technical aspects and applications to implementation. The book introduces basic concepts such as enterprise mobility adoption strategy and user requirements in mobility. Illustrating the technical aspects of enterprise mobility, it analyzes the key features and challenges in developing mobility solutions for various domains. The text is organized into four sections: Mobility Concepts: supplies a solid foundation in enterprise mobility, from strategy definition to deployment of enterprise mobility solutions Mobile Solutions and Case Studies: introduces readers to the applications of enterprise mobility across a wide range of industry sectors Mobile Application Development: supplies an overview of popular mobile platforms and mobile programming languages Technology Considerations in Mobility: details hybrid and supporting technologies in enterprise mobility The book's case studies illustrate the complete lifecycle in the development of mobility solutions, including the high level requirements, architecture, and design principles for each use case. Demonstrating how to put the concepts covered into practice, the text details the application of mobility solutions across various domains, including the healthcare, retail, airline, and pharmaceutical industries.

Explore It! (Paperback): Elisabeth Hendrickson Explore It! (Paperback)
Elisabeth Hendrickson
R690 R632 Discovery Miles 6 320 Save R58 (8%) Ships in 12 - 19 working days

Uncover surprises, risks, and potentially serious bugs with exploratory testing. Rather than designing all tests in advance, explorers design and execute small, rapid experiments, using what they learned from the last little experiment to inform the next. Learn essential skills of a master explorer, including how to analyze software to discover key points of vulnerability, how to design experiments on the fly, how to hone your observation skills, and how to focus your efforts. Software is full of surprises. No matter how careful or skilled you are, when you create software it can behave differently than you intended. Exploratory testing mitigates those risks. Part 1 introduces the core, essential skills of a master explorer. You'll learn to craft charters to guide your exploration, to observe what's really happening (hint: it's harder than it sounds), to identify interesting variations, and to determine what expected behavior should be when exercising software in unexpected ways. Part 2 builds on that foundation. You'll learn how to explore by varying interactions, sequences, data, timing, and configurations. Along the way you'll see how to incorporate analysis techniques like state modeling, data modeling, and defining context diagrams into your explorer's arsenal. Part 3 brings the techniques back into the context of a software project. You'll apply the skills and techniques in a variety of contexts and integrate exploration into the development cycle from the very beginning. You can apply the techniques in this book to any kind of software. Whether you work on embedded systems, Web applications, desktop applications, APIs, or something else, you'll find this book contains a wealth of concrete and practical advice about exploring your software to discover its capabilities, limitations, and risks.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Festschrift in Honor of R. Dennis Cook…
Efstathia Bura, Bing Li Hardcover R3,892 Discovery Miles 38 920
Advances in Structural Engineering…
K. V. L. Subramaniam, Mohd Ataullah Khan Hardcover R5,596 Discovery Miles 55 960
Evaluating Websites and Web Services
Denis Yannacopoulos, Panagiotis Manolitzas, … Hardcover R5,871 Discovery Miles 58 710
System Theory of Continuous Time Finite…
Yasumichi Hasegawa Hardcover R2,886 Discovery Miles 28 860
Web Services Research for Emerging…
Hardcover R5,132 Discovery Miles 51 320
Quantitative Data Analysis - A Companion…
Willem Mertens, Amedeo Pugliese, … Hardcover R2,957 Discovery Miles 29 570
Design for the Unexpected - From Holonic…
Paul Valckenaers, Hendrik Van Brussel Paperback R2,986 Discovery Miles 29 860
Statistical Disclosure Control for…
Matthias Templ Hardcover R2,936 Discovery Miles 29 360
Nonlinear Approaches in Engineering…
Reza N. Jazar, Liming Dai Hardcover R4,682 Discovery Miles 46 820
Formalizing Data-Centric Web Services
Iman Saleh Hardcover R2,859 R1,895 Discovery Miles 18 950

 

Partners