Search results for "System Design Guide for Software Professionals"
Items we need to order for you
Developing Solutions for Microsoft Azure AZ-204 Exam Guide
Build a thorough understanding of the technology, concepts, and development patterns used in building applications in Azure, through detailed explanations, hands-on exercises, and downloadable code samplesKey FeaturesWritten by two Microsoft technical trainers to help you explore the exam topics in a structured wayUnderstand the “why”, and not just “how” behind design and solution decisionsFollow along examples with downloadable code samples to help cement each topic's learning objectiveBook DescriptionWith the prevalence of cloud technologies and DevOps ways of working, the industry demands developers who can build cloud solutions and monitor them throughout their life cycle. Becoming a Microsoft-certified Azure developer can differentiate developers from the competition, but with such a plethora of information available, it can be difficult to structure learning in an effective way to obtain certification. Through easy-to-understand explanations and exercises, this book will provide a more palatable learning experience than what you may expect from an exam preparation book. You'll start off with a recap of some important cloud concepts, such as IaaS, PaaS, and SaaS. From there, you'll learn about each relevant solution area, with use cases. The chapters also cover different implementation methodologies, both manual and programmatic – ranging from compute resources such as App Service and serverless applications to storage, database, security, monitoring solutions, and connecting to third-party services. By the end of this book, you'll have learned everything you need to pass the AZ-204 certification exam and have a handy, on-the-job reference guide.What you will learnDevelop Azure compute solutionsDiscover tips and tricks from Azure experts for interactive learningUse Cosmos DB storage and blob storage for developing solutionsDevelop secure cloud solutions for AzureUse optimization, monitoring, and troubleshooting for Azure solutionsDevelop Azure solutions connected to third-party servicesWho this book is forThis book is for Azure developers looking to improve their Azure development knowledge to pass the AZ-204 exam. This book assumes at least one year of professional development experience with Azure, with the ability to program in at least one language supported by Azure. Existing Azure CLI and PowerShell skills will also be useful.
R 2,377.00
R 2,527.19
Software Engineering for Modern Web Applications
As modern organizations migrate from older information architectures to new Web-based systems, the discipline of software engineering is changing both in terms of technologies and methodologies. There is a need to examine this new frontier from both a theoretical and pragmatic perspective, and offer not only a survey of new technologies and methodologies but discussions of the applicability and pros/cons of each. ""Software Engineering for Modern Web Applications: Methodologies and Technologies"" presents current, effective software engineering methods for the design and development of modern Web-based applications, offering scholars, researchers, and practitioners innovative research on the theoretical frameworks, structures, management, and implications software engineering for modern Web applications.
R 7,006.35
R 1,800.44
R 3,633.00
Software Security - Theories and Systems
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4–6, 2003. This volume is the collection of the papers that were presented at ISSS 2003. The proceedings of ISSS 2002 was published as LNCS 2609. Although the security and reliability of software systems for networked c- puter systems are major concerns of current society, the technology for software securitystillneedstobedevelopedinmanydirections.SimilartoISSS2002,ISSS 2003 aimed to provide a forum for research discussions and exchanges among world-leading scientists in the ?elds of both theoretical and systems aspects of security in software construction. The program of ISSS 2003 was a combination of invited talks and selected research contributions. It included the most recent visions and researches of the 9invitedspeakers,aswellas11contributionsofresearchesfundedbytheMEXT grant-in-aid for scienti?c research on the priority area “Implementation Scheme for Secure Computing” (AnZenKaken). We collected the original contributions after their presentation at the symposium and began a review procedure that resulted in the selection of the papers in this volume. They appear here in ?nal form. ISSS 2003 required a lot of work that was heavily dependent on members of the program committee, and sta?s and graduate students who participated in AnZenKaken. We sincerely thank them for their e?orts and time.
R 2,015.00
Computational Systems Biology for New Chemical Entities Bioprospection
This book presents applications of metabolomics and integrated computational systems modeling in the bioprospecting of novel chemical entities (NCEs) and active pharmaceutical ingredients (APIs) from diverse natural sources. It bridges the gap between basic computational skills and advanced software development. The volume comprises original research articles, experimental protocols, case studies, and comprehensive reviews on computational approaches, including targeted and untargeted metabolomics, network pharmacology, molecular docking, density functional theory, and advanced molecular dynamics simulations, among others.An introduction to computational tools, algorithms, and databases relevant to systems biology and their applications in bioprospectionA discussion of advanced approaches for the discovery of new bioactive compounds and therapeutic agentsInsights into how systems biology simulations of cellular pathways can assist in identifying potential drug targets and bioactive compounds with precise therapeutic effectsReviews of strategic advances in the characterization and application of secondary metabolites derived from plants, microbes, animals, and endophytesMapping of unexplored target spaces for therapeutic bioprospectionThis book is intended for researchers and students in bioengineering, natural products development, phytopharmacology, plant biotechnology, drug discovery and development, phytotherapeutics, and metabolomics..
R 9,158.00
Engineering Software for Modern Challenges
This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality.
R 2,728.15
IFPUG Guide to IT and Software Measurement
The widespread deployment of millions of current and emerging software applications has placed software economic studies among the most critical of any form of business analysis. Unfortunately, a lack of an integrated suite of metrics makes software economic analysis extremely difficult.The International Function Point Users Group (IFPUG), a nonprofit and member-governed organization, has become the recognized leader in promoting the effective management of application software development and maintenance activities. The IFPUG Guide to IT and Software Measurement brings together 52 leading software measurement experts from 13 different countries who share their insights and expertise. Covering measurement programs, function points in measurement, new technologies, and metrics analysis, this volume:Illustrates software measurement's role in new and emerging technologiesAddresses the impact of agile development on software measurementPresents measurement as a powerful tool for auditing and accountabilityIncludes metrics for the CIOEdited by IFPUG's Management and Reporting Committee, the text is useful for IT project managers, process improvement specialists, measurement professionals, and business professionals who need to interact with IT professionals and participate in IT decision-making. It includes coverage of cloud computing, agile development, quantitative project management, process improvement, measurement as a tool in accountability, project ROI measurement, metrics for the CIO, value stream mapping, and benchmarking.
R 3,600.95
Complex, Intelligent and Software Intensive Systems
This book explores three interwoven and challenging areas of research and development for future ICT-enabled applications: software intensive systems, complex systems and intelligent systems. Software intensive systems are systems that extensively interact with other systems, sensors, actuators, devices and users. More and more domains are now employing software intensive systems, e.g. the automotive sector, telecommunication systems, embedded systems in general, industrial automation systems and business applications. Moreover, the outcome of web services offers a new platform for enabling software intensive systems. Complex systems research is focused on the overall understanding of systems rather than their components. Complex systems are very much characterized by the changing environments in which they operate through their multiple internal and external interactions. They evolve and adapt through (internal and external) dynamic interactions. The development of intelligent systems and agents, which is increasingly characterized by the use of ontologies, can be beneficial for software intensive systems and complex systems alike. Accordingly, recent research in the areas of intelligent systems, robotics, neuroscience, artificial intelligence, and the cognitive sciences is essential to the future development of software intensive and complex systems.
R 8,125.93
Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
This book presents innovative solutions for the implementation of Sigma-Delta Modulation (SDM) based Analog-to-Digital Conversion (ADC), required for the next generation of wireless hand-held terminals. These devices will be based on the so-called multi-standard transceiver chipsets, integrated in nanometer CMOS technologies. One of the most challenging and critical parts in such transceivers is the analog-digital interface, because of the assorted signal bandwidths and dynamic ranges that can be required to handle the A/D conversion for several operation modes. This book describes new adaptive and reconfigurable SDM ADC topologies, circuit strategies and synthesis methods, specially suited for multi-standard wireless telecom systems and future Software-defined-radios (SDRs) integrated in nanoscale CMOS. It is a practical book, going from basic concepts to the frontiers of SDM architectures and circuit implementations, which are explained in a didactical and systematic way. It gives a comprehensive overview of the state-of-the-art performance, challenges and practical solutions, providing the necessary insight to implement successful design, through an efficient design and synthesis methodology. Readers will learn a number of practical skills – from system-level design to experimental measurements and testing.
R 6,563.12
User-Centred Requirements for Software Engineering Environments
The idea for this workshop originated when I came across and read Martin Zelkowitz's book on Requirements for Software Engineering Environments (the proceedings of a small workshop held at the University of Maryland in 1986). Although stimulated by the book I was also disappointed in that it didn't adequately address two important questions - "Whose requirements are these?" and "Will the environment which meets all these requirements be usable by software engineers?". And thus was the decision made to organise this workshop which would explicitly address these two questions. As time went by setting things up, it became clear that our workshop would happen more than five years after the Maryland workshop and thus, at the same time as addressing the two questions above, this workshop would attempt to update the Zelkowitz approach. Hence the workshop acquired two halves, one dominated by discussion of what we already know about usability problems in software engineering and the other by discussion of existing solutions (technical and otherwise) to these problems. This scheme also provided a good format for bringing together those in the HeI community concerned with the human factors of software engineering and those building tools to solve acknowledged, but rarely understood problems.
R 6,016.73
Software Engineering Frameworks for the Cloud Computing Paradigm
This book presents the latest research on Software Engineering Frameworks for the Cloud Computing Paradigm, drawn from an international selection of researchers and practitioners. The book offers both a discussion of relevant software engineering approaches and practical guidance on enterprise-wide software deployment in the cloud environment, together with real-world case studies. Features: presents the state of the art in software engineering approaches for developing cloud-suitable applications; discusses the impact of the cloud computing paradigm on software engineering; offers guidance and best practices for students and practitioners; examines the stages of the software development lifecycle, with a focus on the requirements engineering and testing of cloud-based applications; reviews the efficiency and performance of cloud-based applications; explores feature-driven and cloud-aided software design; provides relevant theoretical frameworks, practical approaches and future research directions.
R 3,050.68
Integrating AI Techniques into the Design and Development of Smart Cyber-Physical Systems
Building on the knowledge of risks, vulnerabilities, and safety measures associated with cyber-physical systems, this book focuses on adapting artificial intelligence (AI) techniques to smart cyber-physical systems application development. The future is going to see cyber-physical systems in almost every aspect of life, so a book that focuses on shedding light on the design, development, and security aspects of cyber-physical systems in more crucial domains such as defense, healthcare, biomedical, smart city applications, is needed.Integrating AI Techniques into the Design and Development of Smart Cyber-Physical Systems: Defense, Biomedical, Infrastructure, and Transportation offers an introductory exploration of the fundamental theories and concepts of AI and machine learning (ML) that are utilized in the building of dependable cyber-physical systems. It brings the ideas of advanced design and development and empowered security measures to cyber-physical systems. By focusing on the application of AI in cyber-physical systems design as well as security aspects, an improvement in reliability and advancements can be explored. Also included are the latest findings and advancements as well as case studies and illustrative examples on the design and development of smart cyber-physical systems.This resource is highly valuable for those employed in educational institutions, research laboratories, enterprises, and government agencies, as well as for students seeking novel ideas in the realm of smart cyber-physical systems design.
R 9,324.22
Engineering Secure Software and Systems
This book constitutes the refereed proceedings of the 10th International Symposium on Engineering Secure Software and Systems, ESSoS 2018, held in Paris, France, in June 2018. The 10 papers, consisting of 7 regular and 3 idea papers, were carefully reviewed and selected from 26 submissions. They focus on the construction of secure software, which is becoming an increasingly challenging task due to the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies, and the progress of attack vectors.
R 1,531.09
ChromeOS System Administrator's Guide
Explore the sysadmin features and architecture of ChromeOS to master its local and cloud-based administrative tools and capabilitiesKey FeaturesGet a complete overview of using ChromeOS as a powerful system admin toolGet hands-on experience working with Google's administration platformLearn about centralized management of resources as the hallmark of enterprise system administrationBook DescriptionGoogle's ChromeOS provides a great platform for technicians, system administrators, developers, and casual users alike, providing a seemingly simplistic architecture that is easy enough for a novice user to begin working with. However, beneath the surface, this operating system boasts a plethora of powerful tools, able to rival any other OS on the market. So, learning how to harness the full potential of the OS is critical for you as a technical worker and user to thrive at your workplace. ChromeOS System Administrator's Guide will help you reap the benefits of all features of ChromeOS.This book explains ChromeOS' unique architecture and its built-in tools that perform essential tasks such as managing user accounts, working with data, and launching applications. As you build your foundational knowledge of the OS, you'll be exposed to higher-level concepts such as security, command line, and enterprise management.By the end of this book, you'll be well-equipped to perform a range of system administration tasks within ChromeOS without requiring an alternative operating system, thereby broadening your options as a technician, system administrator, developer, or engineer.What you will learnInstall, update, and configure ChromeOS on standalone devicesManage Google's cloud-based applications and resources effectivelyImplement key networking and security features to protect your architecture from cyber threatsUnderstand common troubleshooting and disaster recovery techniquesMigrate data from other platforms to Google Workspace efficientlyPerform administrative tasks and run Linux scripts with Chrome ShellManage your enterprise from the Google Workspace Admin ConsoleWho this book is forThis book is for you if you want to become a system administrator, developer, or engineer, and are looking to explore ChromeOS architecture all while expanding your knowledge of administration tools and techniques. Basic knowledge of system administration is required.
R 977.00
Software Defect and Operational Profile Modeling
also in: THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE, Volume 1
R 5,999.82
Definitions for Hardware and Software Safety Engineers
Compiled by an experienced practitioner in the field, this book contains definitions of the major terms used in reliability engineering and software assessment. Approximately 2,000 definitions have been carefully selected from standards and literature published by such leading institutions as the IEEE and IEC. Alternative definitions of the same term are given where relevant, enabling readers to compare and contrast, thereby giving useful insights into different aspects of the same term. Extensive cross-referencing makes the book both easy to use and practical.
R 3,170.35
R 458.00
Mining Software Engineering Data for Software Reuse
This monograph discusses software reuse and how it can be applied at different stages of the software development process, on different types of data and at different levels of granularity. Several challenging hypotheses are analyzed and confronted using novel data-driven methodologies, in order to solve problems in requirements elicitation and specification extraction, software design and implementation, as well as software quality assurance.The book is accompanied by a number of tools, libraries and working prototypes in order to practically illustrate how the phases of the software engineering life cycle can benefit from unlocking the potential of data.Software engineering researchers, experts, and practitioners can benefit from the various methodologies presented and can better understand how knowledge extracted from software data residing in various repositories can be combined and used to enable effective decision making and save considerable time and effort through software reuse. Mining Software Engineering Data for Software Reuse can also prove handy for graduate-level students in software engineering.
R 3,031.43
Testing Software and Systems
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic.The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.
R 2,178.59
Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three categories of features -- Design, Assertions and Testbench. Assertions add a whole new dimension to the ASIC verification process. Engineers are used to writing testbenches in verilog that help verify their design. Verilog is a procedural language and is very limited in capabilities to handle the complex ASICs built today. SystemVerilog assertions (SVA) is a declarative language. The temporal nature of the language provides excellent control over time and allows mulitple processes to execute simultaneously. This provides the engineers a very strong tool to solve their verification problems. The language is still new and the thinking is very different from the user's perspective when compared to standard verilog language. There is not enough expertise or intellectual property available as of today in the field. While the language has been defined very well, there is no practical guide that shows how to use the language to solve real verification problems. This book is a practical guide that will help people to understand this new language and adopt assertion based verification methodology quickly.
R 4,663.99
Sensor Systems and Software
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International ICST Conference on Sensor Systems and Software, S-Cube 2013, held in Lucca, Italy, 2013. The 8 revised full papers and 2 invited papers presented cover contributions on different technologies for wireless sensor networks, including security protocols, middleware, analysis tools and frameworks.
R 1,400.65
Requirements Engineering for Social Sector Software Applications
This book presents interdisciplinary research in software engineering with applications for the social sector. The author focuses on software applications that are used for social good and that serve the needs of society. The author aims to bridge the knowledge gap between requirement engineers, industry, and users in order to help identify a diverse range of needs in the social sector (taking into account user crowd diversity in terms of technological competencies, geography, demographics, and behavioral and psychographic aspects). The book provides rigorous empirical studies and validates solutions that serve as a guide to the software engineering community, researchers, graduate students, and teachers.Provides interdisciplinary research in software engineering and the needs of the social sector, helping to increase success rates of society focused startups and applicationsIdeal for social entrepreneurs who can use the book for doing customer development with diverse usersEstablishes a new research line of social sector requirement engineering, taking into account user age, language, ability, and access
R 2,878.79
Business Modeling and Software Design
This book contains revised and extended versions of selected papers from the Sixth International Symposium on Business Modeling and Software Design, BMSD 2016, held in Rhodes, Greece, in June 2016, organized by the Institute IICREST in cooperation with BPM-D, Aristotle University of Thessaloniki, TU Delft, CTIT - University of Twente, IMI-BAS, the Dutch Research School SIKS, and AMAKOTA Ltd.BMSD 2016 received 59 paper submissions from which 27 papers were selected for publication in the BMSD'16 proceedings. Additional post-symposium reviewing was carried out reflecting both the qualities of the papers and the way they were presented. 11 best papers were selected for the current Springer edition, that were carefully revised and extended, following the reviewers' comments and recommendations.The selection considers a large number of BMSD-relevant research topics: from business-processes-related topics, such as business process management, variability of business processes, and inconsistencies risk detection, (here it is to be mentioned that several papers consider and analyze particular business process modeling formalisms and tools), through system-engineering-related topics, such as conceptual modeling, enterprise architectures, human-centered design, signs modeling, and idiosyncrasies capturing, to service-oriented-software-engineering-related topics, such as service orchestration and e-services design.
R 1,547.99
Executive’s Guide to Software Quality in an Agile Organization
Utilize a set of practical guidelines to help your Agile organization elevate software design quality as an important business driver to achieve customer satisfaction and, ultimately, higher revenue for your company. This is the first book to focus on a holistic quality view—what it is and how it links to overall business enhancements.The real-world examples used in this book allow you to learn and apply similar strategies and guidelines to help create a quality blueprint for your organization. Five pillars of quality are defined that can be used for any industry and, once internalized, can serve as a set of tools to continuously improve and measure the key factors impacting quality.What You’ll LearnBe aware of the key elements in any transformation that involves cultureLink quality and business outcomesUnderstand quality and its holistic definition and why continuous improvement is still a relevant approach in enhancing qualityFollow guidelines with specific examples that can be applied to any product release in any type of industry to improve quality and enhance Agile processesUtilize relevant metrics to measure and continuously improve to make incremental positive changesWho This Book Is ForIndividuals at various levels in organizations—from Agile scrum teams, all the way up to executive leadership
R 866.00
Microcomputer Software for Civil Engineers
This is a book about software packages for use by civil engineers. It is written for engineers who need software that can do the job without re quiring that they become computer experts or programmers. The purpose of this book is to present a broad picture of the personal computer packages now available for use by civil engineers. Each chapter is devoted to an area, such as structures, surveying, hydrology, drafting, or equation-solving, in which a number of software packages are presently offered for use with personal computers. The chapter introductions explain what kinds of design or analysis or other tasks these packages perform, outlining the available choices, and comparing the capabilities of the var ious packages. Detailed reviews of individual packages follow. The emphasis here is on what the user must know and do to employ the capabilities of the package. Going beyond general description, these reviews also explain what the pack ages actually will and will not do. Although many packages are covered, there is no attempt here at completeness. In every category covered in the book, many more packages exist than those that have been reviewed. In the fast-moving field of engineering software, many new packages are cur rently being written and marketed.
R 1,569.16
Software Verification and Validation for Practitioners and Managers
A concise and practical introduction to the basic principles of effective software verification and validation (V&V). This edition has been revised and includes five new chapters and five new appendices focused on management techniques to make your company's software V&V efforts more cost-effective. Managers should learn how to help their organization create more accurate estimates and schedules. Practitioners should learn fundamental software V&V practices such as the formal inspection process, configuration management, effective testing techniques, and how to use measurements to drive further process improvements.
R 3,772.00
Business Modeling and Software Design
This book contains revised and extended versions of selected papers from the Fifth International Symposium on Business Modeling and Software Design, BMSD 2015, held in Milan, Italy, in July 2015. The symposium was organized and sponsored by the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), being co-organized by Politecnico di Milano and technically co-sponsored by BPM-D. Cooperating organizations were Aristotle University of Thessaloniki (AUTH), the U Twente Center for Telematics and Information Technology (CTIT), the BAS Institute of Mathematics and Informatics (IMI), the Dutch Research School for Information and Knowledge Systems (SIKS), and AMAKOTA Ltd.BMSD 2015 received 57 paper submissions from which 36 papers were selected for publication in the BMSD'15 proceedings. 14 of those papers were selected as full papers.Additional post-symposium reviewing was carried out reflecting both the qualities of the papers and the way they were presented. 10 best papers were selected for the Springer edition (mainly from the BMSD'15 full papers). The 10 papers published in this book were carefully revised and extended (following the reviewers' comments) from the papers presented.The selection considers a large number of BMSD-relevant research topics: from business-processes-related topics, such as process mining and discovery, (dynamic) business process management (and process-aware information systems), and business process models and ontologies (including reflections into the Business Model Canvas); through software-engineering-related topics, such as domain-specific languages and software quality (and technical debt); and semantics-related topics, such as semantic technologies and knowledge management (and knowledge identification); to topics touching upon cloud computing and IT-enabled capabilities for enterprises.
R 1,541.54
Instructional Design for LIS Professionals
A concise, practical guide to effectively teaching current and future librarians in graduate programs, professional settings, and beyond.Many librarians are thrust into positions where they are asked to teach colleagues. Others choose to share their knowledge and experience by preparing the next generation of librarians in graduate programs. However, few such librarians have received any formal education in instructional design. In this book, Melissa A. Wong, an expert instructional designer, helps information professionals to prepare for their roles as teachers of current and future librarians. Covering topics that range from syllabus construction to evaluation and student feedback, the book offers practical guidance on how to communicate with and support learners and how to come up with assignments and grade them, along with advice on accessibility issues and working with technologies such as LMS, OER, videos, and PowerPoint. It demonstrates how to adapt principles of effective teaching to settings including workshops, professional development courses, conference presentations, and staff training. It also discusses professional challenges such as managing workload and shows how to adapt formal coursework to informal teaching situations. Librarians who wish to learn new methods or improve on their teaching and course design skills should read this book.Faculty and librarians new to teaching will appreciate the concise, practical advice for designing courses for effective learningAll faculty will appreciate tips on authentic assignment design and effective feedback, engaging and supporting students, and managing their workloadThe book has a unique focus on teaching graduate students and adults in the LIS field
R 3,479.00
Proceedings of 5th International Conference in Software Engineering for Defence Applications
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2016, the 5th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2016. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
R 4,640.65
Modelling, Simulation and Software Concepts for Scientific-Technological Problems
The book includes different contributions that cover interdisciplinary research in the areas of · Error controlled numerical methods, efficient algorithms and software development· Elastic and in elastic deformation processes· Models with multiscales and multi-physics “High Performance” adaptive numerical methods using finite elements (FEM) and boundary elements (BEM) are described as well as efficient solvers for linear systems and corresponding software components for non-linear, coupled field equations of various branches of mechanics, electromagnetics, and geosciences.
R 7,106.20
Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen
Die Qualität von Software wird zunehmend zu einem bedeuten- den Faktor bei der industriellen Software-Entwicklung. Viel- fältige Anstrengungen wurden daher in den letzten Jahren unternommen, um die Komplexität der Software-Qualitäts- sicherung zu beherrschen. Trotz dieser Bemühungen ist man in der Regel von einer systematischen und gezielten Konstruk- tion der Software-Qualität noch weit entfernt. Eine Bkonomische Qualitätssicherung unter industriellen Rand- bedingungen setzt voraus, daß eine präzise Zielbestimmung der Produktqualität vorgenommen werden kann. Ausgehend von diesen Qualitätsanforderungen muß der Entw.icklungsprozeß konstruktiv so gestaltet werden, daß die geforderte Qualität erreicht wird und frühzeitig überprüft werden kann. Das vorliegende Buch leistet einen Beltrag zu dieser Thema- tik. Es beschreibt ein umfassendes, theoretisch fundiertes Modell, das sich aus zwei Teilmodellen zusammensetzt: einem Qualitäts- und einem Produktmodell. Jedes Modell enthält eine überschaubare Anzahl von Qualitäts- bzw. Produkteigen- schaften, die jeweils präzise definiert und deutlich gegen- einander abgegrenzt sind. Besonderer Wert wurde auf die Transparenz und auf die leichte kognitive Erfaßbarkelt des Modells sowie auf dessen einfache Adaptierbarkelt an kon- krete Entwicklungsumgebungen gelegt. Die praktische Anwend- barkeit des Modells wird anhand einer Methodik zum Ableiten von Checklisten für die Überprüfung von SADT-Dlagrammen gezeigt.
R 1,733.64
Software Engineering for Robotics
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work.Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
R 4,762.00
Software Foundations for Data Interoperability
This book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021. The 4 full papers and one short paper were thorougly reviewed and selected from 8 submissions. They present discussions in research and development in software foundations for data interoperability as well as the applications in real-world systems such as data markets.
R 2,717.71
Academic Research and Professional Practice in Interaction Design
This book constitutes the refereed proceedings of the First International Conference on Academic Research and Professional Practice in Interaction Design, ARPPID 2025, held in London, UK, during July 10–11, 2025.The 17 full papers included in this volume were carefully reviewed and selected from 28 submissions. They focus on interaction design, user experience, and human-computer interaction, emphasising the bridging of the gap between academic research and industry practice.
R 3,884.40
