الصفحة 1
الصفحة 1
Verified Software: Theories, Tools, Experiments ; 1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.
The Maintenance Management Framework : Models and Methods for Complex Systems Maintenance
The Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management of complex systems; concentrating specifically on modern modelling tools (deterministic and empirical) for maintenance planning and scheduling. It presents a new perspective of maintenance management by: focusing on the course of maintenance actions; presenting a structure that ensures proper support for current maintenance managers; clarifying the functionality that is required from information technology when applied to maintenance and the functions of modern maintenance engineering; and creating a set of practical models for maintenance management planning and scheduling. The discussion of all of these issues is supported through the use of case studies.
Tests and Proofs ; 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Structure for Dependability : Computer-Based Systems from an Interdisciplinary Perspective
Breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based systems include hardware, software and people. Achieving dependability for such systems requires an interdisciplinary approach. In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, computer scientists, sociologists, statisticians and psychologists bring together their latest research on the structure of dependable computer-based systems. The result is a highly readable overview of ways to achieve dependability in large computer-based systems with practical advice on designing dependable systems. This book is one of the outcomes of a six year Interdisciplinary Research Collaboration. Topics covered include fault tolerance, system evolution, determining software specifications, HCI, architecture, certification, dependability arguments, organisations, diagrams, time and procedures.
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing events. Stochastic discrete-event systems (SDES) capture the randomness in choices and over time due to activity delays and the probabilities of decisions. The starting point for the evaluation of quantitative issues like performance and dependability is a formal description of the system of interest in a model. An abstract model class for SDES is presented as a pivotal unifying result. Several important model classes, including queuing networks, Petri nets and automata, are detailed together with their formal translation into this abstract model class. Standard and recently developed algorithms for the performance evaluation, optimization and control of SDES are presented in the context of the abstract model class. The necessary software tool support is also covered. The book is completed with nontrivial examples from areas like manufacturing control, performance of communication systems, and supply-chain management, highlighting the application of the techniques presented.
Stabilization, Safety, and Security of Distributed Systems ; 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
Contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, 2006. Proceedings symposium has been the main forum for presentation of research results in the area of self-* for 17 years. This year,we extended the scope of the symposium to cover all safety and - curity related aspects of self-* systems. The title of the symposium was changed to the International Symposium on Stabilization, Safety, and Security of D- tributed Systems (SSS) to re?ect this expansion.
Software Process Modeling
Software Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses their personal view of this field. This book focuses on new aspects of software process modeling. Specifically, it deals with socio-technological aspects, process modeling for new development types (open source software, dependability applications, etc.) and organization change management. The computer audience is placing growing demands on the software industry today. They are looking for more complex products that are, at the same time, easier to use. Software developer organizations are expected to produce higher quality products and deliver them to the public faster. In so doing, however, globally distributed development teams have to cope with understaffing and changing technologies. The challenges for the software industry are apparently mounting.
Software Engineering for Multi-Agent Systems V ; Research Issues and Practical Applications ; Conference proceedings
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. Agent concepts hold great promise for responding to the new realities of large-scale distributed systems. Multi-agent systems (MASs) and their underlying theories provide a more natural support for ensuring important agent properties, such as autonomy, environment heterogeneity, organization and openness. Nevertheless, a software agent is an inherently more complex abstraction, posing new challenges to software engineering. Without adequate development te- niques and methods, MASs will not be sufficiently dependable, thus making their wide adoption by the industry more difficult. The dependability of a computing system is its ability to deliver a service that can be justifiably trusted.
Software engineering for multi-agent systems III : Research issues and practical applications
Presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications. The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination.
Service Availability ; Vol. 4328 ; 3rd International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ISAS 2006, held in Helsinki, Finland, in May 2006. The 19 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on availability modeling, estimation and analysis, dependability techniques and their applications, performability: measurements and assessments, service availability standards: experience reports and futures.
Service Availability ; 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability platform, and service dependability analysis.
Security in ad-hoc and sensor networks ; 1st European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers
Ad hoc and sensor networks are making their way from research to real-world deployments. Body and personal-area networks, intelligent homes, environmental monitoring or inter-vehicle communications: there is almost nothing left that is not going to be smart and networked. While a great amount of research has been devoted to the pure networking aspects, ad hoc and sensor networks will not be successfully deployed if security, dependability, and privacy issues are not addressed adequately.
Scientific engineering of distributed Java applications ; 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
The scope of the workshop included the following topics: – design of distributed applications – development methodologies for software and system engineering – UML-based development methodologies – development of reliable and secure distributed systems – component-based development methodologies – dependability support during system life cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling in system development – software architectures, frameworks and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modelling notation and techniques (e. g. , UML, metamodelling) – supporting the security and dependability requirements of distributed app- cations in the development process – distributed software inspection – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.
Reversible Computation : Extending Horizons of Computing: Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.
Responsibility and Dependable Systems
Responsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. Both editors have backgrounds in computing and social science giving them a unique insight into how responsibility influences system dependability in different environments.
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Model Driven Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
International law ; 9th ed.
Intended for all interested in international law, ranging from undergraduate students, who will appreciate the accessible and engaging style to professional lawyers and others requiring authority, dependability and extensive referencing to facilitate additional research.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
