Call for Papers
Details
Papers should be between 4 and 6 pages long in ACM format.
The electronic submission will be handled through Easychair.
The authors will be notified about acceptance before the early registration deadline.
The papers will be reviewed by at least three members of the program committee and the organization committee.
Topics
Contributions are expected in the following topics (but not limited to):
Formalisms for consistency checking management
Approaches for expressing and tolerating inconsistency
Surveys and comparative studies of consistency checking techniques
Open issues in consistency management research and practice
Applications of consistency checking at different stages of software development life cycle
Consistency checking in Model-Driven Development
Consistency checking in variable systems and product lines
Distinction between Detecting, Tracking, and Resolving Inconsistencies
Reasoning in the presence of inconsistency
Publication
Accepted papers will be published as a CEUR Workshop Proceeding .