Travelled to:
1 × Finland
Collaborated with:
C.Peter ∅ M.Lackner A.Krall
Talks about:
changeabl (1) interfac (1) contract (1) support (1) express (1) coordin (1) concurr (1) requir (1) promis (1) object (1)
Person: Franz Puntigam
DBLP: Puntigam:Franz
Contributed to:
Wrote 3 papers:
- TOOLS-USA-2002-LacknerKP #contract #design #java
- Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.
- SAC-1999-PuntigamP #component #concurrent #interface
- Changeable Interfaces and Promised Messages for Concurrent Components (FP, CP), pp. 141–145.
- ECOOP-1997-Puntigam #coordination #requirements
- Coordination Requirements Expressed in Types for Active Objects (FP), pp. 367–388.