The Community for Technology Leaders
Future Trends of Distributed Computing Systems, IEEE International Workshop (1995)
Chenju, Korea
Aug. 28, 1995 to Aug. 30, 1995
ISBN: 0-8186-7125-4
pp: 0257
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
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.
INDEX TERMS
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
CITATION
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
89 ms
(Ver 3.3 (11022016))