Out Paper Features meet Scenarios: Modeling and Consistency Checking Scenario-Based Product-Line Specifications was accepted for publication in the Requirements Engineering Journal.
Monthly Archives: March 2013
Paper accepted at SEAMS 2013
Our paper Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes was accepted at the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013).