Download or read book Fault Tree Analysis written by and published by . This book was released on 2000 with total page 110 pages. Available in PDF, EPUB and Kindle. Book excerpt: Contains references to documents in the NASA Scientific and Technical Information (STI) Database.
Download or read book Automated Theorem Proving in Software Engineering written by Johann M. Schumann and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.
Download or read book 11th National Computer Security Conference written by and published by . This book was released on 1988 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Automated Software Testing written by Elfriede Dustin and published by Addison-Wesley Professional. This book was released on 1999 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt: A guide to the various tools, techniques, and methods available for automated testing of software under development. Using case studies of successful industry implementations, the book describes incorporation of automated testing into the development process. In particular, the authors focus on the Automated Test Lifecycle Methodology, a structured process for designing and executing testing that parallels the Rapid Application Development methodology commonly used. Annotation copyrighted by Book News, Inc., Portland, OR
Download or read book Advancing Automation and Robotics Technology for the Space Station Freedom and for the US Economy written by United States. National Aeronautics and Space Administration. Advanced Technology Advisory Committee and published by . This book was released on 1990 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Automatic Control in Aerospace 1989 written by T. Nishimura and published by Elsevier. This book was released on 2014-05-23 with total page 299 pages. Available in PDF, EPUB and Kindle. Book excerpt: The papers presented at the Symposium covered the areas in aerospace technology where automatic control plays a vital role. These included navigation and guidance, space robotics, flight management systems and satellite orbital control systems. The information provided reflects the recent developments and technical advances in the application of automatic control in space technology.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1989 with total page 1148 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NBS Special Publication written by and published by . This book was released on 1968 with total page 476 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Management written by and published by . This book was released on 1983 with total page 792 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Management a Bibliography for NASA Managers written by and published by . This book was released on 1985 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computer Safety Reliability and Security written by Maritta Heisel and published by Springer. This book was released on 2004-10-29 with total page 349 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.
Download or read book NASA SP 7500 written by United States. National Aeronautics and Space Administration and published by . This book was released on 1986 with total page 752 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Machine Learning Applications in Software Engineering written by Du Zhang and published by World Scientific. This book was released on 2005 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: A collection of previously published articles from a variety of publications.
Download or read book Automated and Algorithmic Debugging written by Peter A. Fritzson and published by Springer Science & Business Media. This book was released on 1993-11-10 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.
Download or read book Encyclopedia of Software Engineering Three Volume Set Print written by Phillip A. Laplante and published by CRC Press. This book was released on 2010-11-22 with total page 1872 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]
Download or read book Logic Programming and Automated Reasoning written by Andrei Voronkov and published by Springer Science & Business Media. This book was released on 1993-06-29 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".
Download or read book Component Based Software Engineering written by Lars Grunske and published by Springer. This book was released on 2010-06-14 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a broad interest, CBSE 2010 received 48 submissions. From these submissions, 14 were accepted after a careful peer-review process followed by an online program committee discussion. This resulted in an acceptance rate of 29%. The selected technical papers are published in this volume. For the fourth time, CBSE 2010 was held as part of the conference series: Fed- ated Events on Component-Based Software Engineering and Software Archit- ture (COMPARCH). The federated events were: the 13th International S- posium on Component-Based Software Engineering (CBSE 2010), the 6th - ternational Conference on the Quality of Software Architectures (QoSA 2010), andthe1stInternationalSymposium onArchitecting CriticalSystems(ISARCS 2010). Together with COMPARCH’s Industrial Experience Report Track and the co-located Workshop on Component-Oriented Programming (WCOP 2010), COMPARCH provided a broad spectrum of events related to components and architectures.
