Sudoku Programming with C teaches you how to write computer programs to solve and generate Sudoku puzzles. This is a practical book that will provide you with everything you need to write your own boo
This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designi
This book contains the extended and revised versions of eight of the ten full papers (out of 58 submissions) presented at the First International Symposium on Business Modeling and Software Design (BM
This book describes the design of Software Radio (SWR). Rather than providing an overview of digital signal processing and communications, this book focuses on topics which are crucial in the design a
This book introduces a new intuitive design methodology for the optimal design path for next-generation software defined radio front-ends (SDRXs). The methodology described empowers designers to "
This book contains the extended and revised versions of selected papers from the 4th International Symposium on Business Modeling and Software Design, BMSD 2014, held in Luxembourg, Luxembourg, in Jun
This book describes a comprehensive framework for hardware/software co-design, optimization, and use of robust, low-cost, and cyberphysical digital microfluidic systems. Readers with a background in e
As a software architect you work in a wide-ranging and dynamic environment. You have to understand the needs of your customer, design architectures that satisfy both functional and non-functional requ
This book describes the state-of-the-art in RF, analog, and mixed-signal circuit design for Software Defined Radio (SDR). It synthesizes for analog/RF circuit designers the most important general des
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the po
This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign t
This book presents Systems Engineering from a modern, multidisciplinary engineering approach, providing the understanding that all aspects of systems design, systems, software, test, security, mainten
This book contains the refereed proceedings of the 6th International Conference on Software Business, ICSOB 2015, held in Braga, Portugal, in June 2015. The theme of the event was "Enterprising C
This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the
This book is designed to enhance understanding of the architectural design challenges of embedded smart camera systems: the hardware/software ecosystem, design approach for and applications of distrib
This book contains the extended and revised versions of selected papers from the Third International Symposium on Business Modeling and Software Design (BMSD 2013), held in Noordwijkerhout, The Nether
A new advanced textbook/reference providing a comprehensive survey of hardware and software architectural principles and methods of computer systems organization and design. The book is suitable for a
This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, org
Volume IX in the Transactions on Aspect-Oriented Software Development series contains papers on modularization, pointcut language, dynamic adaptation, event-based programming, aspect-aware design, sys
Cloud computing is the latest market-oriented computing paradigm which brings software design and development into a new era characterized by “XaaS”, i.e. everything as a service. Cloud workflows, as
Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software archi
A software architecture manifests the major early design decisions, which determine the system’s development, deployment and evolution. Thus, making better architectural decisions is one of the large
1V CMOS Gm-C Filters: Design and Applications discusses the design aspects of transconductor and Gm-C filter circuits, with a special focus on 1V circuit implementations. The emphasis is on high linea
Here is an extremely useful book that provides insight into a number of different flavors of processor architectures and their design, software tool generation, implementation, and verification. After
This book is for readers with backgrounds in science engineering who have experience in computer programming but who lack training in software engineering. It teaches object-oriented design patterns i
This book aims to serve as an essential reference to facilitate civil engineers involved in the design of new conventional (ordinary) reinforced concrete (R/C) buildings regulatedby the current E
This book provides readers with a variety of algorithms and software tools, dedicated to the physical design of through-silicon-via (TSV) based, three-dimensional integrated circuits. It describes num
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were c
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process im-provement are
This book offers the fundamentals of polymer design and synthesis. Discusses properties and characterization of polymers, and describes principles of polymerization reactions including step, radical c
This book provides readers with a variety of algorithms and software tools, dedicated to the physical design of through-silicon-via (TSV) based, three-dimensional integrated circuits. It describes num
Software similarity and classification is an emerging topic with wide applications. It is applicable to the areas of malware detection, software theft detection, plagiarism detection, and software clo
Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software
The book addresses software design issues related to methods for the analysis of construction engineering by means of modern CAD (computer-aided design) systems and provides validation for their use.
This book contains the refereed proceedings of the Second International Conference on Software Business (ICSOB) held in Brussels, Belgium, in June 2011.This year's conference theme "Managing Software
Unleash the System On Chip using FPGAs and Handel C is an attempt to empower the design community by delivering the ??~know-how' developed by the authors with their vast experience in VLSI design. Th
The book addresses software design issues related to methods for the analysis of construction engineering by means of modern CAD (computer-aided design) systems and provides validation for their use.
Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during
Cyber-physical systems (CPS) are characterized as a combination of physical (physical plant, process, network) and cyber (software, algorithm, computation) components whose operations are monitored, c
Modeling Discrete-Event Systems with GPenSIM describes the design and applications of General Purpose Petri Net Simulator (GPenSIM), which is a software tool for modeling, simulation, and performance
