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 × Italy
Collaborated with:
A.Giovini A.Capani E.Astesiano G.Reggio
Talks about:
implement (1) prototyp (1) toolset (1) concurr (1) algebra (1) system (1) specif (1) smolc (1) tool (1) set (1)

Person: Franco Morando

DBLP DBLP: Morando:Franco

Contributed to:

ALP 19921992
TAPSOFT CAAP/FASE 19951995

Wrote 2 papers:

ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification #tool support
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.
TAPSOFT-1995-AstesianoRM #tool support
The SMoLCS ToolSet (EA, GR, FM), pp. 801–802.

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.