Travelled to:1 × Canada
1 × Greece
1 × United Kingdom
Collaborated with:W.P.d.Roever M.Poel ∅ P.v.E.Boas U.Hannemann Y.Lakhnech F.A.Stomp
Talks about:develop (2) complet (2) proofsystem (1) techniqu (1) parallel (1) composit (1) specifi (1) softwar (1) program (1) process (1)
Person: Job Zwiers
DBLP: Zwiers:Job
Contributed to:
1996
1992
1990
1985Wrote 4 papers:
- FME-1996-ZwiersHLRS #composition #development #reuse #top-down #using
- Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.
- CAV-1992-PoelZ #development #parallel
- Layering Techniques for Development of Parallel Systems (MP, JZ), pp. 16–29.
- VDME-1990-Zwiers #process
- Refining Data to Processes (JZ), pp. 352–369.
- ICALP-1985-ZwiersRB #composition #concurrent #network
- Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem (JZ, WPdR, PvEB), pp. 509–519.