loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
5th IEEE Workshop on Future Trends of Distributed Computing Systems
Executable specifications for distributed software systems
Chenju, Korea
August 28-August 30
ISBN: 0-8186-7125-4
ASCII Text
x 
 
J.E. Urban, Hankyu Joo, "Executable specifications for distributed software systems," Future Trends of Distributed Computing Systems, IEEE International Workshop, pp. 0257, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995.
 
 
BibTex
x
 
@article{ 10.1109/FTDCS.1995.524993,
author = {J.E. Urban and Hankyu Joo},
title = {Executable specifications for distributed software systems},
journal ={Future Trends of Distributed Computing Systems, IEEE International Workshop},
volume = {0},
year = {1995},
isbn = {0-8186-7125-4},
pages = {0257},
doi = {http://doi.ieeecomputersociety.org/10.1109/FTDCS.1995.524993},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Future Trends of Distributed Computing Systems, IEEE International Workshop
TI - Executable specifications for distributed software systems
SN - 0-8186-7125-4
SP
EP
A1 - J.E. Urban,
A1 - Hankyu Joo,
PY - 1995
KW - 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
VL - 0
JA - Future Trends of Distributed Computing Systems, IEEE International Workshop
ER -
 
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.
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," ftdcs, pp.0257, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995
Usage of this product signifies your acceptance of the Terms of Use.