메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 4, Issue C, 1996, Pages 322-360
A Formal Approach to Object-Oriented Software Engineering
Author keywords

[No Author keywords available]
Indexed keywords

DATA REDUCTION; FORMAL LANGUAGES; JAVA PROGRAMMING LANGUAGE; LINEAR ALGEBRA; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE PROTOTYPING;
EID: 0009899013     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00046-5     Document Type: Article
Times cited : (21)
References (24)
  • 2
    • 0001310784 scopus 로고
    • Adding action-refinement to a finite process algebra
    • (1994) Inf. Comp , vol.115 , pp. 179-247
    • Aceto1    Hennessy2
  • 3
    • 84916548893 scopus 로고    scopus 로고
    • E. Astesiano, G. Mascari, G. Reggio, and M. Wirsing. On the parameterized algebraic specification of concurrent processes. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, TAPSOFT'85, Vol. 1, volume 185 of LNCS, pages 342–358, Berlin, 1985. Springer
  • 6
    • 84916548892 scopus 로고    scopus 로고
    • P. Borovansky, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. This volume.
  • 7
    • 84916548891 scopus 로고    scopus 로고
    • E. Brinksma, editor. LOTOS: A formal description technique based on the temporal ordering of observational behaviour. Technical Report Dis 8807, ISO, 1987.
  • 9
    • 84916548890 scopus 로고    scopus 로고
    • H. D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their specification. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, volume 655 of LNCS, pages 40–65, Berlin, 1993. Springer
  • 10
    • 0027116146 scopus 로고
    • Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
    • (1992) Theo. Comp. Sci , vol.105 , pp. 217-273
    • Goguen1    Meseguer2
  • 11
    • 84916548889 scopus 로고    scopus 로고
    • J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ3. Technical Report SRI-CSL-92-03, SRI, 1992.
  • 12
    • 84916548888 scopus 로고    scopus 로고
    • J. Gosling and H. McGilton. The Java Language Environment: A White Paper. Sun Microsystems, Mountain View, Oct. 1995.
  • 15
    • 84916548887 scopus 로고    scopus 로고
    • H. B. M. Jonkers. An introduction to cold-k. In J. A. B. M. Wirsing, editor, Algebraic methods: theory, tools and applications, volume 394 of LNCS, pages 139–206, Berlin, 1989. Springer
  • 17
    • 84916548886 scopus 로고    scopus 로고
    • U. Lechner. Object-oriented specifications of distributed systems in the μ- calculus and Maude. This volume.
  • 18
    • 84916548885 scopus 로고    scopus 로고
    • U. Lechner, C. Lengauer, F. Nickl, and M. Wirsing. (Objects + Concurrency) & Reusability –- A Proposal to Circumvent the Inheritance Anomaly. In Proc. Europ. Conf. Object-Oriented Programming '93, LNCS, Berlin, 1996. Springer. To appear.
  • 19
    • 84916548884 scopus 로고    scopus 로고
    • S. Mauw. An algebraic specification of process algebra. In J. A. B. M. Wirsing, editor, Algebraic methods: theory, tools and applications, volume 394 of LNCS, Berlin, 1989. Springer
  • 21
    • 84916548883 scopus 로고    scopus 로고
    • J. Meseguer and T. Winkler. Parallel programming in Maude. In J. Banatre and D. le Metayer, editors, Research Directions in High-Level Parallel Languages, volume 574 of LNCS, pages 253–293, Berlin, 1992. Springer
  • 23
    • 84916548882 scopus 로고    scopus 로고
    • G. Reggio. Entities: an institution for dynamic systems. In H. Ehrig, K. P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification, volume 534 of LNCS, pages 244–265, Berlin, 1991. Springer.

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