Travelled to:1 × Canada
1 × Sweden
Collaborated with:P.Neubauer M.Wimmer S.Gabmeyer P.Kaufmann M.Seidl
Talks about:model (2) composit (1) virtual (1) version (1) textual (1) support (1) specif (1) orient (1) extend (1) aspect (1)
Person: Robert Bill
DBLP: Bill:Robert
Contributed to:
20142017Wrote 2 papers:
- SLE-2014-BillGKS #model checking #ocl #specification
- Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
- SLE-2017-BillNW #composition #version control
- Virtual textual model composition for supporting versioning and aspect-orientation (RB, PN, MW), pp. 67–78.