Search results for "System Design Guide for Software Professionals"
Items we need to order for you
Software Reliability
This book is intended for the student of computing and the practising computer professional who is concerned about the unreliability of computer systems. It is the author's aim to bring an understanding of the concept of software reliability and to impart some ideas, which should lead to the development of more reliable soft ware systems. The book tries to bridge the gap between theory and practice and will thus be valuable supplemental reading for a course on software engineering. During my work on real-time systems in industry I have seen many occasions where the subjects of testing, error detection and error handling have been tackled in an unsystematic, ad hoc fashion which leads to subsequent problems in the integration phase. The chapters on these subjects formed the starting point of this book and other chapters were developed in order to produce a clear and concise text covering the whole subject of software reliability, while always keeping the practical aspect in mind. This English edition is a revised version of the original German edition. The author would like to thank all his friends and colleagues for their help, suggestions and remarks on the German text. Many of the comments which have been raised have been considered in this revised English version.
R 1,528.59
R 1,342.00
Testing in Software Development
With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the manager responsible for development. The product of each stage of development is individually examined to see how it can be checked for correctness and consistency with earlier specifications. References are given to techniques available to the software developer and there are many helpful checklists. The contributors are all members of the British Computer Society's Working Group on Testing, and between them have an impressive breadth of practical experience in the commercial development of small and large software systems. Their combined experience makes this a most valuable book for the computing professional.
R 1,628.85
Requirements Engineering for Software and Systems
Solid requirements engineering has increasingly been recognized as the key to improved, on-time, and on-budget delivery of software and systems projects. New software tools are emerging that are empowering practicing engineers to improve their requirements engineering habits. However, these tools are not usually easy to use without significant training. Requirements Engineering for Software and Systems, Fourth Edition is intended to provide a comprehensive treatment of the theoretical and practical aspects of discovering, analyzing, modeling, validating, testing, and writing requirements for systems of all kinds, with an intentional focus on software-intensive systems. It brings into play a variety of formal methods, social models, and modern requirements writing techniques to be useful to practicing engineers. The book is intended for professional software engineers, systems engineers, and senior and graduate students of software or systems engineering.Since the first edition, there have been made many changes and improvements to this textbook. Feedback from instructors, students, and corporate users was used to correct, expand, and improve the materials. The fourth edition features two newly added chapters: "On Non-Functional Requirements" and "Requirements Engineering: Road Map to the Future." The latter provides a discussion on the relationship between requirements engineering and such emerging and disruptive technologies as Internet of Things, Cloud Computing, Blockchain, Artificial Intelligence, and Affective Computing.All chapters of the book were significantly expanded with new materials that keep the book relevant to current industrial practices. Readers will find expanded discussions on new elicitation techniques, agile approaches (e.g., Kanpan, SAFe, and DEVOps), requirements tools, requirements representation, risk management approaches, and functional size measurement methods. The fourth edition also has significant additions of vignettes, exercises, and references. Another new feature is scannable QR codes linked to sites containing updates, tools, videos, and discussion forums to keep readers current with the dynamic field of requirements engineering.
R 2,934.76
R 1,579.62
Software Engineering Approaches to Enable Digital Transformation Technologies
Software Engineering Approaches to Enable Digital Transformation Technologies features contributions reflecting ideas and research in enabling digital transformation technologies through software engineering. To date, multiple, different approaches have been adopted to develop software solutions for a variety of different problems. Of all the available approaches, the main approaches are level-oriented, data flow-oriented, data structure-oriented, and object-oriented design approaches. The other focus of the book is digital transformation, which can be defined as the adoption of digital technology to improve efficiency, value, and innovation Digitalization is more than just putting additional technological systems and services in place. Rather than improving conventional methods, a true digital transformation initiative includes radically rethinking company structures and procedures. There are four types of digital transformation: business process, business model, domain, and cultural and organizational. Companies are being challenged to develop new business models that consider and harness digitalization. From the standpoint of software engineering, digital transformation alters how software is built. Current trends include the development of mobile applications, cloud applications, and Internet of Things (IoT) applications. Emerging trends are the development of digital twins, robotics, artificial intelligence, machine learning, augmented reality, and additive manufacturing. This book examines the challenges that arise due to digitization in society and presents plausible solutions that could be applied to counter these challenges and convert them into opportunities. These solutions may further be improvised and worked out for the software companies from the technological perspective, organizational perspective, and management perspective.
R 3,416.71
Modeling Software with Finite State Machines
Modeling Software with Finite State Machines: A Practical Approach explains how to apply finite state machines to software development. It provides a critical analysis of using finite state machines as a foundation for executable specifications to reduce software development effort and improve quality. This book discusses the design of a state machine and of a system of state machines. It also presents a detailed analysis of development issues relating to behavior modeling with design examples and design rules for using finite state machines. This volume describes a coherent and well-tested framework for generating reliable software for even the most complex tasks. The authors demonstrate that the established practice of using a specification as a basis for coding is wrong. Divided into three parts, this book opens by delivering the authors' expert opinions on software, covering the evolution of development as well as costs, methods, programmers, and the development cycle. The remaining two parts encourage the use of state machines: promoting the virtual finite state machine (Vfsm) method and the StateWORKS development tools.
R 3,526.74
Software Engineering for Variability Intensive Systems
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.
R 7,642.72
Co-Design for System Acceleration
This book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface mechanism in a co-design system in particular. This is based on the characteristics of the application and those of the target architecture of the system. Guidelines are provided to support the designer's choice of the interface mechanism. Some new trends in co-design and system acceleration are also introduced.
R 4,107.58
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2007) which was part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2007).
R 7,150.77
Rigorous Software Engineering for Service-Oriented Systems
Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers.This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns.
R 3,110.51
Systems and Software Variability Management
The success of product line engineering techniques in the last 15 years has popularized the use of software variability as a key modeling approach for describing the commonality and variability of systems at all stages of the software lifecycle. Software product lines enable a family of products to share a common core platform, while allowing for product specific functionality being built on top of the platform. Many companies have exploited the concept of software product lines to increase the resources that focus on highly differentiating functionality and thus improve their competitiveness with higher quality and reusable products and decreasing the time-to-market condition. Many books on product line engineering either introduce specific product line techniques or include brief summaries of industrial cases. From these sources, it is difficult to gain a comprehensive understanding of the various dimensions and aspects of software variability. Here the editors address this gap by providing a comprehensive reference on the notion of variability modeling in the context of software product line engineering, presenting an overview of the techniques proposed for variability modeling and giving a detailed perspective on software variability management. Their book is organized in four main parts, which guide the reader through the various aspects and dimensions of software variability. Part 1 which is mostly written by the editors themselves introduces the major topics related to software variability modeling, thus providing a multi-faceted view of both technological and management issues. Next, part 2 of the book comprises four separate chapters dedicated to research and commercial tools. Part 3 then continues with the most practical viewpoint of the book presenting three different industry cases on how variability is managed in real industry projects. Finally, part 4 concludes the book and encompasses six different chapters on emerging research topics in software variability like e.g. service-oriented or dynamic software product lines, or variability and aspect orientation.Each chapter briefly summarizes “What you will learn in this chapter”, so both expert and novice readers can easily locate the topics dealt with. Overall, the book captures the current state of the art and best practices, and indicates important open research challenges as well as possible pitfalls. Thus it serves as a reference for researchers and practitioners in software variability management, allowing them to develop the next set of solutions, techniques and methods in this complicated and yet fascinating field of software engineering.
R 3,993.00
Software Architecture
Software architecture is a primary factor in the creation and evolution of virtually all products involving software. It is a topic of major interest in the research community where pronusmg formalisms, processes, and technologies are under development. Architecture is also of major interest in industry because it is recognized as a significant leverage point for manipulating such basic development factors as cost, quality, and interval. Its importance is attested to by the fact that there are several international workshop series as well as major conference sessions devoted to it. The First Working IFIP Conference on Software Architecture (WICSAl) provided a focused and dedicated forum for the international software architecture community to unify and coordinate its effort to advance the state of practice and research. WICSA 1 was organized to facilitate information exchange between practising software architects and software architecture researchers. The conference was held in San Antonio, Texas, USA, from February 22nd to February 24th, 1999; it was the initiating event for the new IFIP TC-2 Working Group on Software Architecture. This proceedings document contains the papers accepted for the conference. The papers in this volume comprise both experience reports and technical papers. The proceedings reflect the structure of the conference and are divided into six sections corresponding to the working groups established for the conference.
R 6,053.02
Hardware-dependent Software
Despite its importance, the role of HdS is most often underestimated and the topic is not well represented in literature and education. To address this, Hardware-dependent Software brings together experts from different HdS areas. By providing a comprehensive overview of general HdS principles, tools, and applications, this book provides adequate insight into the current technology and upcoming developments in the domain of HdS. The reader will find an interesting text book with self-contained introductions to the principles of Real-Time Operating Systems (RTOS), the emerging BIOS successor UEFI, and the Hardware Abstraction Layer (HAL). Other chapters cover industrial applications, verification, and tool environments. Tool introductions cover the application of tools in the ASIP software tool chain (i.e. Tensilica) and the generation of drivers and OS components from C-based languages. Applications focus on telecommunication and automotive systems.
R 3,039.51
Developing and Evaluating Security-Aware Software Systems
As computer technologies continue to evolve and new security threats emerge, secure-aware software developments are essential in the software engineering field. Developing and Evaluating Security-Aware Software Systems provides innovative ideas and methods on the development, operation, and maintenance of secure software systems and aims to highlight the construction of a functional software system and a secure system simultaneously. This book is practical for researchers, academics and practitioners in the software engineering and security fields.
R 7,569.70
Software-Architekturen für Verteilte Systeme
In diesem Werk zum Thema Software-Architekturen veranschaulichen drei international renommierte Experten den Zusammenhang zwischen Prinzipien, Standardarchitekturen und praxisrelevanten Problemstellungen aus den Bereichen Web Services, Peer-to-Peer, Workflow und weiteren Anwendungsgebieten. Dieses Buch richtet sich an Praktiker, Software-Projektmanager und Studenten der Informatik/Wirtschaftsinformatik, die für Design und Entwicklung von großen verteilten Softwaresystemen verantwortlich oder am Einsatz solcher Systeme in ihrem Arbeitsbereich interessiert sind. Hier wird erstmals der "State of the Art" in der Forschung industrierelevant und verständlich umgesetzt. Die Autoren können auf jahrelange Erfahrung im Forschungs- und Entwicklungsbereich im Rahmen von großen multinationalen Entwicklungsprojekten verweisen.
R 1,686.95
Software Performance and Scalability
Praise from the Reviewers: "The practicality of the subject in a real-world situation distinguishes this book from others available on the market." —Professor Behrouz Far, University of Calgary "This book could replace the computer organization texts now in use that every CS and CpE student must take. . . . It is much needed, well written, and thoughtful." —Professor Larry Bernstein, Stevens Institute of Technology A distinctive, educational text onsoftware performance and scalability This is the first book to take a quantitative approach to the subject of software performance and scalability. It brings together three unique perspectives to demonstrate how your products can be optimized and tuned for the best possible performance and scalability: The Basics—introduces the computer hardware and software architectures that predetermine the performance and scalability of a software product as well as the principles of measuring the performance and scalability of a software product Queuing Theory—helps you learn the performance laws and queuing models for interpreting the underlying physics behind software performance and scalability, supplemented with ready-to-apply techniques for improving the performance and scalability of a software system API Profiling—shows you how to design more efficient algorithms and achieve optimized performance and scalability, aided by adopting an API profiling framework (perfBasic) built on the concept of a performance map for drilling down performance root causes at the API level Software Performance and Scalability gives you a specialized skill set that will enable you to design and build performance into your products with immediate, measurable improvements. Complemented with real-world case studies, it is an indispensable resource for software developers, quality and performance assurance engineers, architects, and managers. It is anideal text for university courses related to computer and software performance evaluation and can also be used to supplement a course in computer organization or in queuing theory for upper-division and graduate computer science students.
R 4,069.00
Professional Issues in Software Engineering
This text provides up-to-date coverage of an area that is now perceived as an essential element of a software engineer's education - the legal, professional and commercial context in which they must work. The 1990s have seen a rapidly growing appreciation of the importance to software engineers of issues beyond mere technical knowledge. These include: the commercial and financial framework; the effect of new technology on employment; the safety and reliability of computer systems; intellectual property rights in software; computer contracts; and computer misuse. The context in which professional software engineers operate changes as quickly as technology. This new edition has been comprehensively revised to reflect these changes. The major changes have been the development of the Internet, the new Data Protection Act, and recent developments in the legal status of software engineers in the USA. All these are covered and the first chapter has been substantially extended to cover ethical issues and codes of conduct.
R 4,670.98
Software Failure Risk
The author here presents a detailed explanation of the methodolgy of software reliablity evaluation, and then demonstrates its applications to a commercial loan system, a funds transfer security system, and a payables processing system. Her well-written, practical text enables users to design original software modules, as well as to critically assess commercial software products.
R 1,554.75
Software Architecture 1
Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is recognized that one of the critical problems in the design and development of any complex software system is its architecture, i.e. the organization of its architectural elements. Software Architecture presents the software architecture paradigms based on objects, components, services and models, as well as the various architectural techniques and methods, the analysis of architectural qualities, models of representation of architectural templates and styles, their formalization, validation and testing and finally the engineering approach in which these consistent and autonomous elements can be tackled.
R 5,795.00
Software Performability: From Concepts to Applications
Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support. Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The book includes a review of general performability concepts along with notions which are peculiar to software performability. Since fault tolerance is widely recognized as a viable means for improving the dependability of computer system (beyond what can be achieved by fault prevention), the examples considered are fault-tolerant software systems that incorporate particular methods of design diversity and fault recovery. Software Performability: From Concepts to Applications will be of direct benefit to both practitioners and researchers in the area of performance and dependability evaluation, fault-tolerant computing, and dependable systems for critical applications. For practitioners, it supplies a basis for defining combined performance-dependability criteria (in the form of objective functions) that can be used to enhance the performability (performance/dependability) of existing software designs. For those with research interests in model-based evaluation, the book provides an analytic framework and a variety of performability modeling examples in an application context of recognized importance. The material contained in this book will both stimulate future research on related topics and, for teaching purposes, serve as a reference text in courses on computer system evaluation, fault-tolerant computing, and dependable high-performance computer systems.
R 4,641.37
Computational Models, Software Engineering, and Advanced Technologies in Air Transportation
As the air transportation system's capacity increase has not met the rapid growth in demand, maximizing the utilization of the infrastructure is preferred over expanding it. To make the most efficient use of the existing resources, it is then necessary to develop and implement advanced technologies. Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications disseminates knowledge on modern information technology applications in air transportation useful to professionals, researchers, and academicians. This advanced publication contains multi-disciplinary contributions from the highest reputed authorities in areas of information technology involving air traffic control, airport design, airline management, and operations.
R 7,003.03
Process Improvement and CMMI� for Systems and Software
Process Improvement and CMMI® for Systems and Software provides a workable approach for achieving cost-effective process improvements for systems and software. Focusing on planning, implementation, and management in system and software processes, it supplies a brief overview of basic strategic planning models and covers fundamental concepts and approaches for system and software measurement, testing, and improvements. The book represents the significant cumulative experience of the authors who were among the first to introduce quality management to the software development processes. It introduces CMMI® and various other software and systems process models. It also provides readers with an easy-to-follow methodology for evaluating the status of development and maintenance processes and for determining the return on investment for process improvements. The authors examine beta testing and various testing and usability programs. They highlight examples of useful metrics for monitoring process improvement projects and explain how to establish baselines against which to measure achieved improvements. Divided into four parts, this practical resource covers: Strategy and basics of quality and process improvementAssessment and measurement in systems and software Improvements and testing of systems and softwareManaging and reporting data The text concludes with a realistic case study that illustrates how the process improvement effort is structured and brings together the methods, tools, and techniques discussed. Spelling out how to lay out a reasoned plan for process improvement, this book supplies readers with concrete action plans for setting up process improvement initiatives that are effective, efficient, and sustainable.
R 7,602.76
Software Processes and Life Cycle Models
This book provides a comprehensive overview of the field of software processes, covering in particular the following essential topics: software process modelling, software process and lifecycle models, software process management, deployment and governance, and software process improvement (including assessment and measurement). It does not propose any new processes or methods; rather, it introduces students and software engineers to software processes and life cycle models, covering the different types ranging from “classical”, plan-driven via hybrid to agile approaches.The book is structured as follows: In chapter 1, the fundamentals of the topic are introduced: the basic concepts, a historical overview, and the terminology used. Next, chapter 2 covers the various approaches to modelling software processes and lifecycle models, before chapter 3 discusses the contents of these models, addressing plan-driven, agile and hybrid approaches. The following three chapters address various aspects of using software processes and lifecycle models within organisations, and consider the management of these processes, their assessment and improvement, and the measurement of both software and software processes. Working with software processes normally involves various tools, which are the focus of chapter 7, before a look at current trends in software processes in chapter 8 rounds out the book.This book is mainly intended for graduate students and practicing professionals. It can be used as a textbook for courses and lectures, for self-study, and as a reference guide. When used as a textbook, it may support courses and lectures on software processes, or be used as complementary literature for more basic courses, such as introductory courses on software engineering or project management. To this end, it includes a wealth of examples and case studies, and each chapter is complemented by exercises that help readers gain a better command of the concepts discussed.
R 2,015.00
Software Radio
This book describes the design of Software Radio (SWR). Rather than providing an overview of digital signal processing and communications, this book focuses on topics which are crucial in the design and development of a SWR, explaining them in a very simple, yet precise manner, giving simulation results that confirm the effectiveness of the proposed design. Readers will gain in-depth knowledge of key issues so they can actually implement a SWR.
R 2,745.14
Software Engineering: Emerging Trends and Practices in System Development
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics. This book presents cutting-edge methods, practical case studies, and foundational advances that address real-world challenges across the computational spectrum. Whether you seek rigorous theory, proven development practices, or visionary perspectives on emerging technologies, this book provides a comprehensive resource for researchers, practitioners, and students committed to shaping the future of digital systems.
R 9,158.00
Software Engineering 3
The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." The book covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design.
R 3,117.84
Baseband Analog Circuits for Software Defined Radio
This is the first book to describe most of the issues involved in the transition from a single standard to a Software Radio based wireless terminal. The book is both a technology tutorial for beginners as well as a starting point for technical professionals in the communication and IC design industry who are approaching the design of a Software Defined Radio. A complete overview of the actual state-of-art for reconfigurable transceivers is given in detail.
R 4,362.27
Software Engineering: Emerging Trends and Practices in System Development
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics. This book presents cutting-edge methods, practical case studies, and foundational advances that address real-world challenges across the computational spectrum. Whether you seek rigorous theory, proven development practices, or visionary perspectives on emerging technologies, this book provides a comprehensive resource for researchers, practitioners, and students committed to shaping the future of digital systems.
R 9,158.00
Software Architecture: The Hard Parts
There are no easy decisions in software architecture. Instead, there are many hard parts--difficult problems or issues with no best practices--that force you to choose among various compromises. With this book, you'll learn how to think critically about the trade-offs involved with distributed architectures.Architecture veterans and practicing consultants Neal Ford, Mark Richards, Pramod Sadalage, and Zhamak Dehghani discuss strategies for choosing an appropriate architecture. By interweaving a story about a fictional group of technology professionals--the Sysops Squad--they examine everything from how to determine service granularity, manage workflows and orchestration, manage and decouple contracts, and manage distributed transactions to how to optimize operational characteristics, such as scalability, elasticity, and performance.By focusing on commonly asked questions, this book provides techniques to help you discover and weigh the trade-offs as you confront the issues you face as an architect.Analyze trade-offs and effectively document your decisionsMake better decisions regarding service granularityUnderstand the complexities of breaking apart monolithic applicationsManage and decouple contracts between servicesHandle data in a highly distributed architectureLearn patterns to manage workflow and transactions when breaking apart applications
R 1,824.00
Embedded Software Development with C
Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development.Key features include a resource for the fundamentals of embedded systems design and development with an emphasis on software, an exploration of the 8051 microcontroller as it pertains to embedded systems, comprehensive tutorial materials for instructors to provide students with labs of varying lengths and levels of difficulty, and supporting website including all sample codes, software tools and links to additional online references.
R 2,785.56
Software Engineering for Games in Serious Contexts
The book highlights several challenges and opportunities in the field of software engineering for serious games. It covers a wide range of topics from game design principles to software architecture, testing, and deployment and is structured into two parts. While Part I delves into various aspects of designing, maintaining, adapting, and evaluating games in serious contexts; Part II focuses on the experiences of realizing and using games in serious contexts.One of the primary challenges is to develop effective methods for evaluating serious games and measuring their impact and outcomes. Another challenge is to design serious games that are both engaging and effective, which requires a deep understanding of game design principles and instructional design. The book also emphasizes the need to develop effective software engineering practices for serious game development and the importance of gamification in improving user engagement and motivation. The potential of serious games for addressing societal challenges such as cybersecurity and healthcare is also highlighted. Despite these challenges, the book also identifies several opportunities for the field, including the potential of serious games to provide new and innovative approaches to learning and the potential of serious games to address real-world problems in new and effective ways.This book is intended for software engineers, game developers, educators, and anyone interested in how games in serious contexts can be effectively created. Overall, the chapters in the book provide a valuable snapshot of the current state of the field and offer insights into where it may be headed in the future.
R 8,378.85
Formal Aspects of Component Software
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.
R 1,569.16
Software Configuration Management Handbook
Other books on the market have explored the principles of software configuration management (SCM), but none have tackled the nuts-and-bolts of implementing an SCM system - until now. This completely revised edition of an Artech House bestseller goes far above and beyond other SCM books as the only complete guide that integrates SCM principles, advanced topics, and implementation procedures in one easy-access resource. The second edition is greatly expanded with new chapters on documentation control, product data management, and SCM standards, and explroes the latest advances in SCM tools, organization, operation, and maintenance as well as new software development methodologies.
R 3,772.00
Software Processes and Life Cycle Models
This book provides a comprehensive overview of the field of software processes, covering in particular the following essential topics: software process modelling, software process and lifecycle models, software process management, deployment and governance, and software process improvement (including assessment and measurement). It does not propose any new processes or methods; rather, it introduces students and software engineers to software processes and life cycle models, covering the different types ranging from “classical”, plan-driven via hybrid to agile approaches.The book is structured as follows: In chapter 1, the fundamentals of the topic are introduced: the basic concepts, a historical overview, and the terminology used. Next, chapter 2 covers the various approaches to modelling software processes and lifecycle models, before chapter 3 discusses the contents of these models, addressing plan-driven, agile and hybrid approaches. The following three chapters address various aspects of using software processes and lifecycle models within organisations, and consider the management of these processes, their assessment and improvement, and the measurement of both software and software processes. Working with software processes normally involves various tools, which are the focus of chapter 7, before a look at current trends in software processes in chapter 8 rounds out the book.This book is mainly intended for graduate students and practicing professionals. It can be used as a textbook for courses and lectures, for self-study, and as a reference guide. When used as a textbook, it may support courses and lectures on software processes, or be used as complementary literature for more basic courses, such as introductory courses on software engineering or project management. To this end, it includes a wealth of examples and case studies, and each chapter is complemented by exercises that help readers gain a better command of the concepts discussed.
R 3,154.39
Systems, Software and Services Process Improvement and Innovation
This two-volume set CCIS 3136-3137 constitutes the conference proceedings of the 33rd European Conference on Systems, Software and Services Process Improvement and Innovation, EuroSPI 2026, held in Cairo, Egypt, during September 8–10, 2026.The 42 full papers included in these volumes were carefully reviewed and selected from 60 submissions. They are organized into the following topical sections:Part I: Digitalisation of Industry, Infrastructure and E-Mobility; High Maturity Organisations; Innovation and Sustainability ; SPI and Functional Safety and Cybersecurity. Part II: SPI and Standards and Safety and Security Norms; Emerging and Multidisciplinary Approaches to Software Engineering.
R 4,675.16
Software and Systems Traceability
Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software traceability is derived from the concept of requirements traceability. Requirements traceability is the ability to track a requirement all the way from its origins to the downstream work products that implement that requirement in a software system. Software traceability is defined as the ability to relate the various types of software artefacts created during the development of software systems. Traceability relations can improve the quality of a product being developed, and reduce the time and cost of development. More specifically, traceability relations can support evolution of software systems, reuse of parts of a system by comparing components of new and existing systems, validation that a system meets its requirements, understanding of the rationale for certain design and implementation decisions, and analysis of the implications of changes in the system.
R 4,687.49
Design and Implementation of Multimedia Software with Examples in Java
Multimedia is hot and, as a result, there are many books with the word “multimedia” in the title. The Design and Implementation of Multimedia Software with Examples in Java is intended for software engineers and object-oriented programmers who are interested in designing and developing multimedia software. At a high level, it discusses the physics, biology and psychology of visual and auditory perception and the implications of these processes for the characterization of multimedia software. At an intermediate level, it discusses the use of various patterns in the design of multimedia software. At a lower level, it discusses different ways of adding multimedia functionality to applications of various kinds. It can be viewed as both a book about multimedia software that uses object-oriented design/programming, and a book about object-oriented design/programming that happens to use visual and auditory examples (such as image processing, vector graphics, video, animation, audio processing, and musical scores).
R 1,912.00
Computer Technology for Health Professionals
The second edition of Computer Technology for Health Professionals: A Guide to Effective Use and Best Practices bridges the “why” and the “how” of desktop computer technology. This introductory book provides easy to understand explanations of commonly used desktop hardware and software technology within the context of its use in the fields of clinical healthcare and public health practice. Step-by-step instruction on the use of software tools is included, as well as an emphasis on best practices for their use in healthcare and public health organizations.Topics include legal issues for computer users in health-related fields, hardware, software, malware, electronic spreadsheets, data visualization, and relational database management using Microsoft Office. The book also addresses health-related literature research using literature databases, as well as web search engines, with a focus on assessing the scientific validity of health information found online.Readers will also learn about Boolean Logic as it is applied to relational databases and online literature searches, organizational decision-making for the selection and purchase of software, as well as Geographic Information Systems. Each chapter features an “Apply Your Knowledge” section with hands-on exercises that allow readers to immediately implement concepts and skills.Computer Technology for Health Professionals is a common sense approach to using both hardware and software. The book is written for introductory courses in computer proficiency in the fields of the health sciences and public health. Practicing professionals can use the text as a refresher or to bolster skills in specific computer applications.
R 5,992.00
System-Level Design Methodologies for Telecommunication
This book provides a comprehensive overview of modern networks design, from specifications and modeling to implementations and test procedures, including the design and implementation of modern networks on chip, in both wireless and mobile applications. Topical coverage includes algorithms and methodologies, telecommunications, hardware (including networks on chip), security and privacy, wireless and mobile networks and a variety of modern applications, such as VoLTE and the internet of things.
R 4,647.50
