Software Engineering and Computer Systems

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems; Environment Mod

Computer Architecture/Software Engineering

This introductory book discusses how to plan and build useful, reliable, maintainable and cost efficient computer systems for automated engineering design. The book takes a user perspective and seeks

For courses in computer science and software engineeringThe Fundamental Practice of Software Engineering Software Engineering introduces readers to the overwhelmingly important subject of software pro

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their beha

This textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters: The first chap

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering includes the proceedings of the International Joint Conferences on Computer, Information, and Systems Sciences, and

Data structure and software engineering is an integral part of computer science, which, as a whole, is the study of the theoretical foundations of information and computation and of practical techniqu

This reference provides an overview of current research being conducted on the dependability of software-intensive systems, and addresses the most pressing challenges to ensuring that dependability. S

This book aims at establishing a meaningful dialog between the Human-Computer Interaction (HCI) community and Software Engineering (SE) practitioners and researchers on the results (both good and bad

The Must-have Reference Guide for SAFe® Professionals “There are a lot of methods of scale out there, but the Scaled Agile Framework is the one lighting up the world.” –St

This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research

Embedded and Networking Systems: Design, Software, and Implementation explores issues related to the design and synthesis of high-performance embedded computer systems and networks. The emphasis is on

Using a systems framework, this textbook provides a clear and comprehensive introduction to the performance, analysis and design of radio systems for students and practising engineers. Presented within a consistent framework, the first part of the book describes the fundamentals of the subject: propagation, noise, antennas and modulation. The analysis and design of radios, including RF circuit design and signal processing, is covered in the second half of the book. The former is presented with minimal involvement of Smith charts, enabling students to grasp the fundamentals more readily. Both traditional and software-defined/direct sampling technology are described, with pros and cons of each strategy explained. Numerous examples within the text involve realistic analysis and design activities, and emphasize how practical experiences may differ from theory or taught procedures. End-of-chapter problems are provided, as are a password-protected solutions manual and lecture slides to compl

Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the o

Intended for students in IT, MIS, Software Engineering, and IS Management, this book is designed to enhance student understanding of hardware system architecture. The book is not about the digital cir

The Architecture of Computer Hardware and System Software provides the right amount of technical detail needed to succeed in the field. This accessible introduction provides the basic principles of co

Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential.Designing, En

Before software engineering builds and installations can be implemented into software and/or systems integrations in military and aerospace programs, a comprehensive understanding of the software deve

Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

Parametric cost estimating models can be used for cost and schedule estimation for complex projects involving engineering, hardware, software, service, and IT. This book will help cost engineers and p