Journal: Information \& Software Technology

Volume 38, Issue 10

615 -- 631Robert B. Jackson, David W. Embley. Using joint application design to develop readable formal specifications
633 -- 645Anupam Sinha, Pradip Kumar Das, Dhruba Basu. Replicated servers for fault-tolerant real-time systems using transputers
647 -- 655Ian Gorton, Sanjeev Motwani. Issues in co-operative software engineering using globally distributed teams
657 -- 666Paul K. O. Chow, Daniel S. Yeung. Behavioural modelling in object-oriented methodology