Abstract | ||
---|---|---|
The Reference Model of Open Distributed Processing #ODP RM# is intended tocreate an international standard for the design and realization of open distributedsystems by both ISO and CCITT.The use of formal methods in the design process of ODP systems is explicitlyrequired. In this article the use of the Formal Description Techniques #FDT's# Z,LOTOS and SDL'92 is investigated and evaluated. These three FDT's are consideredas representatives of the classes of formal techniques... |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BFb0024655 | FME |
Keywords | Field | DocType |
different odp-viewpoints,different fdt,internal standard,design process,formal method,reference model | Abstract data type,Computer science,Viewpoints,RM-ODP,International standard,Database | Conference |
ISBN | Citations | PageRank |
3-540-56662-7 | 6 | 0.70 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joachim Fischer | 1 | 15 | 7.14 |
Andreas Prinz | 2 | 69 | 12.17 |
Andreas Vogel | 3 | 24 | 7.06 |