Search results for "System Design Guide for Software Professionals"
Items we need to order for you
Engineering Trustworthy Software Systems
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
R 1,552.25
Systems, Software and Services Process Improvement
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025. The 42 papers included in these proceedings were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Part I: SPI and Emerging and Multidisciplinary Approaches to Software Engineering; SPI and Standards and Safety and Security Norms; SPI and Functional Safety and Cybersecurity. Part II: Sustainability and Life Cycle Challenges; SPI and Recent Innovations; Digitalisation of Industry, Infrastructure and E-Mobility; SPI and Agile.
R 5,065.19
Computer Science and Educational Software Design
Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software architectures. Computer scientists face the difficulty of understanding the particular issues and phenomena to be taken into account in educational software projects and of avoiding a naïve technocentered perspective. On the other hand, actors with backgrounds in human or social sciences face the difficulty of understanding software design and implementation issues, and how computer scientists engage in these tasks.Tchounikine argues that these difficulties cannot be solved by building a kind of “general theory” or “general engineering methodology” to be adopted by all actors for all projects: educational software projects may correspond to very different realities, and may be conducted within very different perspectives and with very different matters of concern. Thus the issue of understanding each others’ perspectives and elaborating some common ground is to be considered in context, within the considered project or perspective. To this end, he provides the reader with a framework and means for actively taking into account the relationships between pedagogical settings and software, and for working together in a multidisciplinary way to develop educational software.His book is for actors engaged in research or development projects which require inventing, designing, adapting, implementing or analyzing educational software. The core audience is Master’s and PhD students, researchers and engineers from computer science or human and social sciences (e.g., education, psychology, pedagogy, philosophy, communications or sociology) interested in the issues raised by educational software design and analysis and in the variety of perspectives that may be adopted.
R 2,015.00
Quality of Software Architectures Models and Architectures
Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system’s complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense,modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system’s extra-functional properties, its software architecture carries the necessary information for early, design-time analyses. These analyses take the software architecture as input and can be used to direct the design process by allowing a systematic evaluation of different design alternatives. For example, they can be used to cancel out decisions which would lead to architecture - signs whose implementation would not comply with extra-functionalrequirements like performance or reliability constraints. Besides such quality attributes directly visible to the end user, internal quality attributes, e.g., maintainability, also highly depend on the system’s architecture. In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially project management-related activities, require an explicit software architecture model. The models are used as input for cost esti- tions, time-, deadline-, and resource planning for the development teams. They serve the project management activities of planning, executing, and controlling, which are necessary to deliver high-quality software systems in time and within the budget.
R 1,548.14
Modeling Software Behavior
This book provides engineers, developers, and technicians with a detailed treatment of various models of software behavior that will support early analysis, comprehension, and model-based testing. The expressive capabilities and limitations of each behavioral model are also discussed.
R 6,659.30
Pattern-Oriented Software Architecture For Dummies
Implement programming best practices from the ground up Imagine how much easier it would be to solve a programming problem, if you had access to the best practices from all the top experts in the field, and you could follow the best design patterns that have evolved through the years. Well, now you can. This unique book offers development solutions ranging from high-level architectural patterns, to design patterns that apply to specific problems encountered after the overall structure has been designed, to idioms in specific programming languages--all in one, accessible, guide. Not only will you improve your understanding of software design, you'll also improve the programs you create and successfully take your development ideas to the next level. Pulls together the best design patterns and best practices for software design into one accessible guide to help you improve your programming projectsHelps you avoid re-creating the wheel and also meet the ever-increasing pace of rev cycles, as well as the ever-increasing number of new platforms and technologies for mobile, web, and enterprise computingFills a gap in the entry-level POSA market, as well as a need for guidance in implementing best practices from the ground up Save time and avoid headaches with your software development projects with Pattern-Oriented Software Architecture For Dummies.
R 798.00
Recommendation Systems in Software Engineering
With the growth of public and private data stores and the emergence of off-the-shelf data-mining technology, recommendation systems have emerged that specifically address the unique challenges of navigating and interpreting software engineering data.This book collects, structures and formalizes knowledge on recommendation systems in software engineering. It adopts a pragmatic approach with an explicit focus on system design, implementation, and evaluation. The book is divided into three parts: “Part I – Techniques” introduces basics for building recommenders in software engineering, including techniques for collecting and processing software engineering data, but also for presenting recommendations to users as part of their workflow. “Part II – Evaluation” summarizes methods and experimental designs for evaluating recommendations in software engineering. “Part III – Applications” describes needs, issues and solution concepts involved in entire recommendation systems for specific software engineering tasks, focusing on the engineering insights required to make effective recommendations. The book is complemented by the webpage rsse.org/book, which includes free supplemental materials for readers of this book and anyone interested in recommendation systems in software engineering, including lecture slides, data sets, source code, and an overview of people, groups, papers and tools with regard to recommendation systems in software engineering.The book is particularly well-suited for graduate students and researchers building new recommendation systems for software engineering applications or in other high-tech fields. It may also serve as the basis for graduate courses on recommendation systems, applied data mining or software engineering. Software engineering practitioners developing recommendation systems or similar applications with predictive functionality will also benefit from the broad spectrum of topics covered.
R 4,698.51
Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions
The Handbook of Software Aging and Rejuvenation provides a comprehensive overview of the subject, making it indispensable to graduate students as well as professionals in the field. It begins by introducing fundamental concepts, definitions, and the history of software aging and rejuvenation research, followed by methods, tools, and strategies that can be used to detect, analyze, and overcome software aging.
R 7,779.16
CCTV for Security Professionals
Providing the information necessary to design the ideal CCTV system, the chapters of this volume are stand-alone sources of information on their subjects, presented in logical sequence to guide the reader from basic principles to a complete system. Alan Matchett approaches the camera systems from the user's point of view, providing the security manager with the knowledge to discuss the system, its desired features, and the areas of design concern within the context of an organization's business model. This can prove to be useful when evaluating an existing system, the use and components of a given system, or in evaluating a system design proposed by a vendor Installers and service personnel should benefit from the functions and possibilities that are available with the various components and by gaining an understanding of their customers' needs. It should help newer technicians learn how to set up the system properly, and familiarize themselves with the technologies that go into a CCTV system. Security equipment sales personnel should also gain a better knowledge of the customer's needs as well as learning to determine exactly what questions they should be asking the customer and
R 2,794.00
Handbook of Software Engineering
This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, software architecture, software testing, formal methods, software maintenance) as well as emerging areas (e.g., self-adaptive systems, software engineering in the cloud, coordination technology). Each chapter includes an introduction to central concepts and principles, a guided tour of seminal papers and key contributions, and promising future research directions. The authors of the individual chapters are all acknowledged experts in their field and include many who have pioneered the techniques and technologies discussed.Readers will find an authoritative and concise review of each subject, and will also learn how software engineering technologies have evolved and are likely to develop in the years to come. This book will be especially useful for researchers who are new to software engineering, and for practitioners seeking to enhance their skills and knowledge.
R 6,644.79
Software Technologies for Embedded and Ubiquitous Systems
The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) followed on the success of six previous editions in Capri, Italy (2008), Santorini, Greece (2007), Gyeongju, Korea (2006), Seattle, USA (2005), Vienna, Austria (2004), and Hokodate, Japan (2003), establishing SEUS as one of the emerging workshops in the ?eld of embedded and ubiq- tous systems. SEUS 2009 continued the tradition of fostering cross-community scienti?c excellence and establishing strong links between researchand industry. The ?elds of both embedded computing and ubiquitous systems have seen considerable growth over the past few years. Given the advances in these ?elds, and also those in the areas of distributed computing, sensor networks, midd- ware, etc. , the area of ubiquitous embedded computing is now being envisioned as the wayof the future. The systems and technologies that will arise in support of ubiquitous embedded computing will undoubtedly need to address a variety of issues, including dependability, real-time, human–computer interaction, - tonomy, resource constraints, etc. All of these requirements pose a challenge to the research community. The purpose of SEUS 2009 was to bring together - searchersand practitioners with an interest in advancing the state of the artand the state of practice in this emerging ?eld, with the hope of fostering new ideas, collaborations and technologies. SEUS 2009 would not have been possible without the e?ort of many people.
R 1,570.92
Software Engineering
Zum Lernen, Nachschlagen und die erfolgreiche Praxis des Software Engineering. Das Buch ist so aufbereitet, dass es die wesentlichen Teilgebiete des internationalen "Software Engineering Body of Knowledge" (SWEBOK) abdeckt: die Grundlage für eine Ausbildung im Software Engineering nach internationalem Standard. Hier erfahren Sie alles über die Grundprinzipien, Methoden und Technologien jeweils im Kontext ihrer erfolgreichen Umsetzung und Anwendung. Die Darstellung folgt der UML-Methode mit den jeweiligen Tool-Anwendungen. Die neue Auflage wurde gänzlich überarbeitet und aktualisiert.
R 1,481.15
Present and Ulterior Software Engineering
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
R 3,026.59
Software Defined Radio
The impending advent of GSM in the early 1990s triggered massive investment that revolutionised the capability of DSP technology. A decade later, the vastly increased processing requirements and potential market of 3G has triggered a similar revolution, with a host of start-up companies claiming revolutionary technologies hoping to challenge and displace incumbent suppliers. This book, with contributions from today's major players and leading start-ups, comprehensively describes both the new approaches and the responses of the incumbents, with detailed descriptions of the design philosophy, architecture, technology maturity and software support. Analysis of SDR baseband processing requirements of cellular handsets and basestations3G handset baseband - ASIC, DSP, parallel processing, ACM and customised programmable architectures3G basestation baseband - DSP (including co-processors), FPGA-based approaches, reconfigurable and parallel architecturesArchitecture optimisation to match 3G air interface and application algorithmsEvolution of existing DSP, ASIC & FPGA solutionsAssessment of the architectural approaches and the implications of the trends. An essential resource for the 3G product designer, who needs to understand immediate design options within a wider context of future product roadmaps, the book will also benefit researchers and commercial managers who need to understand this rapid evolution of baseband signal processing and its industry impact.
R 7,130.00
Software Process Modeling
This book brings together experts to discuss relevant results in software process modeling, and expresses their personal view of this field. It is designed for a professional audience of researchers and practitioners in industry, and graduate-level students.
R 4,617.22
Software Engineering for Large-Scale Multi-Agent Systems
Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS), constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and implementation.This book presents 17 carefully reviewed papers arranged in order to provide a coherent survey of how to exploit agent properties and MAS issues in today's software systems. The book offers the following topical sections:- software engineering foundations- requirements engineering and software architecture- coordination and mobility- reuse-dependability-empirical studies and applications
R 1,556.94
Software-Engineering
Software-Engineering befaßt sich mit der Entwicklung von Softwaresystemen, insbesondere den dafür nötigen und zweckmäßigen Methoden und Werkzeugen. Dabei geht es nicht nur um die technische Gestaltung von Systemen, also deren Architektur, sondern auch um die geordnete Abwicklung von Projekten, also um Managementfragen. Dieses Buch ist der Extrakt aus eineinhalb Jahrzehnten Arbeit an einer Reihe großer, unter industriellen Bedingungen durchgeführter Projekte. Es behandelt hauptsächlich Methoden - nur in geringem Umfang Werkzeuge - des Software-Engineering, genauer gesagt, das von sd&m praktizierte Methodensystem, das theoretisch fundiert und praktisch erprobt ist. Die objektorientierte Methodik spielt darin eine zentrale Rolle. Der Erfahrungshintergrund des Autors ist stark, wenn auch keineswegs ausschließlich, durch betriebliche Informationssysteme geprägt. Die dargestellten Methoden sind aber so allgemeingültig, das sie auch in anderen Anwendungsbereichen nutzbringend anwendbar sind.
R 2,552.92
Abnahme Komplexer Software-Systeme
Das Praxisbuch dient als Grundlage für die Abnahme von komplexen IT-Software-Systemen. Die Methoden, die hier vorgestellt werden, gelten sowohl für Standard- als auch für angepasste oder neu entwickelte Software und berücksichtigen ITIL und andere IT-Prozess-Standards. Sie haben sich in der Praxis vielfach bewährt.Sie haben sich in der Praxis vielfach bewährt. Beschrieben werden zunächst die organisatorischen Voraussetzungen, die für eine erfolgreiche Abnahme erforderlich sind, sodann alle vorbereitenden Arbeiten, die getätigt werden müssen. Betrachtet werden auch organisatorische Schnittstellenbereiche, die bei der Ermittlung von fachlichen und technischen Anforderungen betroffen sind. Der Autor stellt das Abnahmegeschehen im Detail vor. Die dazu gehörigen Werkzeuge zur Durchführung und für den Abschluss werden im Einzelnen erläutert.
R 1,667.40
Software Engineering with UML
This book presents the analysis, design, documentation, and quality of software solutions based on the OMG UML v2.5. Notably it covers 14 different modelling constructs including use case diagrams, activity diagrams, business-level class diagrams, corresponding interaction diagrams and state machine diagrams. It presents the use of UML in creating a Model of the Problem Space (MOPS), Model of the Solution Space (MOSS) and Model of the Architectural Space (MOAS). The book touches important areas of contemporary software engineering ranging from how a software engineer needs to invariably work in an Agile development environment through to the techniques to model a Cloud-based solution.
R 2,143.37
Engineering Trustworthy Software Systems
This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.
R 2,180.06
Concise Introduction to Software Engineering
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering - a key goal of this textbook. This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices essential for key tasks in software projects. It begins with a chapter covering industry-standard software, open-source tools, and the basics of prompt engineering for LLMs. The second chapter delves into project management, including development process models, planning, and team-working. Subsequent chapters focus on requirements analysis and specification, architecture design, software design, coding, testing, and application deployment. Each chapter presents concepts, practical methods, examples, the application of LLMs, and the role of open-source software. A companion website provides some comprehensive case studies, as well as teaching material including presentation slides. This textbook is ideal for an introductory course on software engineering where the objective is to develop knowledge and skills to execute a project--specifically in a team employing contemporary software engineering practices and using open source and LLMs. It is also suitable for professionals who want to be introduced to the systematic approach of software engineering and/or use of open source and LLMs. The author is a distinguished professor at IIIT-Delhi and a well-known academic in software engineering. He has served as vice president in Infosys Technologies Limited and as a visiting researcher at Microsoft Corporation. Reviews of the first edition: "This book's title provides an excellent description of its content. ... This compact volume is organized into eight well-focused chapters containing numerous examples and well-designed self-test exercises. Includes an excellent collection of references and a very useful index. Summing Up: Highly recommended. Upper-division undergraduate through professional readers; two-year technical program students." (J. Beidler, Choice, Vol. 46 (6)) "Jalote's intention in this book is to present just enough material to teach beginning software engineers what they need to know to do a development project that carries a smallproduct from conception through delivery. The result is a short book ... making this sort of book very attractive as a text for introductory software engineering. ... topics are well chosen and their discussion is good." (Christopher Fox, ACM Computing Reviews)
R 2,015.00
Refactoring for Software Design Smells
Awareness of design smells – indicators of common design problems – helps developers or software engineers understand mistakes made while designing, what design principles were overlooked or misapplied, and what principles need to be applied properly to address those smells through refactoring. Developers and software engineers may "know" principles and patterns, but are not aware of the "smells" that exist in their design because of wrong or mis-application of principles or patterns. These smells tend to contribute heavily to technical debt – further time owed to fix projects thought to be complete – and need to be addressed via proper refactoring.Refactoring for Software Design Smells presents 25 structural design smells, their role in identifying design issues, and potential refactoring solutions. Organized across common areas of software design, each smell is presented with diagrams and examples illustrating the poor design practices and the problems that result, creating a catalog of nuggets of readily usable information that developers or engineers can apply in their projects. The authors distill their research and experience as consultants and trainers, providing insights that have been used to improve refactoring and reduce the time and costs of managing software projects. Along the way they recount anecdotes from actual projects on which the relevant smell helped address a design issue.
R 2,059.00
R 550.00
Powerful, Profitable Software Products
You hold in your hands a comprehensive guide to creating a flourishing software development practice – one that makes a powerful impact with the software it builds. This guide describes the unique aspects of creating software-based products. It also lays out the clear practical guidance that’s necessary to construct and evolve a modern practice. This includes hiring, structuring teams properly, writing good code, leveraging test-driven development, designing architecture, automating development processes with DevOps techniques, and – importantly – leading teams through the disruptive change that each of these can represent. Further, the first principles upon which these practices rest will be elaborated so that the reader can readily adapt the already practical techniques to the broadest possible set of real-world situations.
R 2,950.66
Foundations and Frontiers in Software Engineering
This proceedings book aim to support academic discussion, interdisciplinary cooperation, and the dissemination of high-quality scientific results. Recent developments in computing, software systems, artificial intelligence, data-driven methods, and digital technologies continue to influence research, industry, education, and public administration. This book presents selected contributions that reflect these developments and offer insights into theoretical foundations, practical applications, and emerging research directions.This book provides an international platform for researchers, academics, professionals, and students to exchange knowledge, discuss current challenges, and present advances in computer science, software engineering, intelligent systems, cybersecurity, data analysis, and applied informatics.The papers included in this book were reviewed by the international program committee and represent a broad spectrum of topics relevant to modern information and communication technologies.
R 9,623.80
Modern Software Engineering Methodologies for Mobile and Cloud Environments
As technology continues to evolve, the popularity of mobile computing has become inherent within today’s society. With the majority of the population using some form of mobile device, it has become increasingly important to develop more efficient cloud platforms.Modern Software Engineering Methodologies for Mobile and Cloud Environments investigates emergent trends and research on innovative software platforms in mobile and cloud computing. Featuring state-of-the-art software engineering methods, as well as new techniques being utilized in the field, this book is a pivotal reference source for professionals, researchers, practitioners, and students interested in mobile and cloud environments.
R 8,145.07
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,926.93
Software Engineering with Reusable Components
The book provides a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and its different forms. The reader is also given an overview of what sofware components are, different kinds of components and compositions, a taxonomy thereof, and examples of successful component reuse. An introduction to software engineering and software process models is also provided.
R 2,015.00
Road Map to Software Engineering
The Road Map to Software Engineering: A Standards-Based Guide organizes relevant IEEE software and systems standards using two frameworks: the SWEBOK Guide's topical knowledge areas and the widely used IEEE/EIA 12207 standard. This useful guide is endorsed and recommended by the Software and Systems Engineering Standards Committee of the IEEE Computer Society for both practitioners and students.
R 3,939.00
Guide to Software Development
This book presents a guide to navigating the complicated issues of quality and process improvement in enterprise software implementation, and the effect these have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text explains how to create successful automated solutions that fit user and customer needs, by mixing different SDLC methodologies. With an emphasis on the realities of practice, the book offers essential advice on defining business requirements, and managing change. This revised and expanded second edition includes new content on such areas as cybersecurity, big data, and digital transformation. Features: presents examples, case studies, and chapter-ending problems and exercises; concentrates on the skills needed to distinguish successful software implementations; considers the political and cultural realities in organizations; suggests many alternatives for how to manage and model a system.
R 2,787.16
Software-Wiederverwendung
Die Softwareentwicklung ist heute durch die Probleme des Anwendungsstaus, verbun- den mit einer geringen Produktivität der Anwendungsentwicklung und einer weitge- henden Bindung von Entwicklerkapazität in Wartungstätigkeiten gekennzeichnet. Die Anforderungen an die Anwendungsentwicklung wachsen hingegen stetig. Die Anwen- dungssysteme sollen die Aufgaben in den Unternehmen effizient unterstützen und ho- hen Qualitätsanforderungen standhalten. Eine mögliche Lösung stellt die Realisierung der vertikalen domänenspezifischen Wiederverwendbarkeit von Softwarebauteilen dar. Eine Domäne stellt einen Ausschnitt aus der realen Welt dar, der in einem Anwen- dungssystem abgebildet wird. Es zeichnet sich der Trend zur Wiederverwendung des anwendungsspezifischen Wissens in den Entwurfsprodukten des Anwendungssystems innerhalb einer Domäne ab. Die vorliegende Arbeit beschäftigt sich mit der Wiederverwendbarkeit in einer domä- nenspezifischen und integrationsfördernden Architektur. Es wird zunächst der Entwurf wiederverwendbarer Software in den Mittelpunkt gestellt und Entwurfskriterien sowie Anwendungsvoraussetzungen erarbeitet, die die Wiederverwendbarkeit unterschied- licher Objekte, von spezifischem Wissen über Teile der Spezifikation bis hin zu Modu- len, ennöglichen. Durch die Konzeption einer Architektur, die auf diesen identifi- zierten Entwurfskriterien und Anwendungsvoraussetzungen aufbaut, wird eine Stan- dardisierung der betrachteten Entwicklungsobjekte derart erreicht, daß sie wiederver- wendbar, austauschbar und anpaßbar werden. Durch die Entwicklung getesteter, domä- nenspezifischer Modelle jeder Entwurfsstufe wird neben der Wiederverwendbarkeit der Modelle an sich, ihrer Folgeprodukte und des in ihnen dokumentierten Ent- wicklungswissens auch die Erhöhung der Qualität und Produktivität der Entwicklung erreicht. Darüber hinaus fördert die domänenspezifische vertikale Wiederverwendung die Integration von Anwendungssystemen in dieser Domäne und auch zwischen ver- schiedenen Domänen durch die Modellierung auf einer konzeptuellen Metaebene.
R 1,683.72
Radical Innovations of Software and Systems Engineering in the Future
This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: – there is no proof and no evidence that software productivity has increased with the new methods; – UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; – support for mobile distributed system development is missing; – formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.
R 2,015.00
Instructional Design for Librarians and Information Professionals
Instructional Design for Librarians and Information Professionals successfully melds instructional theories and best practices with an emphasis on how technology is used in teaching. This comprehensive, practical guide covers every aspect of systematic instructional design. By taking a broad, multifaceted approach, rather than concentrating on one model or system, it enables librarians and other information professionals to compare and contrast instructional design, so that they can make the best choices in a variety of settings and for a variety of purposes. Basic concepts are explained in the first section of the book. In the second, a variety of instructional examples address different audiences, content, and delivery approaches. The volume includes chapters on synchronous and asynchronous instruction and information on how to best use the many technologies now available. Sidebars, examples, templates, and other aids are peppered throughout. With this guide, librarians will be able to develop and implement well-grounded, effective instructional design that will serve both youth and adult learners. Representative instructional designs covered in the book range from face-to-face storyhours to video conferencing for adult learners. This comprehensive guide can be a hands-on guide for day-to-day instructional planning as well as a textbook for instructional design courses in LIS programmes.
R 2,354.00
Foundations and Frontiers in Software Engineering
This proceedings book aim to support academic discussion, interdisciplinary cooperation, and the dissemination of high-quality scientific results. Recent developments in computing, software systems, artificial intelligence, data-driven methods, and digital technologies continue to influence research, industry, education, and public administration. This book presents selected contributions that reflect these developments and offer insights into theoretical foundations, practical applications, and emerging research directions.This book provides an international platform for researchers, academics, professionals, and students to exchange knowledge, discuss current challenges, and present advances in computer science, software engineering, intelligent systems, cybersecurity, data analysis, and applied informatics.The papers included in this book were reviewed by the international program committee and represent a broad spectrum of topics relevant to modern information and communication technologies.
R 9,628.50
Software Engineering 2
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
R 2,015.00
Design Thinking Guide for Successful Professionals
Design thinking is a powerful thinking tool which could drive a brand, business or an individual forward positively. It is also a part and parcel way of thinking that designers go through in their minds in every single design project. Thinking like a designer can transform the way organizations develop products and services on the front end, while improving processes and strategy to the backend. It is a way of simply thinking and ideating on a solution to address a problem or better meet a customer need. It is a process focused on solutions and not the problem. In this book you will: * Understand key characteristics of design thinking * Understand the 5 action phases of design thinking - Empathize, Define, Ideate, Prototype and Test * Empathize- Understand your customers / users * Define- Define clear project / business objectives * Ideate- Explore ideas and solutions * Prototype- Build and visualise ideas * Test- Review and decide best idea
R 1,300.00
Foundations and Frontiers in Software Engineering
This proceedings book aim to support academic discussion, interdisciplinary cooperation, and the dissemination of high-quality scientific results. Recent developments in computing, software systems, artificial intelligence, data-driven methods, and digital technologies continue to influence research, industry, education, and public administration. This book presents selected contributions that reflect these developments and offer insights into theoretical foundations, practical applications, and emerging research directions.This book provides an international platform for researchers, academics, professionals, and students to exchange knowledge, discuss current challenges, and present advances in computer science, software engineering, intelligent systems, cybersecurity, data analysis, and applied informatics.The papers included in this book were reviewed by the international program committee and represent a broad spectrum of topics relevant to modern information and communication technologies.
R 9,626.30
Model-Based Software and Systems Engineering
This volume constitutes the revised selected papers of 12th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2024, in Rome, Italy, during February 21-23, 2024. The 7 full papers and 6 short papers included in this book were carefully reviewed and selected from 47 submissions. The papers are categorized under the topical sections as follows: Methodologies, Processes and Platforms; Modeling Languages, Tools and Architectures.
R 3,125.36
Interdisciplinary Approaches to Information Systems and Software Engineering
It is now more important than ever to implement approaches and methods that can be effective in extracting meaningful information from large data sets. Although data sets may be available for different aspects of society, we may not assess the intrinsic characteristics of their behavior effectively. Additionally, frameworks are needed that can store, process, and represent the data in such a manner that can be of practical significance.Interdisciplinary Approaches to Information Systems and Software Engineering is an essential reference publication that assesses the significance of robust information systems in characterizing events of varying nature and dimensions. Additionally, the book includes studies on the development and application of decision-making and prediction modeling frameworks using different approaches such as agent-based modeling, spatial decision support systems, and spatial data mining. Covering topics such as management information systems, knowledge discovery, and mathematical analysis, this book is ideal for professionals, researchers, and academicians in various disciplines including computer science, information technology, geographical information systems, remote sensing, and earth system sciences.
R 8,322.78
Systems and Software Verification
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
R 4,369.59
Software-Entwicklung für Kommunikationsnetze
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexität spielt die Architektur. Sie stellt die Regeln und Methoden für einen effektiven Systementwurf zur Verfügung, auf dem sich der gesamte Entwicklungsprozess abstützen kann. Dazu gehört eine vollständige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausführungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezüglich Funktionalität, Marktorientierung, Kosten und Zeit.
R 1,689.45
Secure, Resilient, and Agile Software Development
A collection of best practices and effective implementation recommendations that are proven to work, Secure, Resilient, and Agile Software Development leaves the boring details of software security theory out of the discussion as much as possible to concentrate on practical applied software security for practical people. Written to aid your career as well as your organization, the book shows how to gain skills in secure and resilient software development and related tasks. The book explains how to integrate these development skills into your daily duties, thereby increasing your professional value to your company, your management, your community, and your industry. Secure, Resilient, and Agile Software Development was written for the following professionals: AppSec architects and program managers in information security organizationsEnterprise architecture teams with application development focusScrum teamsDevOps teamsProduct owners and their managersProject managersApplication security auditors With a detailed look at Agile and Scrum software development methodologies, this book explains how security controls need to change in light of an entirely new paradigm on how software is developed. It focuses on ways to educate everyone who has a hand in any software development project with appropriate and practical skills to Build Security In. After covering foundational and fundamental principles for secure application design, this book dives into concepts, techniques, and design goals to meet well-understood acceptance criteria on features an application must implement. It also explains how the design sprint is adapted for proper consideration of security as well as defensive programming techniques. The book concludes with a look at white box application analysis and sprint-based activities to improve the security and quality of software under development.
R 2,040.42
Formal Verification of Control System Software
An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
R 2,707.00
R 1,237.00
Software Engineering for Enterprise System Agility
Sustaining a competitive edge in today’s business world requires innovative approaches to product, service, and management systems design and performance. Advances in computing technologies have presented managers with additional challenges as well as further opportunities to enhance their business models.Software Engineering for Enterprise System Agility: Emerging Research and Opportunities is a collection of innovative research that identifies the critical technological and management factors in ensuring the agility of business systems and investigates process improvement and optimization through software development. Featuring coverage on a broad range of topics such as business architecture, cloud computing, and agility patterns, this publication is ideally designed for business managers, business professionals, software developers, academicians, researchers, and upper-level students interested in current research on strategies for improving the flexibility and agility of businesses and their systems.
R 6,392.94
Embedded Software Development for Safety-Critical Systems
"I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called "safety bag" systems.Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.
R 7,591.29
