Egidio Astesiano;Alessandro Giovini;Gianna Reggio
Univ. of Genova, Italy;Univ. of Genova, Italy;Univ. of Genova, Italy
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering