Author : John Fox
Publisher : AAAI Press
Page : 340 pages
File Size : 47,18 MB
Release : 2000
Category : Computers
ISBN :
"Fox and Das insist that the same intelligence (artificial and human) must be applied to guaranteeing safety as to assuring acceptable task performance. Medicine is an excellent field for application of this approach, but it also serves as an example for the entire field of design, where issues of safety are never absent."--BOOK JACKET.
Author : Béatrix Barafort
Publisher : Springer
Page : 348 pages
File Size : 20,53 MB
Release : 2014-06-12
Category : Business & Economics
ISBN : 3662438968
This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014. The 18 revised papers presented together with 11 invited papers in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and very small entities; process improvement frameworks; testing and improvement issues; SPI and people issues; SPI and quality issues; software processes in various contexts. The volume also contains selected keynote papers from EuroSPI workshops and invited papers covering the topic of creating environments supporting innovation and improvement.
Author : Jan Jürjens
Publisher : Springer
Page : 245 pages
File Size : 50,35 MB
Release : 2014-02-18
Category : Computers
ISBN : 331904897X
This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.
Author :
Publisher :
Page : 652 pages
File Size : 45,51 MB
Release : 1994
Category : Aeronautics
ISBN :
Author : United States. Columbia Accident Investigation Board
Publisher :
Page : 252 pages
File Size : 23,15 MB
Release : 2003
Category : Government publications
ISBN :
Author : Alessandra Russo
Publisher : Springer
Page : 361 pages
File Size : 25,4 MB
Release : 2018-04-11
Category : Computers
ISBN : 3319893637
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Author :
Publisher :
Page : 72 pages
File Size : 23,69 MB
Release : 1982-10-04
Category :
ISBN :
InfoWorld is targeted to Senior IT professionals. Content is segmented into Channels and Topic Centers. InfoWorld also celebrates people, companies, and projects.
Author : Awais Rashid
Publisher : Springer
Page : 200 pages
File Size : 17,65 MB
Release : 2007-11-25
Category : Computers
ISBN : 3540770429
The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The papers, which focus on mapping of early aspects across the software lifecycle, and aspects and software evolution, have passed through a careful peer reviewing process.
Author : Francesca Saglietti
Publisher : Springer Science & Business Media
Page : 561 pages
File Size : 16,59 MB
Release : 2007-09-12
Category : Computers
ISBN : 3540751009
This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007. The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures.
Author : United States. Congress. House. Committee on Financial Services
Publisher :
Page : 164 pages
File Size : 30,55 MB
Release : 2004
Category : Business & Economics
ISBN :
