SCOPUS 정보 검색 플랫폼

Volumn 17, Issue 5-6, 1995, Pages 553-558

A formal description of the OMG's Core Object Model and the meaning of compatible extension

(2) Houston, Iain S C a Josephs, Mark B b

b LONDON SOUTH BANK UNIVERSITY (United Kingdom)

Author keywords

Compatible extension; Formal description; Interoperability; Object model; Object oriented technology; Portability; Z notation

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE PORTABILITY; DATA STRUCTURES; FORMAL LANGUAGES; STANDARDS; TECHNOLOGY;

COMPATIBLE EXTENSION; CORE OBJECT MODEL; FORMAL DESCRIPTION; INTEROPERABILITY; Z NOTATION;

OBJECT ORIENTED PROGRAMMING;

EID: 0029369797 PISSN: 09205489 EISSN: None Source Type: Journal
DOI: 10.1016/0920-5489(95)00019-Q Document Type: Article

Times cited : (6)

References (6)

1
- 84914975164
- Object Management Architecture Guide
- 2.4 Edition
- (1992) Object Management Group TC Document 92.11.1
- Soley¹

2
- 0004268551
- 2.4 Edition, Prentice-Hall, NY
- (1992) The Z Notation
- Spivey¹

3
- 34249771895
- Specifying distributed CICS in Z: Accessing local and remote resources
- (1994) Formal Aspects of Computing , vol.6 , Issue.5 , pp. 569-579
- Houston¹ Josephs²

4
- 84914975163
- Use of Z to describe the Management Information Model
- Submitted by U.S. National Body to International Organization for Standardization and International Electrotechnical Commission
- (1992) ISO/IEC JTC1/SC21/WG 4N, 92-308R1
- Houston¹ Josephs²

5
- 84956965964
- CICS project report — experiences and results from the use of Z in IBM
- 2.4 Edition, S. Prelin, W.J. Toetenel, Springer-Verlag, Berlin
- (1991) Proc. VDM '91, Lect. Notes in Comp. Sci. , vol.551
- Houston¹ King²

6
- 84914975162
- Post DIS Consistency Meeting
- ISO/IEC JTC1/SC21, New Jersey, USA
- (1991) Information Technology — Open Systems Interconnection — Structure of Management Information — Part 1: Management Information Model

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