Travelled to:1 × Germany
1 × Spain
Collaborated with:J.Cuéllar M.Huber I.Wildgruber
Talks about:techniqu (1) prototyp (1) industri (1) languag (1) system (1) specif (1) effect (1) design (1) combin (1) assert (1)
Person: Dieter Barnard
DBLP: Barnard:Dieter
Contributed to:
1996
1994Wrote 2 papers:
- TACAS-1996-CuellarBH #agile #prototype #specification
- Rapid Prototyping for an Assertional Specification language (JC, DB, MH), pp. 402–406.
- FME-1994-CuellarWB #design #effectiveness #industrial #verification
- Combining the Design of Industrial Systems with Effective Verification Techniques (JC, IW, DB), pp. 639–658.