Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

4
72
0

Year Published

2017
2017
2019
2019

Publication Types

Select...
7
1

Relationship

2
6

Authors

Journals

citations
Cited by 25 publications
(76 citation statements)
references
References 12 publications
4
72
0
Order By: Relevance
“…6. If super type is nested, then it must be nested under super type of parent: for all clafers 7. cmult: C → 2 maps clafers to multiplicity constraints and cmult(Sing)={1}, 8. gcard: C → 2 is a total mapping to group cardinality constraints; gcard(Sing)= , 9.…”
Section: Definition 1 (Clafer Model)mentioning
confidence: 99%
See 1 more Smart Citation
“…6. If super type is nested, then it must be nested under super type of parent: for all clafers 7. cmult: C → 2 maps clafers to multiplicity constraints and cmult(Sing)={1}, 8. gcard: C → 2 is a total mapping to group cardinality constraints; gcard(Sing)= , 9.…”
Section: Definition 1 (Clafer Model)mentioning
confidence: 99%
“…For an expression x, one x means that the set specified by x must be a singleton; lone x means that the set yield by x must be empty or a singleton; some x means that the set yield by x must not be empty; no x means that the set yield by x must be empty. 7. When a clafer name is used in an expression, in a position where a Boolean is expected, it is automatically cast to Boolean using the some quantifier.…”
mentioning
confidence: 99%
“…Like our FTS-based proposals [19,20], the CCS-based proposals PL-CCS [2,10] and DeltaCCS [12] are grounded in the μ-calculus. In [26], PL-CCS was proven to be less expressive (in terms of the sets of definable products) than FTSs, while DeltaCCS allows only limited familybased model checking (viz. verifying family-wide invariants for entire SPLs).…”
Section: Contributionsmentioning
confidence: 99%
“…There have been several proposals for the behavioural modelling of SPLs in the literature; we refer to [7,12,29] for recent surveys and Thüm et al's recent survey [33] for a classification of different SPL analysis techniques. A number of behavioural models proposed in the literature, e.g., these in [22,1,10] are based on Finite State Machines or Labeled Transition Systems.…”
Section: Related Workmentioning
confidence: 99%