Soft-Ware 2002: Computing in an Imperfect World
Title | Soft-Ware 2002: Computing in an Imperfect World PDF eBook |
Author | David Bustard |
Publisher | Springer |
Pages | 370 |
Release | 2003-08-01 |
Genre | Computers |
ISBN | 3540460195 |
This was the ?rst conference of a new series devoted to the e?ective handling of soft issues in the design, development, and operation of computing systems. The conference brought together contributors from a range of relevant disciplines, including arti?cial intelligence, information systems, software engineering, and systems engineering. The keynote speakers, Piero Bonissone, Ray Paul, Sir Tony Hoare, Michael Jackson, and Derek McAuley have interests and experience that collectively span all of these ?elds. Soft issues involve information or knowledge that is uncertain, incomplete, or contradictory. Examples of where such issues arise include: – requirements management and software quality control in software engine- ing, – con?ict or multiple sources information management in information systems, – decision making/prediction in business management systems, – quality control in networks and user services in telecommunications, – traditional human rationality modeling in arti?cial intelligence, – data analysis in machine learning and data mining, – control management in engineering. The concept of dealing with uncertainty became prominent in the arti?cial intel- gence community nearly 20 years ago, when researchers realized that addressing uncertainty was an essential part of representing and reasoning about human knowledge in intelligent systems. The main methodologies that have emerged in this area are soft computing and computational intelligence.
Trustworthy Global Computing
Title | Trustworthy Global Computing PDF eBook |
Author | Matteo Maffei |
Publisher | Springer |
Pages | 206 |
Release | 2014-12-22 |
Genre | Computers |
ISBN | 3662459175 |
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.
Model Checking Software
Title | Model Checking Software PDF eBook |
Author | |
Publisher | |
Pages | 284 |
Release | 2002 |
Genre | Computer software |
ISBN |
Reliable Software Technologies, Ada-Europe ...
Title | Reliable Software Technologies, Ada-Europe ... PDF eBook |
Author | |
Publisher | |
Pages | 396 |
Release | 2002 |
Genre | Ada (Computer program language) |
ISBN |
Software Architecture
Title | Software Architecture PDF eBook |
Author | Ivica Crnkovic |
Publisher | Springer Science & Business Media |
Pages | 462 |
Release | 2011-09-09 |
Genre | Computers |
ISBN | 3642237975 |
This book constitutes the refereed proceedings of the 5th European Conference on Software Architecture, ECSA 2011, held in Essen, Germany, in September 2011. The 13 revised full papers presented together with 24 emerging research papers, and 7 research challenge poster papers were carefully reviewed and selected from over 100 submissions. The papers are organized in topical sections on requirements and software architectures; software architecture, components, and compositions; quality attributes and software architectures; software product line architectures; architectural models, patterns and styles; short papers; process and management of architectural decisions; software architecture run-time aspects; ADLs and metamodels; and services and software architectures.
Infonomics for Distributed Business and Decision-Making Environments: Creating Information System Ecology
Title | Infonomics for Distributed Business and Decision-Making Environments: Creating Information System Ecology PDF eBook |
Author | Pankowska, Malgorzata |
Publisher | IGI Global |
Pages | 390 |
Release | 2009-10-31 |
Genre | Computers |
ISBN | 1605668915 |
Provides a greater understanding of issues, challenges, trends, and technologies effecting the overall utilization and management of information in modern organizations around the world.
Agile Software Development Quality Assurance
Title | Agile Software Development Quality Assurance PDF eBook |
Author | Stamelos, Ioannis G. |
Publisher | IGI Global |
Pages | 266 |
Release | 2007-02-28 |
Genre | Computers |
ISBN | 1599042185 |
"This book provides the research and instruction used to develop and implement software quickly, in small iteration cycles, and in close cooperation with the customer in an adaptive way, making it possible to react to changes set by the constant changing business environment. It presents four values explaining extreme programming (XP), the most widely adopted agile methodology"--Provided by publisher.