» książki » Computers - Software Development & Engineering - Systems Analysis & Design
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2446
 |
Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA
ISBN: 9783540290339 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology offer reductions in cost and schedule, but their effect on software quality often remains unknown. The International Conferenceon the Quality of Software Architectures(QoSA 2005)focusedon software architectures and their relation to software quality, while the International Workshop on Software Quality (SOQUA 2005) mainly focused on quality assurance and more precisely on software testing. These events complement each other in their view on software...
The goal of software engineering is to achieve high-quality software in a cost-effective, timely, and reproducible manner. Advances in technology offe...
|
cena:
202,66 |
 |
Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
ISBN: 9783540298144 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in October 2005. The 15 papers presented in this title address topics of self-stabilization, extensions to the field, such as snap-stabilization, code stabilization, self-stabilization, or applications of self-stabilization.
Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in October 2005. The 15 papers p...
|
cena:
202,66 |
 |
Socionics: Scalability of Complex Social Systems
ISBN: 9783540307075 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1 Thisbookis an outcomeof the SocionicsResearch Framework. Therootsof Socionics lie in the 1980s when computer scientists in search of new methods and techniques of distributed and coordinated problem-solving ?rst began to take an engineering interest in sociological concepts and theories. Just as biological phenomenaare conceived of as a source of inspiration for new technologies in the new research ?eld of bionics, c- puter scientists working in Distributed Arti?cial Intelligence (DAI) became interested in exploiting phenomena from the social world in order to construct Multiagent S- tems...
1 Thisbookis an outcomeof the SocionicsResearch Framework. Therootsof Socionics lie in the 1980s when computer scientists in search of new methods and...
|
cena:
202,66 |
 |
On-Line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
ISBN: 9783540433187 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presenting a different approach to on-line observation and concurrent checking of processors, this text refines and improves known techniques and introduces other ideas. The proposed on-line error detection and fast recover techniques support and complement other established methods. In combination with other on-line observation priniciples and with a combined hardware-software test, these techniques are used to fulfill a complete self-check scheme for an embedded processor.
Presenting a different approach to on-line observation and concurrent checking of processors, this text refines and improves known techniques and intr...
|
cena:
202,66 |
 |
Process Algebra with Timing
ISBN: 9783540434474 / Angielski / Twarda / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well...
This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desira...
|
cena:
202,66 |
 |
Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
ISBN: 9783540457626 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk, Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for...
Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk, Poland. Since it was establi...
|
cena:
202,66 |
 |
Program Design Calculi
ISBN: 9783540569435 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent developments in the systematic study of the specification, refinement and verification of sequential, functional and distributed systems.
Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent development...
|
cena:
810,77 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783540654452 / Angielski / Twarda / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
202,66 |
 |
Object-Process Methodology: A Holistic Systems Paradigm
ISBN: 9783540654711 / Angielski / Twarda / 455 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-Process Methodology (OPM) is a comprehensive novel approach to systems engineering. Integrating function, structure and behavior in a single, unifying model, OPM significantly extends the system modeling capabilities of current object-oriented methods. Founded on a precise generic ontology and combining graphics with natural language, OPM is applicable to virtually any domain of business, engineering and science. Relieved from technical issues, system architects can use OPM to engage in the creative design of complex systems.
The book presents the theory and practice of OPM with... Object-Process Methodology (OPM) is a comprehensive novel approach to systems engineering. Integrating function, structure and behavior in a single, u...
|
cena:
344,56 |
 |
Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments
ISBN: 9783540657729 / Angielski / Twarda / 629 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them. Application systems invariably involve the long-term storage of data over months or years. Much unnecessary complexity obstructs the construction of these systems when conventional databases, file systems, operating systems, communication systems, and programming languages are used. This complexity limits the sophistication of the systems that can be built, generates operational and usability problems, and...
Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the ...
|
cena:
405,36 |
 |
