ICSE '91 Proceedings of the 13th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Rapid application of lightweight formal methods for consistency analyses
IEEE Transactions on Software Engineering
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
IEEE Transactions on Software Engineering
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
Managing Process Inconsistency Using Viewpoints
IEEE Transactions on Software Engineering
Measuring Process Consistency: Implications for Reducing Software Defects
IEEE Transactions on Software Engineering
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Eliciting coordination policies from requirements
Proceedings of the 2003 ACM symposium on Applied computing
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements
International Journal of Knowledge and Systems Science
| Hi-index | 0.00 |
In software engineering, there has long been a recognition that inconsistency is a fact of life. Evolving descriptions of software artefacts are frequently inconsistent, and tolerating this inconsistency is important if flexible collaborative working is to be supported. This workshop will focus on reasoning in the presence of inconsistency, for a wide range of software engineering activities, such as building and exploring requirements models, validating specifications, verifying correctness of implementations, monitoring runtime behaviour, and analyzing development processes. A particular interest is on how existing automated approaches such as model checking, theorem proving, logic programming, and model-based reasoning can still be applied in the presence of inconsistency.