BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zwiers:Job

Contributed to:

FME 19961996
CAV 19921992
VDM Europe 19901990
ICALP 19851985

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.