DC Field | Value | Language |
---|---|---|
dc.contributor.author | Tonny, Kurniadi Satyananda | - |
dc.contributor.author | Lee, Danhyung | - |
dc.contributor.author | Kang, Sung-Won | - |
dc.date.accessioned | 2015-04-08T01:50:01Z | - |
dc.date.available | 2015-04-08T01:50:01Z | - |
dc.date.created | 2015-03-27 | - |
dc.date.issued | 2007-08-25 | - |
dc.identifier.citation | International Conference on Software Engineering Advances(ICSEA 2007) | - |
dc.identifier.uri | http://hdl.handle.net/10203/195416 | - |
dc.description.abstract | During software development process, software artifacts are produced. Consistency among these artifacts should be verified to ensure error-free product. In software product line development, consistency becomes more important because commonalities and variabilities increase the complexity of relationship among artifacts. In this paper, we present a formal approach to verification of consistency between feature model and component and connector view of software architecture. By utilizing prototype verification system (PVS), we introduce our model of feature description and architecture description, and illustrate the consistency verification approach using a digital watch product line example. | - |
dc.language | English | - |
dc.publisher | IEEE | - |
dc.title | Formal verification of consistency between feature model and software architecture in software product line | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.citation.publicationname | International Conference on Software Engineering Advances(ICSEA 2007) | - |
dc.identifier.conferencecountry | FR | - |
dc.identifier.conferencelocation | Cap Esterel | - |
dc.contributor.localauthor | Tonny, Kurniadi Satyananda | - |
dc.contributor.localauthor | Lee, Danhyung | - |
dc.contributor.localauthor | Kang, Sung-Won | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.