A formal framework for specifying design methods

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 1, Issue , 1996, Pages 741-750

  D'Inverno, Mark ^a   Ribeiro Justo, G R ^a   Howells, Paul ^a  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS SCIENCE;

DESIGN METHOD; FORMAL FRAMEWORK; GENERIC COMPONENTS; HIGH PERFORMANCE SYSTEMS; SOFTWARE DESIGN METHODOLOGIES; SOFTWARE PROCESS;

SOFTWARE DESIGN;

EID: 85067786507     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.1996.495528     Document Type: Conference Paper

References (27)

1. D. E Bacon, S. L. Graham, and 0. J. Sharp. Compiler transformations for high-performance computing. ACM Computing Surveys, 26(4):345420, December 1994.
2. B. I. Blum. A taxonomy of software development methods. Communications of ACM, 37(11):82-94, November 1994.
3. R. Conradi,C. Fernstrom, and A. Fuggetta. A conceptual framework for evolvingsoftwareprocesses.ACM SIGSOFT:SoftwareEngineeringNotes, 18(4):26-35, October 1993.
4. I Dauphin. Combining functional and performance debugging of parallel and distributed systems based on model-driven monitoring.In 2nd Euromicro Workshop on Parallel and Distributed Processing, pages 463- 470. IEEE Computer Society Press, 1994.
5. A. M. Davis, E. H. Bersoff, and E. R. Comer. 4 strategy for comparing alternativesoftwarelife cycle models. IEEE Somare, 14(10):1453-1461, October 1988.
6. M d’Inverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991.
7. M. d’Invernoand M. Priestley. Structuringa Z speci-ficationto providea unifyingframeworkfor hypertext systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM’95: 9th International Conference of Z Users, Lecture Notes in Computer Science, pages 81-102, Heidelberg, Springer-Verlag, 1995.
8. A. Ferscha and J. Johnson. N-MAP: A virtual processor discrete event simulationtool for performance prediction in the CAPSE environment. In 28th An-nualHawaiiInternationalConferenceonSystemsSci-ences,pages 276-285. IEEE Computer SocietyPress, 1995.
9. D. Harel. On visual formalisms. Communicationsof ACM, 31(5):514-530, May 1988.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
11. P, Howells, S. Goldsack, and B. Quirk. Designing from Modal Action Logic (MAL). Technical report, FOREST Project, Imperial College of Science & Technology, 1988.
12. Inmos. Occam2: ToolsetUserManual-Part I (User Guideand Tools),1991.
13. L. H. Jamieson. Characterizing parallel algorithms. In L.H. Jamieson, D. Gannon, and R. J. Douglas, editors, The characteristics of Parallel Algorithms, pages 65-100. The MIT Press, 1987.
14. I. Jelly and I. Gorton. Software engineering for parallel systems. Information and Software Technology, 36(7):379-380,1994.
15. G. R. R. Justo. A graphical approach to performance-oriented development of parallel programs. In Second InternutionalConferenceonHighPelformunce Computing. Tata McGraw Hill, 1995.
16. G. R. R. Justo. A rigorous method for the constructive design of parallel and distributed programs. In 28thAnnual Hawaii ZntemationalConferenceon Systems Sciences, pages 3 19-328. IEEE Computer Society Press, January 1995.
17. M. Luck and M. d’Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254-260, AAA1 Press I MIT Press, 1995.
18. M. Luck and M. d’Inverno. Structuringa Z specification to provide a formal framework for autonomous agent systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM’95: 9th Intemational Conferenceof Z Users,LectureNotes in ComputerScience, pages 47-62, Heidelberg, Springer-Verlag, 1995.
19. Luqui. Softwareevolutionthroughrapid prototyping. IEEE Computer, 22(5):13-25, May 1989.
20. J. Magee, N. Dulay, and J. Kramer. A constructive development environment for parallel and distributed programs. In 2nd Int. Workshop on ConJigurable Distributed Systems. IEEE Computer Society Press, March 1994.
21. D. McCraken and M. Jackson. Life cycle concept considered harmful. ACM SIGSOFE Software Engineering Notes, 7(2):29-32, April 1982.
22. D. A. Padua and M. J. Wolfe. Advanced compiler optimisationsfor supercomputers. Communications ofACM, 29(12):1184-1201, December 1986.
23. X. Song. A framework for understanding the integration of design methodologies. ACM SIGSOFT Software Engineering Notes, 20(1):46-54, January 1995.
24. X. Song and L. J. Osterweil. Towards objective, systematic design-methods comparisons. IEEE SofnYare, 9:43-53, May 1992.
25. J. M. Spivey. TheZNotation: A ReferenceManual. PrenticeHall, second edition, 1992.
26. R. van Rein. An object oriented framework for mapping concurrent applicationsto parallel and distributed architectures, 1994.
27. G. Wirtz. Modularization, re-use and testing for parallel message-passing programs. In 28thAnnual Hawaii Intemational Conferenceon Systems Sciences, pages 299-308. IEEE Computer Society Press, January 1995.