Travelled to:1 × Brazil
1 × China
1 × France
1 × United Kingdom
3 × USA
Collaborated with:P.Chalin F.Khendek P.Forbrig B.Bomsdorf K.Torkzadeh H.Javahery M.Gower M.Wurdel T.Radhakrishnan
Talks about:model (6) case (4) use (3) interfac (2) pattern (2) semant (2) requir (2) user (2) task (2) transact (1)
Person: Daniel Sinnig
DBLP: Sinnig:Daniel
Contributed to:
2011
20102009
200920082007
2007Wrote 7 papers:
- HCI-DDA-2011-JavaheryGSF #design
- Patterns for Usable Accessible Design (HJ, MG, DS, PF), pp. 248–257.
- ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface
- A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
- HCI-NT-2009-BomsdorfS #modelling #requirements #specification #user interface #validation
- Model-Based Specification and Validation of User Interface Requirements (BB, DS), pp. 587–596.
- SAC-2009-SinnigCK #automaton #case study #lts #modelling #semantics
- LTS semantics for use case models (DS, PC, FK), pp. 365–370.
- SAC-2008-ChalinST #case study #modelling #requirements #transaction
- Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.
- HCI-IDU-2007-WurdelFRS
- Patterns for Task- and Dialog-Modeling (MW, PF, TR, DS), pp. 1226–1235.
- IFM-2007-SinnigCK #case study #modelling #semantics
- Common Semantics for Use Cases and Task Models (DS, PC, FK), pp. 579–598.