› › Independent Verification Of Specification Models For Large Software Systems At The Early Phases Of Development Lifecycle

Independent Verification and Validation

Author : Robert O. Lewis

Publisher : John Wiley & Sons

Page : 388 pages

File Size : 26,48 MB

Release : 1992-11-11

Category : Computers

ISBN : 9780471570110

Get eBook

Book Description

Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems. Features numerous hints, tips and instructions for better interaction between verification and validation personnel, development engineers and managers. Includes 8 case histories ranging from major engineering systems through information systems. Many of the principles involved also apply to computer hardware as well as the fields of science and engineering.



Problem-Solving Methods

Author : Dieter Fensel

Publisher : Springer

Page : 161 pages

File Size : 38,36 MB

Release : 2003-05-15

Category : Computers

ISBN : 3540449361

Get eBook

Book Description

Researchers in Artificial Intelligence have traditionally been classified into two categories: the “neaties” and the “scruffies”. According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are hidden in their implementation, if they exist at all. As a life-long, non-card-carrying scruffy, I was naturally a bit suspicious when I first started collaborating with Dieter Fensel, whose work bears all the formal hallmarks of a true neaty. Even more alarming, his primary research goal was to provide sound, formal foundations to the area of knowledge-based systems, a traditional stronghold of the scruffies - one of whom had famously declared it “an art”, thus attempting to place it outside the range of the neaties (and to a large extent succeeding in doing so).





Software Development

Author : Marc Hamilton

Publisher : Prentice Hall Professional

Page : 396 pages

File Size : 12,82 MB

Release : 1999

Category : Computers

ISBN : 9780130812469

Get eBook

Book Description

80% of software projects fail--here's why the other 20% succeed! Software Development is the most thorough, realistic guide to "what works" in software development--and how to make it happen in your organization. Leading consultant Marc Hamilton tackles all three key components of successful development: people, processes, and technology. From streamlining infrastructures to retraining programmers, choosing tools to implementing service-level agreements, Hamilton unifies all of today's best practices--in management, architecture, and software engineering. There's never been a more comprehensive blueprint for software success. Discover "The Ten Commandments of Software Development" Build a winning software development team, organize it for success - and retain your best talent Create a software architecture that maps to business goals and serves as a foundation for successful development Define processes that streamline component and Web-based development projects Leverage the advantages of object-oriented techniques throughout the entire lifecycle Make the most of Java, JavaBeans, and Jini technology Learn the best ways to measure software quality and productivity--and improve them Software Development is ruthlessly realistic and remarkably accessible--for managers and technical professionals alike. Best of all, its techniques can be applied to any project or organization, large or small. Ready to build software that meets all its goals? This book will get you there.



Engineering Interactive Systems

Author : Jan Gulliksen

Publisher : Springer Science & Business Media

Page : 649 pages

File Size : 29,15 MB

Release : 2008-12-18

Category : Computers

ISBN : 3540926976

Get eBook

Book Description

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human–computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: • HCSE 2007 – Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. • EHCI 2007 – Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. • DSV-IS 2007 – Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories.





Designing Software-Intensive Systems: Methods and Principles

Author : Tiako, Pierre F.

Publisher : IGI Global

Page : 582 pages

File Size : 48,39 MB

Release : 2008-07-31

Category : Computers

ISBN : 1599047012

Get eBook

Book Description

"This book addresses the complex issues associated with software engineering environment capabilities for designing real-time embedded software systems"--Provided by publisher.



Formal Methods Applied to Complex Systems

Author : Jean-Louis Boulanger

Publisher : John Wiley & Sons

Page : 353 pages

File Size : 13,62 MB

Release : 2014-07-22

Category : Computers

ISBN : 1119002923

Get eBook

Book Description

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).



Strategic Defense Initiative

Author : Office of the Technology Assessment

Publisher : Princeton University Press

Page : 296 pages

File Size : 15,36 MB

Release : 2014-07-14

Category : Political Science

ISBN : 1400858879

Get eBook

Book Description

Strategic Defense Initiative examines developments in the technologies currently being researched under SDI. The OTA does not repeat the work of its earlier reports but gives special attention to filling in gaps in those reports and to describing technical progress made in the intervening period. The report also presents information on the prospects for functional survival against preemptive attack of alternative ballistic missile defense system architectures now being considered under the SDI. Finally, it analyzes the feasibility of developing reliable software to perform the battle management tasks required by such system architectures. Originally published in 1988. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.



Enterprise Information Systems

Author : Joaquim Filipe

Publisher : Springer Nature

Page : 932 pages

File Size : 30,58 MB

Release : 2021-04-30

Category : Computers

ISBN : 3030754189

Get eBook

Book Description

This book constitutes extended, revised and selected papers from the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, held online during May 5-7, 2020. The 41 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 255 submissions. They were organized in topical sections as follows: database and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; software agents and internet computing; human-computer interaction; and enterprise architecture.