Modeling the ADA task system by Petri nets
Computer Languages
Program evolution: processes of software change
Program evolution: processes of software change
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experimenting with dynamic linking with Ada
Software—Practice & Experience
Is Type Checking Practical for System Configuration?
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
A declarative framework for adaptable applications in heterogeneous environments
Proceedings of the 2004 ACM symposium on Applied computing
A distributed KAPSE architecture
ACM SIGAda Ada Letters
A Systems-Theoretic Approach to Safety in Software-Intensive Systems
IEEE Transactions on Dependable and Secure Computing
Quantitative resource-oriented analysis of Java (Adaptable) applications
WOSP '07 Proceedings of the 6th international workshop on Software and performance
On the criteria to be used in decomposing systems into modules
Classics in software engineering
Dynamo and Self-Healing BPEL Compositions
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Software of the future is the future of software?
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Foundations of security analysis and design IV
Towards a task-oriented, policy-driven business requirements specification for web services
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Building your own software model checker using the bogor extensible model checking framework
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
Feature oriented evolutions for context-aware adaptive systems
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
A software lifecycle process for context-aware adaptive systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Hi-index | 0.00 |
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving software that is both dynamically evolvable and dependable is our long-term research goal. We do not attempt here to propose a unified solution to dissolve the apparent oximoron, i.e. to reconcile these apparently conflicting goals. Rather, we enlighten different facets of the problem by distilling our experience through three research experience reports. We discuss the lessons learned from the state of the art and practice exemplified by our approaches and outline the directions of possible future research.