 |
|
Related Communities:
|
 |
|
 |
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics.
| Author(s): | Kalinichenko L.A., Nikitchenko N.S., Zadorozhny V. |
| Created: | 1993/01/01 |
| Published: | Industrial-Strength Formal Methods: Proc. of the First International Symposium of Formal Methods Europe FME '93. LNCS 670. -- Berlin-Heidelberg: Springer-Verlag, 1993. -- P. 428-441. |
| Abstract: | |
| This paper presents the main ideas of the Composition Development Method and its application to the semantics definition of the query language for SYNTHESIS — a system for heterogeneous information resource interoperation. This definition is used for implementation of the query language compiler. |
| Download: |
|
|
|
