BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (2)
methodolog (2)
develop (1)
transform (1)
program (1)

Stem prospectra$ (all stems)

3 papers:

The PROSPECTRA System (BH, BKB), pp. 668–669.
FMVDME-1991-2-Krieg-BrucknerKLT #development
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development (BKB, EWK, JL, OT), pp. 363–397.
AdaCRAI-1986-Krieg-Bruckner #integration #verification
Integration of Program Construction and Verification: The PROSPECTRA Methodology (BKB), pp. 173–194.

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.