SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 405-423

A Maude specification of an object-oriented database model for telecommunication networks

(2) Pita, Isabel a Martí Oliet, Narciso a

a UNIVERSIDAD COMPLUTENSE DE MADRID (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BROADBAND NETWORKS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA REDUCTION; DATABASE SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

DATABASE MODELS; MAUDE SPECIFICATIONS; NETWORK MANAGEMENT; PROCEDURAL ASPECTS;

TELECOMMUNICATION NETWORKS;

EID: 0001532102 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00049-0 Document Type: Article

Times cited : (8)

References (13)

1
- 84916550435
- ISO/IEC DIS 10165-1/ITU-TS X.720, Management Information Model 1990

2
- 84916550434
- Ulrike Lechner, Christian Lengauer, Friederike Nickl, and Martin Wirsing, (Objects + Concurrency) & Reusability - A proposal to circumvent the inheritance anomaly, in: P. Cointe, ed., Proc. ECOOP'96, 10th European Conference on Object-Oriented Programming (LNCS 1098, Springer-Verlag, 1996) 232–247.

3
- 84947941975
- An object-oriented airport: Specification and refinement in Maude
- E. Astesiano, G. Reggio, A. Tarlecki, Springer-Verlag, LNCS 906
- (1995) Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, 1994 , pp. 351-367
- Lechner¹ Lengauer² Wirsing³

4
- 84916550433
- Luis López Zueros and Isabel Pita, Disen̈o orientado a objetos aplicado a la gestión integrada de redes, Proc. Telecom I+D Conference (Madrid, 1992) 359–368.

5
- 84916550432
- Narciso Martí-Oliet and José Meseguer, Rewriting logic as a logical and semantic framework, Technical report SRI-CSL-93-05, Computer Science Laboratory, SRI International (August 1993). To appear in D. M. Gabbay, ed., Handbook of Philosophical Logic (Kluwer Academic Publishers).

6
- 84916550431
- José Meseguer, Rewriting as a unified model of concurrency, in: J. C. M. Baeten and J. W. Klop, eds., Proc. CONCUR'90 (LNCS 458, Springer-Verlag, 1990) 384–400.

7
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoretical Computer Science , vol.96 , pp. 73-155
- Meseguer¹

8
- 0002893365
- A logical theory of concurrent objects and its realization in the Maude language
- G. Agha, P. Wegner, A. Yonezawa, The MIT Press
- (1993) Research Directions in Concurrent Object-Oriented Programming , pp. 314-390
- é Meseguer¹

9
- 84916550430
- José Meseguer, Solving the inheritance anomaly in concurrent object-oriented programming, in: O. M. Nierstrasz, ed., Proc. ECOOP'93 (LNCS 707, Springer-Verlag, 1993) 220–246.

10
- 84916550429
- José Meseguer, Rewriting logic as a semantic framework for concurrency: A progress report, in: Proc. CONCUR '96 (LNCS, Springer-Verlag, 1996).

11
- 84916550428
- José Meseguer and Xiaolei Qian, A logical semantics for object-oriented databases, in: P. Buneman and S. Jajodia, eds., Proc. SIGMOD'93 (ACM Press, 1993) 89–98.

12
- 84916529677
- Parallel programming in Maude
- J.-P. Banâtre, D. Le Métayer, Springer-Verlag, LNCS 574
- (1992) Researchs Directions in High-Level Parallel Programming Languages , pp. 253-293
- Meseguer¹ Winkler²

13
- 84916550427
- Barbara Salmansberger, Objektorientierte Spezifikation von verteilten Systemen in Maude am Beispiel eines Flughafens, Diplomarbeit, Fakultät für Mathematik und Informatik, Universität Passau (December 1993).

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.