Feature-oriented contract composition

•Contract refinement in feature-oriented contract composition is seldom but crucial.•The Liskov substitution principle does not apply to features.•To handle the refinement of frames, techniques from OOP are sufficient. A software product line comprises a set of products that share a common code base...

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of systems and software Ročník 152; s. 83 - 107
Hlavní autoři:	Thüm, Thomas, Knüppel, Alexander, Krüger, Stefan, Bolle, Stefanie, Schaefer, Ina
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.06.2019
Témata:	Deductive verification Design by contract Feature-oriented programming Formal methods Software product lines Deductive verification Software product lines Design by contract Formal methods Feature-oriented programming
ISSN:	0164-1212, 1873-1228
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!