An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Conceptual Modeling of Coincident Failures in Multiversion Software
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Understanding fault-tolerant distributed systems
Communications of the ACM
An Environment for Developing Fault-Tolerant Software
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tcl and the Tk toolkit
Using assertions in declarative and operational models for automated debugging
Journal of Systems and Software
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The Flux OSKit: a substrate for kernel and language research
Proceedings of the sixteenth ACM symposium on Operating systems principles
Version models for software configuration management
ACM Computing Surveys (CSUR)
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Application of Dynamic Reconfiguration in the Design of Fault Tolerant Production Systems
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Building Self-Reconfiguring Distributed Systems using Compensating Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Dynamic Configuration with CORBA Components
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A Dynamic Reconfiguration Service for CORBA
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
On the Role of Software Architectures in Runtime System Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Consistency in Dynamic Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Towards a Requirements-based Information Model for Configuration Management
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Design of self-checking software
Proceedings of the international conference on Reliable software
A model for Dynamic Configuration which Preserves Application Integrity
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
Maintaining Node Consistency in the Face of Dynamic Change
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
Using Application Specific Knowledge for Configuring Object Replicas
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
On-line Maintenance with On-the-fly Software Replacement
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
A Replication Protocol to Support Dynamically Configurable Groups of Servers
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
Assertions for the Tcl language
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Increasing the confidence in off-the-shelf components: a software connector-based approach
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Challenges of component-based development
Journal of Systems and Software
Architecture-Level Support for Software Component Deployment in Resource Constrained Environments
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Component Metadata for Software Engineering Tasks
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Supporting Rapid Prototyping through Frequent and Reliable Deployment of Evolving Components
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Dynamic Reconfiguration using AI Planning
Proceedings of the 19th IEEE international conference on Automated software engineering
Component evolution and versioning state of the art
ACM SIGSOFT Software Engineering Notes
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards a Framework for Differential Unit Testing of Object-Oriented Programs
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Deployment and dynamic reconfiguration planning for distributed software systems
Software Quality Control
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers
IEEE Transactions on Dependable and Secure Computing
Delta execution for software reliability
HotDep'07 Proceedings of the 3rd workshop on on Hot Topics in System Dependability
Efficient online validation with delta execution
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
ACM SIGSOFT Software Engineering Notes
WS-BPEL Extensions for Versioning
Information and Software Technology
WSDL and UDDI extensions for version support in web services
Journal of Systems and Software
Methodology evaluation framework for dynamic evolution in composition-based distributed applications
Journal of Systems and Software
Improving dependability of component-based systems via multi-versioning connectors
Architecting dependable systems
A fault-tolerant software architecture for component-based systems
Architecting dependable systems
A taxonomy of software architecture-based reliability efforts
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Version-consistent dynamic reconfiguration of component-based distributed systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Evaluating the impacts of dynamic reconfiguration on the QoS of running systems
Journal of Systems and Software
Dependable composite web services with components upgraded online
Architecting Dependable Systems III
Infrastructure for automatic dynamic deployment of J2EE applications in distributed environments
CD'05 Proceedings of the Third international working conference on Component Deployment
Compatible component upgrades through smart component swapping
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Exposing behavioral differences in cross-language API mapping relations
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Safe software updates via multi-version execution
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |