Executable specifications with data-flow diagrams

Authors:
Alfonso Fuggetta;Carlo Ghezzi;Dino Mandrioli;Angelo Morzenti
Affiliations:
-;-;-;-
Venue:
Software—Practice & Experience
Year:
1993

Citing 0
Cited 3

Assessing process-centered software engineering environments

ACM Transactions on Software Engineering and Methodology (TOSEM)
From formal models to formally based methods: an industrial experience

ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract