Search results for "System Design Guide for Software Professionals"
Items we need to order for you
System Design Optimization for Product Manufacturing
Readers of System Design Optimization for Product Manufacturing will learn about detailed concepts and practical technologies that enable successful product design and manufacture. These concepts and technologies are based on system optimization methodologies that consider a broad range of mechanical, as well as human, factors.System Design Optimization for Product Manufacturing explains the methodologies behind current and future product manufacture. Its detailed explanations of key concepts are relevant not only for product design and manufacture, but also for other business fields. These core concepts and methodologies can be applied to practically any field where informed decision-making is important, and where a range of often conflicting factors must be carefully weighed and considered.System Design Optimization for Product Manufacturing can be used as a fundamental reference book by both engineers and students in the fields of manufacturing, design engineering, and product development.
R 3,024.26
Electronics System Design Techniques for Safety Critical Applications
What is exactly “Safety”? A safety system should be defined as a system that will not endanger human life or the environment. A safety-critical system requires utmost care in their specification and design in order to avoid possible errors in their implementation that should result in unexpected system’s behavior during his operating “life”. An inappropriate method could lead to loss of life, and will almost certainly result in financial penalties in the long run, whether because of loss of business or because the imposition of fines. Risks of this kind are usually managed with the methods and tools of the “safety engineering”. A life-critical system is designed to 9 lose less than one life per billion (10 ). Nowadays, computers are used at least an order of magnitude more in safety-critical applications compared to two decades ago. Increasingly electronic devices are being used in applications where their correct operation is vital to ensure the safety of the human life and the environment. These application ranging from the anti-lock braking systems (ABS) in automobiles, to the fly-by-wire aircrafts, to biomedical supports to the human care. Therefore, it is vital that electronic designers be aware of the safety implications of the systems they develop. State of the art electronic systems are increasingly adopting progr- mable devices for electronic applications on earthling system. In particular, the Field Programmable Gate Array (FPGA) devices are becoming very interesting due to their characteristics in terms of performance, dimensions and cost.
R 3,554.81
COTS-Based Software Systems
In the short space of about a decade, Commercial-Off-the-Shelf (COTS) software has evolved through being a relatively minor aspect of software development; a t- management-endorsedsilverbulletsolutionforsoftwaredevelopment;adisruptivete- nology requiring people and organizations to extensively rethink their approaches to software development; to an increasingly well-understood software phenomenon for which effective solutions are being developed. Part of this understanding has been to recognize that different COTS application sectors can be at different stages of this evolution. Some sectors are just beginning to become COTS-intensive. Some have evolved COTS solutions that are very well matched to their problem domain. Others, including most large-scale applications, still involve their developers in rethinking how to adapt their traditional software architectures, processes, management practices, and personnel skills to accommodate economically attractive but complex combinations of powerful but incompletely compatible and independently evolving COTS products. The series of International Conferences on COTS-Based Software Systems (ICCBSS) has been established as a continuing forum for bringing together CBSS developers, s- pliers, and researchers to summarize and discuss progress toward understanding and resolving CBSS problems. This year’s conference theme, “Matching Solutions to P- blems,"re?ectsthisobjective.Wehavebeenfortunatetohavethreeoutstandingkeynote speakers, David Carr, Tricia Oberndorf, and Douglas Schmidt, who have contributed signi?cantly both in analyzing CBSS problems and developing better CBSS solutions. The contributed papers and summaries of workshops, panels, and tutorials in these ProceedingsgiveagoodunderstandingofthenatureanddirectionsofevolutionofCBSS problems and solutions.As has been my experience with previous ICCBSS Proceedings volumes, I believe that you will ?nd lasting value in the content of the Proceedings.
R 2,327.78
Internally Compensated LDO Regulators for Modern System-on-Chip Design
This book presents a thorough state-of-the-art review for internally compensated Low Dropout Regulators (IC-LDO). It serves as a useful guide for circuit designers. The advantages and disadvantages of each cell proposed are highlighted. The authors describe an alternative to the classical topology; the Flipped Voltage Follower (FVF), which has been recently applied in the design of internally compensated LDOs to enhance their performances. This book provides novel circuits enhancing those parameters of LDO related with frequency behavior and power consumption. These solutions, as well as their appropriate design methodology, are properly described within the text.
R 4,088.58
Complex, Intelligent, and Software Intensive Systems
This book presents scientific interactions between the three interwoven and challenging areas of research and development of future ICT-enabled applications: software, complex systems and intelligent systems.Software intensive systems heavily interact with other systems, sensors, actuators, and devices, as well as other software systems and users. More and more domains involve software intensive systems, e.g. automotive, telecommunication systems, embedded systems in general, industrial automation systems and business applications. Moreover, web services offer a new platform for enabling software intensive systems.Complex systems research focuses on understanding overall systems rather than their components. Such systems are characterized by the changing environments in which they act, and they evolve and adapt through internal and external dynamic interactions.The development of intelligent systems and agents features the use of ontologies, and their logical foundations provide a fruitful impulse for both software intensive systems and complex systems. Research in the field of intelligent systems, robotics, neuroscience, artificial intelligence, and cognitive sciences is a vital factor in the future development and innovation of software intensive and complex systems.
R 9,526.83
Requirements Engineering: Foundation for Software Quality
This book constitutes the proceedings of the 27th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2021, which was due to be held in Essen, Germany, in April 2021. Due to the COVID-19 pandemic the conference was held virtually in April 2021.The special focus of this year`s REFSQ 2021 conference are contributions emphasizing the importance of human values, such as privacy and fairness, when designing software-intensive systems as well as the challenges that intelligent and autonomous systems pose due to the tight interplay with humans.
R 2,165.36
Generation Systems Software
The contents of this book are intended for those concerned with the simulation of the performance of generation systems. The subject is of importance to practising electrical engineers because of the many situations that arise in the design and operation of modem electromechanical systems and electrical power systems. The simulation programs contained in this book cover the prediction of generator performance for both large and small scale units. Synchronous generators of the round rotor and salient-pole variety of ratings of between a few Megawatts to around 1200 MW are invariably used by public supply companies for the generation of electrical power. For industrial purposes a variety of types of generator are used, including steam and gas turbines, and medium to low speed diesel engine driven generators, the former for those cases where process steam is available and the latter often in the role of marine generation or in a standby role.
R 14,861.43
R 244.00
Software, Services, and Systems
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing’s work.The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.
R 2,239.87
Engineering Secure Software and Systems
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.
R 2,813.89
Model-Driven Dependability Assessment of Software Systems
Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.
R 4,256.33
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024)
The proceeding of FRSE presents a collection of innovation research in the cutting edge fields of robotics and software engineering. It is highlighted within that there are novel methodologies, critical analyses, and breakthrough results which emphasize the enhanced or amplified results achieved when robotics technologies are integrated with advanced software.This book is outfitted with numerous diagrams, tables, and conceptual frameworks, structured to enhance comprehension and accessibility, that facilitate a deeper understanding of complex topics. The presentation is not just theoretical but includes case studies and real-world applications, offering a practical approach to complex problem-solving techniques across related industries.Readers will receive benefits from this comprehensive resource, gain a renew understanding of contemporary challenges and innovative solutions in robotics and software engineering. And this book will be a guide and asset for research scholars and professionals in robotics and software engineering looking to apply these these cutting-edge technologies in impactful ways.
R 10,182.19
R 321.00
Model Reduction for Control System Design
Comprehensive treatment of approximation methods for filters and controllers. It is fully up to date, and it is authored by two leading researchers who have personally contributed to the development of some of the methods. Balanced truncation, Hankel norm reduction, multiplicative reduction, weighted methods and coprime factorization methods are all discussed. The book is amply illustrated with examples, and will equip practising control engineers and graduates for intelligent use of commercial software modules for model and controller reduction.
R 4,635.49
Model Reduction for Control System Design
Comprehensive treatment of approximation methods for filters and controllers. It is fully up to date, and it is authored by two leading researchers who have personally contributed to the development of some of the methods. Balanced truncation, Hankel norm reduction, multiplicative reduction, weighted methods and coprime factorization methods are all discussed. The book is amply illustrated with examples, and will equip practising control engineers and graduates for intelligent use of commercial software modules for model and controller reduction.
R 4,636.39
Environmental Software Systems
Environmental Informatics (or Enviromatics) is a maturing subject with interdisciplinary roots in computer science, environmental planning, ecology, economics and other related areas. Its practitioners must be prepared to work with many diverse professional groups. It forms the foundation for computer-assisted environmental protection. This book contains an edited version of papers presented at the 3rd International Symposium on Environmental Software Systems (ISESS '99), which was held at the University of Otago, Dunedin, New Zealand, from August 30 to September 2, 1999, and was sponsored by the International Federation for Information Processing (IFIP). The text is divided into six sections: Enviromatics - Introduction; Environmental Issues; Environmental Information Systems - Tools and Techniques; Environmental Information Systems - Implementations; Environmental Decision Support Systems; Specialised Topics. This state-of-the-art volume will be essential reading for computer scientists and engineers, ecologists, and environmental planners and managers.
R 4,650.90
Advances in Artificial Intelligence, Software and Systems Engineering
This book addresses emerging issues concerning the integration of artificial intelligence systems in our daily lives. It focuses on the cognitive, visual, social and analytical aspects of computing and intelligent technologies, and highlights ways to improve the acceptance, effectiveness, and efficiency of said technologies. Topics such as responsibility, integration and training are discussed throughout. The book also reports on the latest advances in systems engineering, with a focus on societal challenges and next-generation systems and applications for meeting them. Based on the AHFE 2020 Virtual Conference on Software and Systems Engineering, and the AHFE 2020 Virtual Conference on Artificial Intelligence and Social Computing, held on July 16–20, 2020, it provides readers with extensive information on current research and future challenges in these fields, together with practical insights into the development of innovative services for various purposes.
R 9,158.00
Sensor Systems and Software
The First International ICST Conference on Sensor Systems and Software (S-cube 2009) was held during 7–8 September in Pisa, Italy. This new international conference was dedicated to addressing the research challenges facing system dev- opment and software support for systems based on wireless sensor networks (WSNs) that have the potential to impact society in many ways. Currently, wireless sensor networks introduce innovative and interesting application scenarios that may support a large amount of different applications including environmental monitoring, disaster prevention, building automation, object tracking, nuclear reactor control, fire det- tion, agriculture, healthcare, and traffic monitoring. The widespread acceptance of these new services can be improved by the definition of frameworks and architectures that have the potential to radically simplify software development for wireless sensor network-based applications. The aim of these new architectures is to support flexible, scalable programming of applications based on adaptive middleware. As a con- quence, WSNs require novel programming paradigms and technologies. Moreover, the design of new complex systems, characterized by the interaction of different and heterogeneous resources, will allow the development of innovative applications that meet high-performance goals. Hence, WSNs require contributions from many fields such as embedded systems, distributed systems, data management, system security and applications. The conference places emphasis on layers well above the traditional MAC and routing and transport layer protocols.
R 1,556.22
R 3,230.47
Real-World Software Projects for Computer Science and Engineering Students
Developing projects outside of a classroom setting can be intimidating for students and is not always a seamless process. Real-World Software Projects for Computer Science and Engineering Students is a quick, easy source for tackling such issues. Filling a critical gap in the research literature, the book: Is ideal for academic project supervisors. Helps researchers conduct interdisciplinary research. Guides computer science students on undertaking and implementing research-based projects This book explains how to develop highly complex, industry-specific projects touching on real-world complexities of software developments. It shows how to develop projects for students who have not yet had the chance to gain real-world experience, providing opportunity to become familiar with the skills needed to implement projects using standard development methodologies. The book is also a great source for teachers of undergraduate students in software engineering and computer science as it can help students prepare for the risk and uncertainty that is typical of software development in industrial settings.
R 1,154.87
Software Diversity in Computerized Control Systems
Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-life applications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new results and applications in another volume of this series within some years. Acknowledgements The idea of the workshop was put forward by the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi tor of this volume was asked to organize the workshop. This volume was edited with the assistance of the editors of the series, A. AviZienis, H. Kopetz and J. -C. Laprie, who also had the function of reviewers. Karlsruhe, October 1987 U. Voges, Editor Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Introduction U. Voges 2. Railway Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON Safety System for Railway Control . . . . . . . . . . . . . . . . . . 11 G. Hagelin 3. Nuclear Applications . . . . . . . . . . . . . . . . . . . . . . 23 Use of Diversity in Experimental Reactor Safety Systems . 29 U. Voges The PODS Diversity Experiment . 51 P. G. Bishop 4. Flight Applications . . . . . . . . . . . . . . . . . . . . . . . . . 85 AIRBUS and ATR System Architecture and Specification. . 95 P. Traverse 5. University Research . . . . . . . . . . . . . . . . . . . 105 Tolerating Software Design Faults in a Command and Control System . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. Moulding DEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . .
R 1,625.13
Python for Software Design
A no-nonsense introduction to software design using the Python programming language. Written for people with no programming experience, this book starts with the most basic concepts and gradually adds new material. Some of the ideas students find most challenging, like recursion and object-oriented programming, are divided into a sequence of smaller steps and introduced over the course of several chapters. The focus is on the programming process, with special emphasis on debugging. The book includes a wide range of exercises, from short examples to substantial projects, so that students have ample opportunity to practise each new concept. Exercise solutions and code examples are available from thinkpython.com, along with Swampy, a suite of Python programs that is used in some of the exercises.
R 2,133.50
R 4,557.00
Business Modeling and Software Design
This book constitutes the proceedings of the 8th International Symposium on Business Modeling and Software Design, BMSD 2018, held in Vienna, Austria, in July 2018.The 14 full papers and 21 short papers selected for inclusion in this book deal with a large number of research topics: (i) Some topics concern Business Processes (BP), such as BP modeling / notations / visualizations, BP management, BP variability, BP contracting, BP interoperability, BP modeling within augmented reality, inter-enterprise collaborations, and so on; (ii) Other topics concern Software Design, such as software ecosystems, specification of context-aware software systems, service-oriented solutions and micro-service architectures, product variability, software development monitoring, and so on; (iii) Still other topics are crosscutting with regard to business modeling and software design, such as data analytics as well as information security and privacy; (iv) Other topics concern hot technology / innovation areas, such as blockchain technology and internet-of-things. Underlying with regard to all those topics is the BMSD’18 theme: Enterprise Engineering and Software Engineering - Processes and Systems for the Future.
R 1,584.57
RF System Design of Transceivers for Wireless Communications
This book is for RF Engineers and, in particular, those engineers focusing mostly on RF systems and RFIC design. The author develops systematic methods for RF systems design, complete with a comprehensive set of design formulas. Its focus on mobile station transmitter and receiver system design also applies to transceiver design of other wireless systems such as WLAN. This comprehensive reference work covers a wide range of topics from general principles of communication theory, as it applies to digital radio designs to specific examples on implementing multimode mobile systems.
R 3,877.71
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.Due to the Corona pandemic this event was held virtually.
R 2,181.53
Software Engineering Techniques: Design for Quality
This volume provides an overview of current work in software engineering techniques that can enhance the quality of software. The chapters of this volume, organized by key topic area, create an agenda for the IFIP Working Conference on Software Engineering Techniques, SET 2006. The seven sections of the volume address the following areas: software architectures, modeling, project management, software quality, analysis and verification methods, data management, and software maintenance.
R 4,642.50
Internally Compensated LDO Regulators for Modern System-on-Chip Design
This book presents a thorough state-of-the-art review for internally compensated Low Dropout Regulators (IC-LDO). It serves as a useful guide for circuit designers. The advantages and disadvantages of each cell proposed are highlighted. The authors describe an alternative to the classical topology; the Flipped Voltage Follower (FVF), which has been recently applied in the design of internally compensated LDOs to enhance their performances. This book provides novel circuits enhancing those parameters of LDO related with frequency behavior and power consumption. These solutions, as well as their appropriate design methodology, are properly described within the text.
R 3,901.40
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 7,669.77
Information Technology (IT) Professionals
Welcome to the Information Technology (IT) Professionals field! If you are interested in a career as an Information Technology (IT) professionals you’ve come to the right book. So what exactly do these people do on the job, day in and day out? What kind of skills and educational background do you need to succeed in these fields? How much can you expect to make, and what are the pros and cons of these various fields? Is this even the right career path for you? How do you avoid burnout and deal with stress? This book can help you answer these questions and more. This book, which includes interviews with professionals in the field, covers the following areas of this field that have proven to be stable, lucrative, and growing professions. • Technical Support Staff• Programmers• Web Developers• Systems Analysts• Network Architects• Security Analysts
R 1,574.00
Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems
Today’s wireless services have come a long way since the roll out of the conventional voice-centric cellular systems. The demand for wireless access in voice and high rate data multi-media applications has been increasing. New generation wireless communication systems are aimed at accommodating this demand through better resource management and improved transmission technologies. This book discusses the cognitive radio, software defined radio, and adaptive radio concepts from several perspectives.
R 6,592.22
Reliable Software for Unreliable Hardware
This book describes novel software concepts to increase reliability under user-defined constraints. The authors’ approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent error masking characteristics and error (stemming from soft errors, aging, and process variations) mitigations potential at different software layers.
R 2,015.00
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered in the broad sense as that of sets of discrete structures and the theory of rewriting systems over them. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of structured objects. The ADC talks by distinguished invited speakers survey current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software engineering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.
R 1,583.55
Software Methods for Business Reengineering
An approach to reorganising businesses using software engineering as a guiding paradigm. The author argues that software engineering provides both the necessary analytical expertise as well as the tools to transform process descriptions to support systems. He begins by introducing the necessary concepts, principles and practice before demonstrating how a business can define and construct the information base required. As a result, any manager or technically-minded person will learn here how to implement the reengineering of a business.
R 1,554.75
Auditor's Guide to IT Auditing, + Software Demo
Step-by-step guide to successful implementation and control of IT systems—including the Cloud Many auditors are unfamiliar with the techniques they need to know to efficiently and effectively determine whether information systems are adequately protected. Now in a Second Edition, Auditor's Guide to IT Auditing presents an easy, practical guide for auditors that can be applied to all computing environments. Follows the approach used by the Information System Audit and Control Association's model curriculum, making this book a practical approach to IS auditingServes as an excellent study guide for those preparing for the CISA and CISM examsIncludes discussion of risk evaluation methodologies, new regulations, SOX, privacy, banking, IT governance, CobiT, outsourcing, network management, and the CloudIncludes a link to an education version of IDEA--Data Analysis Software As networks and enterprise resource planning systems bring resources together, and as increasing privacy violations threaten more organization, information systems integrity becomes more important than ever. Auditor's Guide to IT Auditing, Second Edition empowers auditors to effectively gauge the adequacy and effectiveness of information systems controls.
R 2,394.00
Computational Intelligence and Quantitative Software Engineering
In a down-to-the earth manner, the volume lucidly presents how the fundamental concepts, methodology, and algorithms of Computational Intelligence are efficiently exploited in Software Engineering and opens up a novel and promising avenue of a comprehensive analysis and advanced design of software artifacts. It shows how the paradigm and the best practices of Computational Intelligence can be creatively explored to carry out comprehensive software requirement analysis, support design, testing, and maintenance. Software Engineering is an intensive knowledge-based endeavor of inherent human-centric nature, which profoundly relies on acquiring semiformal knowledge and then processing it to produce a running system. The knowledge spans a wide variety of artifacts, from requirements, captured in the interaction with customers, to design practices, testing, and code management strategies, which rely on the knowledge of the running system. This volume consists of contributions written by widely acknowledged experts in the field who reveal how the Software Engineering benefits from the key foundations and synergistically existing technologies of Computational Intelligence being focused on knowledge representation, learning mechanisms, and population-based global optimization strategies. This book can serve as a highly useful reference material for researchers, software engineers and graduate students and senior undergraduate students in Software Engineering and its sub-disciplines, Internet engineering, Computational Intelligence, management, operations research, and knowledge-based systems.
R 3,490.34
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.
R 3,094.34
