Engineering high quality parallel software using PARSE

1. S.M.Shatz and J-P.Wang, Introduction to Distributed Software Engineering, IEEE Computer, 20 (1987)23–31

   Google Scholar 

2. C Pancake, Where are We Headed?, CACM 34 1991

   Google Scholar 

3. I.Gorton, I.Jelly, I and J.Gray. Parallel software engineering with PARSE, in Proceedings of 17th IEEE International Computer Software and Applications Conference, Phoenix, USA (1993) 124–130

   Google Scholar 

4. V.Sunderam, PVM: A Framework for Parallel Distributed Computing, Concurrency: Practice and Experience, 2 (1990) 315–339

   Google Scholar 

5. A Burns and A J Wellings, HRT-HOOD: A Structured Design Method for Hard Real-time Systems, Technical Report YCS 199, Dept of Computer Science, University of York, UK (to appear in Real-time Systems Journal) (1993)

   Google Scholar 

6. Meta Software Corp., Design/CPN reference manual, Cambridge, MA, USA, (1992)

   Google Scholar 

7. J.Gray, I.Gorton and I.Jelly. Designing parallel database programs using PARSE, in Proceedings of 17th IEEEInternational Computer Software and Applications Conference, Phoenix, USA, (1993) 117–123

   Google Scholar 

8. I.Jelly, I.Gorton,and J.Gray. Using PARSE for transputer software development. in Transputer Applications and Systems Vol. 2, Proceedings of theWorld Transputer Congress, Aachen IOS Press (1993) 950–964

   Google Scholar 

9. J.Billington, G.Wheeler, M.Wilbur-Ham, PROTEAN: a high-level Petri net tool for the specification and verification of communications protocols, IEEE Transactions on Software Engineering, 14 (1988) 310–316

   Google Scholar 

10. T.S.Chan and I.Gorton. A transputer-based implementation of HTPNET: a transport protocol for broadband networks, in Transputer Applications and Systems Vol. 2, Proceedings of the 1993 World Transputer Congress, Aachen IOS Press (1993) 899–910

    Google Scholar 

11. G Chiola, GreatSPN 1.5 Software Architecture, in Proc Fifth Int Conf on Modelling Tools and Techniques for Computer Performance Evaluation, Turino, Elsevier Science Publishers BV (1991)

    Google Scholar 

12. H Gomaa, Software Design Methods for Concurrent and Real-Time Systems, Addison-Wesley, 1993

    Google Scholar 

13. D.C.DiNucci and R.G.Babb, Development of Portable Parallel Programs with LGDF2, in Proc. VAPP IV — CONPAR90, Zurich, (1990) 253–264

    Google Scholar 

14. J R Cameron, An Overview of JSD, IEEE Transactions on Software Engineering, 12, (1986) 222–240

    Google Scholar 

15. H R Simpson, The Mascot Method, Software Engineering Journal, May (1986), 103–120

    Google Scholar 

16. G Booch, Object-Oriented Design with Applications, Benjanim-Cummings, (1991)

    Google Scholar 

17. I.Jelly and I.Gorton, Software Engineering for Parallel Systems, to appear in Information and Software Technology Journal, June (1994)

    Google Scholar 

18. J.Gray, I.Gorton and I.Jelly. CASE tools for PARSE. in Proceedings of Parallel Computing and Transputers, Brisbane, IOS Press (1992) 343–349

    Google Scholar 

19. J P Kitajima and B Plateau, Building Synthetic Parallel Programs: the Project ALPES, in Proc IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, IFIP Transactions A-11, North-Holland (1992) 161–170

    Google Scholar 

Download references