|
Blueprints for high availability
|
Evan Marcus |
Expert techniques for designing your system to achieve maximum availability and predictable downtime With your company's reputation and profits at stake, downtime on your 24/7 web site is not an o… |
OL113993W |
|
Agile documentation
|
Andreas Rüping |
xviii, 226 p. : 24 cm |
OL12046106W |
|
Emotion-oriented systems
|
Catherine Pelachaud |
"The Affective Computing domain, term coined by Rosalind Picard in 1997, gathers several scientific areas such as computer science, cognitive science, psychology, design and art. The humane-machine i… |
OL16175975W |
|
Modeling in event-b
|
Jean-Raymond Abrial |
"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism… |
OL16918349W |
|
Systems analysis and design for advanced modeling methods
|
Stanisław Wrycza |
"This book is a collection of work representing leading research in the area of systems analysis and design practices and methodologies"--Provided by publisher. |
OL16924015W |
|
Handbook of research on modern systems analysis and design technologies and applications
|
Mahbubur Rahman Syed |
"This book provides a compendium of terms, definitions, and explanations of concepts in various areas of systems and design, as well as a vast collection of cutting-edge research articles from the fi… |
OL16955069W |
|
Systems analysis and design
|
Gary B. Shelly |
A guide to information systems development covers such topics as strategic planning, project planning, requirements modeling, object modeling, output and user interface design, data design, system ac… |
OL16983581W |
|
Enterprise Architecture Using the Zachman Framework (MIS)
|
Carol O'Rourke,Neal Fishman,Warren Selkow |
This groundbreaking text introduces Enterprise Architecture and The Zachman Framework, a tool to guide you through the comprehensive process of thinking, reasoning, and communicating effectively abou… |
OL17102256W |
|
Arithmetic optimization techniques for hardware and software design
|
Ryan Kastner |
"Obtain better system performance, lower energy consumption, and avoid hand-coding arithmetic functions with this concise guide to automated optimization techniques for hardware and software design. … |
OL18743941W |
|
Algebraic Foundations of Systems Specification
|
Egidio Astesiano |
This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current top… |
OL19825381W |
|
Constructing the Infrastructure for the Knowledge Economy
|
Henry Linger |
Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice is the proceedings of the 12th International Conference on Information Systems Development, held in M… |
OL19837359W |
|
Design of Dependable Computing Systems
|
Jean-Claude Geffroy |
Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of th… |
OL19841348W |
|
Guide to Modeling and Simulation of Systems of Systems
|
Bernard P. Zeigler |
This user’s reference is a companion to the separate book also titled “Guide to Modeling and Simulation of Systems of Systems.” The principal book explicates integrated development environments to su… |
OL19854094W |
|
High-Level System Modeling
|
Jean-Michel Bergé |
The process of modeling hardware involves a certain duality: a model may specify and represent the desires and constraints of the designer, or it may imitate something that already exists, and can en… |
OL19855291W |
|
Human Interaction with Complex Systems
|
Celestine A. Ntuen |
This book is the result of the 1995 Second Symposium on Human Interaction with Complex Systems. This symposium brought together a number of experts in the area of Human-System Interaction to provide … |
OL19856223W |
|
A Practical Introduction to Hardware/Software Codesign
|
Patrick R. Schaumont |
<p>This textbook provides an introduction to embedded systems design, with emphasis on integration of custom hardware components with software. The key problem addressed in the book is the following:… |
OL19896063W |
|
Software Specification Methods
|
Henri Habrias |
This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follo… |
OL19902803W |
|
User Modeling, Adaptation, and Personalization
|
Sandra Carberry |
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on User Modeling, Adaption, and Personalization, held in Rome, Italy, in June 2013. The 21 long and 7 sh… |
OL19909146W |
|
Using Event-B for Critical Device Software Systems
|
Neeraj Kumar Singh |
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safe… |
OL19909158W |
|
Business information systems
|
Grahame Curtis,Graham Curtis |
Focuses upon the information requirements and management perspectives required in a business environment, exploring the nature of information and its use in managerial decision making. |
OL20923572W |