SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Logic and Computation

Volumn 11, Issue 4, 2001, Pages 559-578

Composition of default specifications

(1) Guerra, S a

a ADELARD LLP (United Kingdom)

Author keywords

Default specifications; Formal specifications; Institutions; Non monotonic reasoning

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

DEFAULT SPECIFICATIONS; NON-MONOTONIC REASONING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0035415667 PISSN: 0955792X EISSN: None Source Type: Journal
DOI: 10.1093/logcom/11.4.559 Document Type: Article

Times cited : (6)

References (15)

1
- 0004154231
- John Wiley & Sons
- (1990) Abstract and Concrete Categories
- Adámeck, J.¹ Herrlich, H.² Strecker, G.E.³

2
- 0003384287
- Hierarchic defaults in specifications
- G. Saake and A. Sernadas, eds
- (1991) Information Systems: Correctness and Reusability
- Brass, S.¹ Ryan, M.² Lipeck, U.³

3
- 85022950578
- Data encapsulation and modularity: Three views of inheritance
- In Mathematical Foundations of Computer Science, A. Borzyszkowski and S. Sokolowski, editors; Springer Verlag
- (1993) Lecture Notes in Computer Science, Springer Verlag , vol.711 , pp. 382-391
- Costa, J.F.¹ Sernadas, A.² Sernadas, C.³

4
- 21344491785
- Object inheritance beyond subtyping
- (1994) Acta Informatica , vol.31 , pp. 5-26
- Costa, J.F.¹ Sernadas, A.² Sernadas, C.³

5
- 0003454001
- PhD thesis, Inst. für Informatik, Universität Hannover
- (1997) Composition of Hierarchic Default Specifications
- Dionísio, F.M.¹

6
- 0000925086
- Temporal theories as modularisation units for concurrent system specification
- (1992) Formal Aspects of Computing , vol.4 , pp. 239-272
- Fiadeiro, J.¹ Maibaum, T.²

7
- 0026444654
- Institutions: Abstract model theory for specification and programming
- (1992) Journal of the Association for Computing Machinery , vol.39 , pp. 95-146
- Goguen, J.A.¹ Burstall, R.M.²

8
- 0003321661
- Distance functions for defaults in reactive systems
- Teodor Rus, ed. Iowa, USA
- (2000) AMAST'2000, Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
- Guerra, S.¹

9
- 0003429310
- PhD thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa
- (1999) Defaults in the Specification of Reactive Systems
- Guerra, S.¹

10
- 0003315391
- Feature addition as composition of hierarchic default specifications
- G. Saake and C. Tücker, eds
- (1998) FIREworks '98: Proceedings of the 1st FIREworks Workshop , pp. 14-29
- Guerra, S.¹ Ryan, M.²

11
- 0026190437
- Defaults and revision in structured theories
- (1991) Proc. Sixth IEEE Symposium on Logic in Computer Science (LICS) , pp. 362-373
- Ryan, M.¹

12
- 0003320657
- G. Saake and C. Tücker, eds; Fakultät für Informatik, Universität Magdeburg
- FIREworks'98: Proceedings of the 1st FIREworks Workshop, May 15-16, Magdeburg, Germany, 1998

13
- 0027574780
- Exceptions for algebraic specifications: On the meaning of 'but'
- (1993) Science of Computer Programming , vol.20 , pp. 73-111
- Schobbens, P.-Y.¹

14
- 77957184803
- Object specification logic
- (1995) Journal of Logic and Computation , vol.5 , pp. 603-630
- Sernadas, A.¹ Sernadas, C.² Costa, J.F.³

15
- 0003382383
- R. J. Wieringa and R. Feenstra, eds.; World Scientific
- (1995) Information Systems: Correctness and Reusability (Selected Papers)

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