Displaying similar documents to “On models of finite direct products of theories”

Model Mining and Efficient Verification of Software Product Lines

Soleimanifard, Siavash, Gurov, Dilian, Schaefer, Ina, Østvold, Bjarte, Markov, Minko (2015)

Serdica Journal of Computing

Similarity:

Software product line modeling aims at capturing a set of software products in an economic yet meaningful way. We introduce a class of variability models that capture the sharing between the software artifacts forming the products of a software product line (SPL) in a hierarchical fashion, in terms of commonalities and orthogonalities. Such models are useful when analyzing and verifying all products of an SPL, since they provide a scheme for divide-and-conquer-style decomposition of...

[unknown]

Roman Kossak (1984)

Fundamenta Mathematicae

Similarity:

A viewpoint on amalgamation classes

Silvia Barbina, Domenico Zambella (2010)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.