![Logic / Abstraction / Propositional calculus / Syntax / Mathematics / Logic in computer science / Formal methods / Feature model / Semantics / Product family engineering / Software Product Lines Online Tools / Boolean algebra Logic / Abstraction / Propositional calculus / Syntax / Mathematics / Logic in computer science / Formal methods / Feature model / Semantics / Product family engineering / Software Product Lines Online Tools / Boolean algebra](https://www.pdfsearch.io/img/126052f7b16ccd7c959b7a421b5b1257.jpg) Date: 2011-06-11 06:47:51Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra | | Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, GermanyAdd to Reading ListSource URL: wwwiti.cs.uni-magdeburg.deDownload Document from Source Website File Size: 635,38 KBShare Document on Facebook
|