PDF Download

Author:
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 7289

View

Book Description

Author: Rook
Publisher: Springer Science & Business Media
ISBN: 9781851664009
Category : Computers
Languages : en
Pages : 578

View

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.

Author: Shi Kuo Chang
Publisher: World Scientific
ISBN: 9810249748
Category : Computers
Languages : en
Pages : 807

View

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.

Author: Manfred Broy
Publisher: Springer
ISBN: 3540494391
Category : Computers
Languages : en
Pages : 358

View

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.

Author: United States. Federal Geodetic Control Committee
Publisher:
ISBN:
Category : Geodesy
Languages : en
Pages : 60

View

Book Description

Author: Hartmut Ehrig
Publisher: Springer Science & Business Media
ISBN: 3540231358
Category : Computers
Languages : en
Pages : 638

View

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.

Author: Hamido Fujita
Publisher: IOS Press
ISBN: 9781586036737
Category : Computers
Languages : en
Pages : 496

View

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.

Author: D. Hogrefe
Publisher: Springer
ISBN: 0387348786
Category : Technology & Engineering
Languages : en
Pages : 512

View

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.

Author:
Publisher:
ISBN:
Category :
Languages : en
Pages :

View

Book Description

Author: Joint FAO/WHO Expert Committee on Food Additives
Publisher: Food & Agriculture Org.
ISBN: 9789251029916
Category : Science
Languages : en
Pages : 330

View

Book Description