Travelled to:1 × France
1 × Germany
1 × Italy
Collaborated with:M.Soeken R.Drechsler R.Wille M.Diepenbeck D.Große U.Kühne H.M.Le
Talks about:specif (2) ocl (2) determin (1) element (1) develop (1) coverag (1) complet (1) invari (1) driven (1) verif (1)
Person: Julia Seiter
DBLP: Seiter:Julia
Contributed to:
2015
2013
2012Wrote 3 papers:
- TAP-2015-SoekenSD #invariant #ocl #specification
- Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.
- DATE-2013-SeiterWSD #ocl #specification #uml #verification
- Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.
- ICGT-2012-DrechslerDGKLSSW #development
- Completeness-Driven Development (RD, MD, DG, UK, HML, JS, MS, RW), pp. 38–50.