Visual presentation of software specifications and designs

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 115-124

  Roman, Gruia Catalin ^a   Hart, Delbert ^a   Calkins, Charles ^a  

^a WASHINGTON UNIVERSITY   (United States)

Author keywords

design techniques; formal methods; program derivation; program visualization

Indexed keywords

DESIGN; FORMAL METHODS; VISUAL COMMUNICATION; VISUALIZATION;

DESIGN METHODOLOGY; DESIGN TECHNIQUE; PROGRAM DERIVATION; PROGRAM PROPERTIES; PROGRAM VISUALIZATION; SOFTWARE SPECIFICATION; STATE-OF-THE-ART APPROACH; VISUAL PRESENTATION;

FORMAL SPECIFICATION;

EID: 84949204990     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501153     Document Type: Conference Paper

References (12)

1. Back, R. J. R., and Sere, K., "Stepwise Refinement of Parallel Algorithms," Science of Computer Programming, vol. 13. no. 2-3. pp. 133-180. 1990.
2. Carriero, N., and Gelemter, D., "Linda in Context," Communications of the ACM, vol. 32, no. 4, pp. 444 458.1989.
3. Cbaudy, K. M., and Misra, J. Parallel Program Des& z: A FounaWon, Addison-Wesley, New York, NY, 1988.
4. Creveuil, C., and Roman G.-C., "Formal Specification and Design of a Message Router," ACM Transactions on Software Engineering and Methodology, vol. 3, no. 4, pp. 271-307. 1994.
5. Cuuniugharu, H. C., and Roman, G.-C., "A UNITYStyle Progr amming Logic for a Shared Dataspace Language," IEEE Transactions on Parallel and Distributed System, vol. 1. no. 3, pp. 365-376, 1990.
6. Price, B. A., Baecker, R. M., and Small, I. S. "A Principled Taxonomy of Software Visualiiation," Journal ofvisualLmguages and computing, vol. 4, pp. 21l-266, 1993.
7. Roman, G.-C., Cox. K. C., Wilcox, C. D. and Phm, J. Y., "Pavane: ASystemfor Declarative Visualizationof Concurrent Computations," Journal of Visual Lmguages and Gnnputing, vol. 3. no. 1, pp. 161-193, 1992.
8. Roman G.-C., and Cunningham, H. C. "Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency," IEEE Transactions on Sofhvare Engineering, vol. 16, no. 12, pp. 1361-1373, 1990.
9. Roman, G.-C., and Cunningham, H. C., "Reasoning about Synchronic Groups," in Research Directions in High-Level Parallel Programming Languages, J. P. Ban%re, D. L. Metayer, Eds. Springer-Verlag, New York, NY, vol. 574, pp. 21-38.1992.
10. Roman G.-C., Gamble, R. F., and B all, W. E., "Formal Derivation of Rule-Based Programs," IEEE Twzsactiotw on Software Engineering, vol. 19, no. 3, pp. 227-296,1993.
11. Roman G.-C., and Wilcox, C. D., "Architecture-Directed Refmement," IEEE Transactions on Software Engineering, vol. 20, no. 4, pp. 239-258.1994.
12. Roman G. C. and Cox. K., "ATaxonomy of Program Visualization Systems,"IEEE Computer, vol. 26, no. 12, pp. ll-24,1993.