Future Trends of Distributed Computing Systems, IEEE International Workshop (1995)
Aug. 28, 1995 to Aug. 30, 1995
J.E. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Hankyu Joo , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Abstract: The front-end life cycle or upper CASE aspects of software development for distributed systems is driven by the components of applications, management, and techniques/tools. The applications component seeks taxonomies of application domains in distributed computing and the identification of core software requirements. The management component concerns the twofold aspects of developing distributed computing systems and distributed development teams. The techniques/tools component includes analysis of those elements available to support software development. Specifications have advantages and limitations in distributed computing that must be addressed to effectively develop software systems. This paper describes the role of executable specifications in distributed computing, specification language development/experience, and future directions.
specification languages; Petri nets; temporal logic; formal specification; distributed algorithms; distributed processing; computer aided software engineering; executable specifications; distributed software systems; front-end life cycle; upper CASE aspects; software development; distributed computing; core software requirements; management component; distributed development teams; techniques/tools component; specification language development
J.E. Urban, Hankyu Joo, "Executable specifications for distributed software systems", Future Trends of Distributed Computing Systems, IEEE International Workshop, vol. 00, no. , pp. 0257, 1995, doi:10.1109/FTDCS.1995.524993