Author: Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 7289
Book Description
Author: Software Reliability Handbook
Author: RookPublisher: Springer Science & Business Media
ISBN: 9781851664009
Category : Computers
Languages : en
Pages : 578
Book Description
The reliability of software is becoming increasingly important to a large range of industries that rely on complex computer systems and machinery with computer control. The reliability of a system depends on both the hardware and the software that comprise the system. Although faults in design can continue to give problems, the issues and the techniques for meeting severe reliability requirements in hardware have been understood for some time. In the case of software both the techniques and a positive attitude of software developers to the achievement of reliability are much less well established. They are particularly crucial in the development of software dependent safety-critical systems.
New Trends in Software Methodologies, Tools and Techniques
Author: Hamido FujitaPublisher: IOS Press
ISBN: 9781586036737
Category : Computers
Languages : en
Pages : 496
Book Description
Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible, and robust society. It empowers the exploration of our world in ever more depth. However, software often falls short behind our expectations. Current software methodologies, tools and techniques remain expensive and not yet reliable for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book presents a number of new trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society. This publication is an attempt to capture the essence of a new state-of-art in software science and its supporting technology. It also aims at identifying the challenges such a technology has to master.
Handbook of Software Engineering & Knowledge Engineering
Author: Shi Kuo ChangPublisher: World Scientific
ISBN: 9810249748
Category : Computers
Languages : en
Pages : 807
Book Description
This is the first handbook to cover comprehensively both software engineering and knowledge engineering -- two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find this handbook useful when looking for solutions to practical problems. Researchers can use it for quick access to the background, current trends and most important references regarding a certain topic.The handbook consists of two volumes. Volume One covers the basic principles and applications of software engineering and knowledge engineering.Volume Two will cover the basic principles and applications of visual and multimedia software engineering, knowledge engineering, data mining for software knowledge, and emerging topics in software engineering and knowledge engineering.
Requirements Targeting Software and Systems Engineering
Author: Manfred BroyPublisher: Springer
ISBN: 3540494391
Category : Computers
Languages : en
Pages : 358
Book Description
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering, RTSE '97, held in Bernried, Germany in October 1997. The 15 revised full papers presented in the book were carefully revised and reviewed for inclusion in the book. Among the authors are internationally leading researchers. The book is divided in sections on foundations of software engineering, methodology, evaluation and case studies, and tool support and prototyping.
Formal Description Techniques VII
Author: D. HogrefePublisher: Springer
ISBN: 0387348786
Category : Technology & Engineering
Languages : en
Pages : 512
Book Description
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Integration of Software Specification Techniques for Applications in Engineering
Author: Hartmut EhrigPublisher: Springer Science & Business Media
ISBN: 3540231358
Category : Computers
Languages : en
Pages : 638
Book Description
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
Formal Description Techniques and Protocol Specification, Testing and Verification
Author: Stan BudkowskiPublisher: Springer
ISBN: 0387353941
Category : Technology & Engineering
Languages : en
Pages : 462
Book Description
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Geometric Geodetic Accuracy Standards and Specifications for Using GPS Relative Positioning Techniques
Author: United States. Federal Geodetic Control CommitteePublisher:
ISBN:
Category : Geodesy
Languages : en
Pages : 60
Book Description
Chinese Standard. GB; GB/T; GBT; JB; JB/T; YY; HJ; NB; HG; QC; SL; SN; SH; JJF; JJG; CJ; TB; YD; YS; NY; FZ; JG; QB; SJ; SY; DL; AQ; CB; GY; JC; JR; JT
Author: https://www.chinesestandard.netPublisher: https://www.chinesestandard.net
ISBN:
Category : Law
Languages : en
Pages : 7263
Book Description
This document provides the comprehensive list of Chinese National Standards and Industry Standards (Total 17,000 standards).