Program evolution: processes of software change
Program evolution: processes of software change
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Software product lines: practices and patterns
Software product lines: practices and patterns
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
PRISM 2.0: A Tool for Probabilistic Model Checking
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Dynamic Software Product Lines
Computer
Quality Prediction of Service Compositions through Probabilistic Model Checking
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
On exploiting decentralized bio-inspired self-organization algorithms to develop real systems
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A model of large program development
IBM Systems Journal
Reasoning on Non-Functional Requirements for Integrated Services
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Programming language support to context-aware adaptation: a case-study with Erlang
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
The Internet of Things: A survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
A Tile-Based Approach for Self-Assembling Service Compositions
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Programming wireless sensor networks: Fundamental concepts and state of the art
ACM Computing Surveys (CSUR)
A3: self-adaptation capabilities through groups and coordination
Proceedings of the 4th India Software Engineering Conference
Self-Supervising BPEL Processes
IEEE Transactions on Software Engineering
Architectural issues of adaptive pervasive systems
Graph transformations and model-driven engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
A declarative approach to enable flexible and dynamic service compositions
Proceedings of the 33rd International Conference on Software Engineering
High performance content-based matching using GPUs
Proceedings of the 5th ACM international conference on Distributed event-based system
QVTR2: a rational and performance-aware extension to the relations language
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
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
Towards quality driven exploration of model transformation spaces
Proceedings of the 14th international conference on Model driven engineering languages and systems
Automatic cross validation of multiple specifications: a case study
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Context-oriented programming: A software engineering perspective
Journal of Systems and Software
Hi-index | 0.00 |
This article provides an overall view of the research that has been done in the context of self-managing software within the SMScom project. We start by the motivations that inspired the research, and then we focus on a reference framework that explains its conceptual underpinnings and on the paradigm shift it calls for in the way we currently engineer software. Next we focus on some specific research results achieved at the architecture and verification support level.