2 papers
cs.SE2016
Multiset Theories of Cardinality-based Feature Diagrams
Aliakbar Safilian, Tom Maibaum
Software product line engineering is a very common method for designing complex software systems. Feature modeling is the most common approach to specify product lines. The main pa…
cs.LO2014
Automated Reasoning over Deontic Action Logics with Finite Vocabularies
Pablo F. Castro, Thomas S. E. Maibaum
In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of ac…