ilość książek w kategorii: 10273
Mathematical Approaches to Software Quality
ISBN: 9781849965644 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include:
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathemati... |
|
cena:
382,84 zł |
Automatic Program Development: A Tribute to Robert Paige
ISBN: 9789048176748 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some... Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, wh... |
|
cena:
382,84 zł |
Advances in Computer and Information Sciences and Engineering
ISBN: 9789048179756 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Advances in Computer and Information Sciences and Engineering includes selected papers from the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2007) which was part of the International Joint... Advances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and... |
|
cena:
382,84 zł |
Relating Software Requirements and Architectures
ISBN: 9783642210006 / Angielski / Twarda / 387 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why have a book about the relation between requirements and software architecture? Understanding the relation between requirements and architecture is important because the requirements, be they explicit or implicit, represent the function, whereas the architecture determines the form. While changes to a set of requirements may impact on the realization of the architecture, choices made for an architectural solution may impact on requirements, e.g., in terms of revising functional or non-functional requirements that cannot actually be met. Although research in both requirements... Why have a book about the relation between requirements and software architecture? Understanding the relation between requirements and architecture... |
|
cena:
382,84 zł |
The Future of EU Agricultural Markets by AGMEMOD
ISBN: 9789400722903 / Angielski / Twarda / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an experienced team of country-based modellers. This analysis, produced using the AGMEMOD model, will be of interest to researchers working in the field of agricultural policy analysis as well as to policy makers from both the European Commission and its member states agriculture ministries."
This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an...
|
|
cena:
382,84 zł |
Advances in Computing and Communications, Part 3: First International Conference, ACC 2011, Kochi, India, July 22-24, 2011, Proceedings, Part III
ISBN: 9783642227196 / Angielski / Miękka / 720 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the third part of a four-volume set (CCIS 190, CCIS 191, CCIS 192, CCIS 193), which constitutes the refereed proceedings of the First International Conference on Computing and Communications, ACC 2011, held in Kochi, India, in July 2011. The 70 revised full papers presented in this volume were carefully This volume is the third part of a four-volume set (CCIS 190, CCIS 191, CCIS 192, CCIS 193), which constitutes the refereed proceedings of the Firs... |
|
cena:
382,84 zł |
Advances in Computing and Communications, Part IV: First International Conference, Acc 2011, Kochi, India, July 22-24, 2011. Proceedings, Part IV
ISBN: 9783642227257 / Angielski / Miękka / 624 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the fourth part of a four-volume set (CCIS 190, CCIS 191, CCIS 192, CCIS 193), which constitutes the refereed proceedings of the First International Conference on on Computing and Communications, ACC 2011, held in Kochi, India, in July 2011. The 62 revised full papers presented in this volume were carefully This volume is the fourth part of a four-volume set (CCIS 190, CCIS 191, CCIS 192, CCIS 193), which constitutes the refereed proceedings of the Fir... |
|
cena:
382,84 zł |
Software Engineering, Business Continuity, and Education: International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Info
ISBN: 9783642272066 / Angielski / Miękka / 740 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprises of selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focus on the various aspects of advances in software engineering and its Application, disaster recovery and business continuity, education and learning.
This book comprises of selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Tec...
|
|
cena:
382,84 zł |
The Correctness-by-Construction Approach to Programming
ISBN: 9783642279188 / Angielski / Twarda / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions. Kourie and Watson advocate an approach known as "correctness-by-construction," a technique to derive algorithms that relies on formal theory, but that requires such theory to be...
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches tha...
|
|
cena:
382,84 zł |
Software Cost Estimation, Benchmarking, and Risk Assessment: The Software Decision-Makers' Guide to Predictable Software Development
ISBN: 9783642307638 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software effort estimation is a key element of software project planning and management. Yet, in industrial practice, the important role of effort estimation is often underestimated and/or misunderstood. In this book, Adam Trendowicz presents the CoBRA method (an abbreviation for Cost Estimation, Benchmarking, and Risk Assessment) for estimating the effort required to successfully complete a software development project, which uniquely combines human judgment and measurement data in order to systematically create a custom-specific effort estimation model. CoBRA goes far beyond simply... Software effort estimation is a key element of software project planning and management. Yet, in industrial practice, the important role of effort ... |
|
cena:
382,84 zł |
A Primer in Petri Net Design
ISBN: 9783642753312 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and...
Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousn...
|
|
cena:
382,84 zł |
Information Systems Engineering: An Introduction
ISBN: 9783642780035 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a selection of subjects which the authors deem to be important for information systems engineers. The book is intended for introductory teaching. We have tried to write the book in such a way that students with only fragmented knowledge of computers are able to read the book without too many difficulties. Students who have had only an intro ductory course in computer programming should be able to read most of the book. We have tried to achieve simplicity without compromising on depth in our discussions of the various aspects of information systems engineering. So it is our...
This book presents a selection of subjects which the authors deem to be important for information systems engineers. The book is intended for introduc...
|
|
cena:
382,84 zł |
Simulation and Model-Based Methodologies: An Integrative View
ISBN: 9783642821462 / Angielski / Miękka / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Simulation, like a gem, is multi-faceted. Several subfields of simulation have emerged based on the characteristics of models used in a simulation study, on the nature and the generation characteristics of model behavior, also on the agent soch as a computer which generates model behavior. For example, one distinguishes: - deterministic simulation, stochastic simulation, stiff simulation based on functional rela- tionships of descriptive vuriables of models used; - combined simulation, continuous simulation, discrete simulation, process simulation, dis- crete event simulation,...
Simulation, like a gem, is multi-faceted. Several subfields of simulation have emerged based on the characteristics of models used in a simulation stu...
|
|
cena:
382,84 zł |
Software System Design Methods: The Challenge of Advanced Computing Technology
ISBN: 9783642828485 / Angielski / Miękka / 747 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology to system design methods. This is in fact the second ASI organised by myself and my colleagues in the field of systems reliability; the first was about Electronic Systems Effectiveness and Life Cycle Costing, and the proceed ings were published by the same publisher in 1983, as "Series F (Computer and System Sciences, No. 3)." The first part of the present proceedings concentrates on the development of low-fault and fault-tolerant software. In...
In this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology...
|
|
cena:
382,84 zł |
Scala Design Patterns: Patterns for Practical Reuse and Design
ISBN: 9783319021911 / Angielski / Twarda / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scala is a new and exciting programming language that is a hybrid between object oriented languages such as Java and functional languages such as Haskell. As such it has its own programming idioms and development styles. Scala Design Patterns looks at how code reuse can be successfully achieved in Scala. A major aspect of this is the reinterpretation of the original Gang of Four design patterns in terms of Scala and its language structures (that is the use of Traits, Classes, Objects and Functions). It includes an exploration of functional design patterns and considers how these can be...
Scala is a new and exciting programming language that is a hybrid between object oriented languages such as Java and functional languages such as Hask...
|
|
cena:
382,84 zł |
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
ISBN: 9783642645563 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas. Most of the projects have been carried out in an industrial set ting. The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The volume demonstrates the feasibility of using CP-nets and the CPN tools for industrial projects. The presentation of the projects is...
The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad ran...
|
|
cena:
382,84 zł |
Innovative Technologies for Dependable Ots-Based Critical Systems: Challenges and Achievements of the Critical Step Project
ISBN: 9788847027718 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features 'off-the-shelf' systems designed by world-beating companies.
With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traff...
|
|
cena:
382,84 zł |
User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems
ISBN: 9781447110729 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable software demands understanding and supporting users and their tasks. Users are a primary source of usability requirements and knowledge, since users can be expected to have intimate and extensive knowledge of themselves, their tasks and their working environment. Task analysis approaches to software development encourage a focus on supporting users and their tasks while participatory design approaches encourage users' direct, active contributions...
The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable so...
|
|
cena:
382,84 zł |
Subrecursive Programming Systems: Complexity & Succinctness
ISBN: 9781461266808 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be...
1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and ho...
|
|
cena:
382,84 zł |
Image Analysis, Random Fields and Markov Chain Monte Carlo Methods: A Mathematical Introduction
ISBN: 9783642629112 / Angielski / Miękka / 387 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "This book is concerned with a probabilistic approach for image analysis, mostly from the Bayesian point of view, and the important Markov chain Monte Carlo methods commonly used....This book will be useful, especially to researchers with a strong background in probability and an interest in image analysis. The author has presented the theory with rigor...he doesn't neglect applications, providing numerous examples of applications to illustrate the theory." -- MATHEMATICAL REVIEWS "This book is concerned with a probabilistic approach for image analysis, mostly from the Bayesian point of view, and the important Markov chain Mo... |
|
cena:
382,84 zł |