Abstract
Our main objective is to develop an integrated methodology and associated support tools for the development and management of distributed software systems. Our use of the term “distributed software development” is deliberately ambiguous as it is intended to cover both the development of distributed software and distributed development of software by teams of personnel. This paper overviews our work on methods such as the Constructive Design Approach and integration frameworks such as ViewPoints, but, in the interests of brevity, makes no attempt to compare it with current related work.
Preview
Unable to display preview. Download preview PDF.
Selected References
J. Castro and J. Kramer, “Temporal-Causal System Specification”, Proc. of IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro '90), Israel, May 1990.
S.C. Cheung and J. Kramer, “Tractable Flow Analysis for Anomaly Detection in Distributed Programs”, Proc. of the 4th European Software Engineering Conference (ESEC '93), Garmisch, Germany, 13–16th Sept 1993, Springer-Verlag, 283–300.
S.C. Cheung and J. Kramer, “Enhancing Compositional Analysis with Interfaces”, Technical Report DoC 93/13, Dept of Computing, Imperial College, April 1993.
S. Eisenbach and R. Paterson, “π-Calculus Semantics for the Concurrent Configuration Language Darwin”, Proc. of 26th HICSS, Hawaii, January 1993, Software Track, 456–462.
A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein and M. Goedicke, “Viewpoints: a framework for integrating multiple perspectives in system development”, International Journal of Software Engineering and Knowledge Engineering, Special Issue on Trends and Directions in Software Engineering Environments, 2 (1), March 1992, 31–58.
A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer and B. Nuseibeh, “Inconsistency Handling in Multi-Perspective Specifications”, Proc. of the 4th European Software Engineering Conference (ESEC '93), Garmisch, Germany, 13–16th Sept. 1993, Springer-Verlag, 84–99.
P. Graubmann, The HyperView Tool Standard Methods, REX technical report REX-WP3-SIE-021-V1.0, Siemens, Munich, Germany, January '92.
P. Graubmann, The Petri Net Method Viewpoints in the Hyper View Tool, REX technical report REX-WP3-SIE-023-V1.0, Siemens, Munich, January '92.
J. Kramer, “Configuration Programming — A Framework for the Development of Distributable Systems”, Proc. of IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, May 1990, 374–384.
J. Kramer, J. Magee and A. Finkelstein, “A Constructive Approach to the Design of Distributed Systems”, Proceedings of the 10th International Conference on Distributed Computing Systems, Paris, France, June 1990.
J. Kramer and A. Finkelstein, “A Configurable Framework for Method and Tool Integration”, Proc. of European Symp. on Software Development Environments and CASE Technology, Konigswinter, Germany, June 1991, Springer-Verlag.
J. Kramer, “CASE Support for the Software Process: A Research Viewpoint”, Proc. of 3rd European Software Engineering Conference, ESEC, Milan, Oct. 1991, LNCS 550, ed. van Lamsweerde, Fugetta, Springer Verlag 1991.
J. Kramer, J. Magee, K. Ng and M. Sloman, “Tool Support for the Design and Construction of Distributed Systems: The System Architect's Assistant”, Proc. of 4th IEEE Workshop on Future Trends of Distributed Computing Systems, Lisbon, Sept. 1993, 284–290.
J. Magee, J. Kramer and N. Dulay, “Darwin/MP: An Environment for Parallel and Distributed Programming”, Proc. of 26th HICSS, Hawaii, January 1993, Software Track, 337–346.
B.A. Nuseibeh, VOSE: An Interim Report and Case Study, Internal Report, Department of Computing, Imperial College, March 1991.
B. Nuseibeh and A. Finkelstein, “Viewpoints: A Vehicle for Method and Tool Integration”, CASE 92, Montreal, Canada, July 1992.
B. Nuseibeh, J. Kramer and A. Finkelstein, “Expressing the Relationship between Multiple Views in Requirements Specification”, Proc. of 15th IEEE Int. Conf. on Software Engineering (ICSE-15), May 1993, 187–196.
B. Nuseibeh, A. Finkelstein and J. Kramer, “Tine-Grain Process Modelling”, Proc. of 7th International Workshop on Software Specification and Design (IWSSD-7), Redondo Beach, California, 6–7th December 1993.
J. Trescher, “Compositional Specification of Parallel Time-Critical Systems”, Proc. of Int. Conf. on Computer Languages, San Francisco, 1992.
P. Zave and M. Jackson, “Conjunction as Composition”, ACM Transactions on Software Engineering and Methodology, July 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kramer, J., Finkelstein, A., Nuseibeh, B. (1996). Method integration and support for distributed software development: An overview. In: Lamb, D.A. (eds) Studies of Software Design. WSSD 1993. Lecture Notes in Computer Science, vol 1078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030524
Download citation
DOI: https://doi.org/10.1007/BFb0030524
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61285-8
Online ISBN: 978-3-540-68434-3
eBook Packages: Springer Book Archive