The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Divergent views in goal-driven requirements engineering
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Readings in Knowledge Representation
Readings in Knowledge Representation
Requirements and Specification Exemplars
Automated Software Engineering
Extending design environments to software architecture design
KBSE '96 Proceedings of The 11th Knowledge-Based Software Engineering Conference
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
WOSS '02 Proceedings of the first workshop on Self-healing systems
Requirements interaction management
ACM Computing Surveys (CSUR)
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
Proceedings of the 26th International Conference on Software Engineering
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Clinical requirements engineering
Proceedings of the 27th international conference on Software engineering
Towards requirements-driven autonomic systems design
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Requirements-driven design of autonomic application software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Digitally Evolving Models for Dynamically Adaptive Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Monitoring and diagnosing software requirements
Automated Software Engineering
Future directions for agent-based software engineering
International Journal of Agent-Oriented Software Engineering
Requirements Tracing to Support Change in Dynamically Adaptive Systems
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
An Architecture for Requirements-Driven Self-reconfiguration
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Steering of Discrete Event Systems: Control Theory Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements reflection: requirements as runtime entities
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
An approach for modeling dynamic analysis using ontologies
Proceedings of the Eighth International Workshop on Dynamic Analysis
Monitoring and analyzing service-based internet systems through a model-aware service environment
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
A monitoring approach for runtime service discovery
Automated Software Engineering
Engineering runtime requirements-monitoring systems using MDA technologies
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
System identification for adaptive software systems: a requirements engineering perspective
ER'11 Proceedings of the 30th international conference on Conceptual modeling
An approach to defining requirements for exceptions
Advanced Topics in Exception Handling Techniques
Dynamic self-control of autonomous agents
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Towards a requirements modeling language for self-adaptive systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Requirements monitoring for adaptive service-based applications
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
A requirements-based approach for the design of adaptive systems
Proceedings of the 34th International Conference on Software Engineering
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
A pattern-driven framework for monitoring security and dependability
TrustBus'07 Proceedings of the 4th international conference on Trust, Privacy and Security in Digital Business
Relaxing claims: coping with uncertainty while evaluating assumptions at run time
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Automatically RELAXing a goal model to cope with uncertainty
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
This paper considers the problem of runtime system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evolving conditions in this environment. We discuss an architecture and a development process for monitoring system requirements at runtime to reconcile the requirements and the system's runtime behavior.This process is deployed on three scenarios of requirements-execution reconciliation for the Meeting Scheduler system. The work builds on our previous work on goal-driven requirements engineering and on runtime requirements monitoring.