46 citations · 47 across the 5 of their papers we have counts for
Showing 2012 · cs.SEShow all
2 papers · 2 filters
cs.SE2012★ 1 cited
Compositional Verification of Evolving Software Product Lines
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna +1
This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finit…
cs.SE2012
Formalizing Traceability and Derivability in Software Product Lines
Shankara Narayanan Krishna, Ganesh Narwane, Ramesh S. +2
In the literature, the definition of product in a Software Product Line (SPL) is based upon the notion of consistency of the constraints, imposed by variability and traceability re…