Correct System Design: Recent Insights and Advances
ISBN: 9783540666240 / Angielski / Miękka / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different...
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-cri...
|
cena:
202,66 |
 |
Computer-Supported Cooperative Work: Introduction to Distributed Applications
ISBN: 9783540669845 / Angielski / Twarda / 529 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for quite some time now. This book is a revised and extended version of the 2nd edition of the German textbook "Rechnergestutzte Gruppenarbeit: Eine Einfuhrung in verteilte Anwendungen." It has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numer ous opportunities for users of groupware and the risks of applying such sys tems. The book intends to introduce an area of distributed systems, namely...
The terms groupware and CSCW (computer-supported cooperative work) have received significant attention in computer science and related disciplines for...
|
cena:
202,66 |
 |
Ubiquitous Convergence Technology: First International Conference, Icuct 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
ISBN: 9783540717881 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects with embedded computing - pabilities are now commonplace and, between mobile phones and RFID tags, further deployment proceeds at an unstoppable pace. The next major step of the ubiquitous computing evolution is the move, already partly underway, from isolated smart objects to distributed systems of smart objects and appropriate back-end infrastructure: microelectronics and communication technology c- verging with healthcare technology, communication technology, sports...
Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects with embedded computing -...
|
cena:
202,66 |
 |
Pervasive Computing: 5th International Conference, Pervasive 2007, Toronto, Canada, May 13-16, 2007, Proceedings
ISBN: 9783540720362 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada in May 2007. The 21 revised full papers are organized in topical sections on reaching out, context and its application, security and privacy, understanding use, sensing, as well as finding and positioning. This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada ... |
cena:
202,66 |
 |
Coordination Models and Languages: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
ISBN: 9783540727934 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. It examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by exploring the spectrum of languages, middleware, services, and algorithms. This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in... |
cena:
202,66 |
 |
User-Centred Design of Systems
ISBN: 9783540760078 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal specification of the system. The past decade or two has seen the rise of another approach, that of human-computer interaction (HCI). Given the number of incidents and accidents which are attributed to 'human error', it is sensible to develop an approach to system design which views humans as an essential element in the system. Thus, an important aspect of designing systems is the study of the interaction between humans and the technology that...
System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal s...
|
cena:
202,66 |
 |
High-Integrity System Specification and Design
ISBN: 9783540762263 / Angielski / Miękka / 701 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Errata, detected in Taylor's Logarithms. London: 4to, 1792. sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4 18'3," read cos. 14 18'2." - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4 18'3," read cos. 14 18' 3." - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such...
Errata, detected in Taylor's Logarithms. London: 4to, 1792. sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA de...
|
cena:
202,66 |
 |
Correct Systems: Building a Business Process Solution
ISBN: 9783540762461 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware...
Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developi...
|
cena:
202,66 |
 |
Software Agent-Based Applications, Platforms and Development Kits
ISBN: 9783764373474 / Angielski / Miękka / 451 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces major agent platforms, frameworks, systems, tools, and applications. Each system is described by their developers in sufficient detail so that the reader can get a good understanding of the architecture, functionality, and application areas of the system. All systems are running systems. One main focus of the book lies on agent platforms and toolkits. This book introduces major agent platforms, frameworks, systems, tools, and applications. Each system is described by their developers in sufficien... |
cena:
202,66 |
 |
Simulation Systems
ISBN: 9789056996666 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Simulation Systems expolres a wide spectrum of topics including simulation software, logic simulation, query-driven simulation, multi-computer simulation and manufacturing simulation. Although such papers are presented in Journals and conference proceedings it is difficult to find a single source where the foremost papers are presented. Contributions in Simulation Systms are freom leading researchers and practioners which explore a wide spectrum of topics. The chapters include topics such as presentation of SIMULA/OBJECTR, which is a query driven simulation support environment and a method of...
Simulation Systems expolres a wide spectrum of topics including simulation software, logic simulation, query-driven simulation, multi-computer simulat...
|
cena:
932,46 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
