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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 285, Issue 2, 2002, Pages 519-560

A formal approach to object-oriented software engineering

(2) Wirsing, Martin a Knapp, Alexander a

a UNIVERSITY OF MUNICH (Germany)

Author keywords

Integrated formal software engineering; Maude; OOSE; Process algebra; Reflection; Rewriting logic

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING;

OBJECT ORIENTED SOFTWARE ENGINEERING (OOSE);

SOFTWARE ENGINEERING;

EID: 0037190145 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00367-X Document Type: Article

Times cited : (15)

References (42)

1
- 0009908988
- A formal OO method inspired by Fusion and object-Z
- J.P. Bowen, M.G. Hinchey, D. Till(Eds.), Springer Berlin
- (1997) Proc. 10th Internat. Conf. on Z Users, Lecture Notes in Computer Science , vol.1212 , pp. 92-111
- Achatz, K.¹ Schulte, W.²

2
- 84974693467
- Plugging data constructs into paradigm-specific languages: Towards an application to UML
- T. Rus(Ed.), Springer Berlin
- (2000) Proc. 8th Internat. Conf. on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science , vol.1816 , pp. 273-292
- Astesiano, E.¹ Cerioli, M.² Reggio, G.³

3
- 85035019917
- On the parameterized algebraic specification of concurrent processes
- H. Ehrig, C. Floyd, M. Nivat, J.W. Thatcher(Eds.), Springer Berlin, Lecture Notes in Computer Science
- (1985) TAPSOFT'85 , vol.1 , Issue.185 , pp. 342-358
- Astesiano, E.¹ Mascari, G.² Reggio, G.³ Wirsing, M.⁴

4
- 0004080346
- Cambridge University Press Cambridge
- (1990) Process Algebra
- Baeten, J.C.M.¹ Weijland, W.P.²

5
- 0021870594
- Algebra of communicating processes with abstraction
- (1985) Theoret. Comput. Sci. , vol.37 , pp. 77-121
- Bergstra, J.A.¹ Klop, J.W.²

6
- 0003434834
- Addison-Wesley Reading, MA
- (1999) Object-Oriented Analysis and Design: With Applications, 3rd ed.
- Booch, G.¹

7
- 19144372591
- ELAN: A logical framework based on computational systems
- J. Meseguer(Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and Its Applications, Elsevier Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4 , pp. 35-50
- Borovansky, P.¹ Kirchner, C.² Kirchner, H.³ Moreau, P.-E.⁴ Vittek, M.⁵

8
- 0003783404
- LOTOS: A formal description technique based on the temporal ordering of observational behaviour
- ISO
- (1987) Technical Report Dis , vol.8807
- Brinksma, E.¹

9
- 0003488831
- Ph.D. Thesis, Universidad de Navarra
- (1998) Reflection in general logics and in rewriting logic with applications to the Maude language
- Clavel, M.¹

10
- 0003895448
- Maude: Specification and programming in rewriting logic
- SRI
- (1999) Manual, Computer Science Laboratory
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.⁷

11
- 0002598170
- Internal strategies in a reflective logic
- B. Gramlich, H. Kirchner (Eds.), Townsville
- (1997) Proc. CADE 14 Workshop on Strategies in Automated Deduction , pp. 1-12
- Clavel, M.¹ Meseguer, J.²

12
- 0003691163
- Prentice-Hall Englewood Cliffs, NJ
- (1994) Object-Oriented Development - The Fusion Method
- Coleman, D.¹ Arnold, P.² Bodoff, S.³ Dollin, C.⁴ Gilchrist, H.⁵ Hayes, F.⁶ Jeremaes, P.⁷

13
- 0003638157
- Prentice-Hall New York
- (1994) Designing Object Systems - Object-Oriented Modelling with Syntropy
- Cook, S.¹ Daniels, J.²

14
- 0009954272
- Integrating formal methods with object-oriented methodologies
- M. Wirsing (Ed.), Seattle
- (1995) ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice , pp. 212-219
- Dodani, M.¹ Rupp, R.²

15
- 0003406599
- Ph.D. Thesis, Universidad de Málaga
- (1999) A reflective module algebra with applications to the Maude language
- Durán, F.¹

16
- 85028849510
- Objects and their specification
- M. Bidoit, C. Choppy(Eds.), Springer Berlin
- (1993) Recent Trends in Data Type Specification, Lecture Notes in Computer Science , vol.655 , pp. 40-65
- Ehrich, H.-D.¹ Gogolla, M.² Sernadas, A.³

17
- 0009908301
- Springer, Berlin
- (1999) Proc. 2nd Internat. Conf. on UML, Lecture Notes in Computer Science , vol.1723
- France, R.B.¹ Rumpe, B.²

18
- 0031124053
- Information systems modelling with TROLL: Formal methods at work
- (1997) Inform. Systems , vol.22 , Issue.2-3 , pp. 79-99
- Hartel, P.¹ Denker, G.² Kowsari, M.³ Krone, M.⁴ Ehrich, H.-D.⁵

19
- 26344452025
- Formal foundations for software engineering methods
- Springer Berlin
- (1997) Lecture Notes in Computer Science , vol.1322
- Hußmann, H.¹

20
- 0003902726
- Addison-Wesley Reading, MA
- (1999) The Unified Software Development Process
- Jacobson, I.¹ Booch, G.² Rumbaugh, J.³

21
- 0003504769
- Addison-Wesley Wokingham, England
- (1993) Object-Oriented Software Engineering - A Use Case Driven Approach, 4th ed.
- Jacobson, I.¹ Christerson, M.² Jonsson, P.³ Övergaard, G.⁴

22
- 0025492027
- Integrating formal methods into the development process
- (1990) IEEE Software , vol.7 , Issue.5 , pp. 37-50
- Kemmerer, R.A.¹

23
- 84947712992
- Formalizing the UML class diagram using object-Z
- R.B. France, B. Rumpe(Eds.), Springer Berlin
- (1999) Proc. 2nd Internat. Conf. on UML, Lecture Notes in Computer Science , vol.1723 , pp. 83-98
- Kim, S.-K.¹ Carrington, D.²

24
- 0009908977

25
- 84883467952
- A Formal Semantics for UML Interactions
- R.B. France, B. Rumpe(Eds.), Springer Berlin
- (1999) Proc. 2nd Internat. Cont. on UML, Lecture Notes in Computer Science , vol.1723 , pp. 116-130
- Knapp, A.¹

26
- 0009933856
- Formal object-oriented development
- Springer London
- (1995) Formal Approaches to Computing and Information Technology
- Lano, K.¹

27
- 0009954273
- A semantic comparison of Fusion and Syntropy
- (1999) Object Oriented Systems , vol.6 , pp. 43-72
- Lano, K.¹ France, R.B.² Bruel, J.-M.³

28
- 0001097692
- Object-oriented specifications of distributed systems in the μ-calculus and Maude
- J. Meseguer(Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and Its Applications, Elsevier Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4 , pp. 384-403
- Lechner, U.¹

29
- 84955616634
- Objects + concurrency & reusability - A proposal to circumvent the inheritance anomaly
- P. Cointe(Ed.), Springer Berlin
- (1996) Proc. European Conf. on Object-Oriented Programming '96, Lecture Notes in Computer Science , vol.1098 , pp. 232-247
- Lechner, U.¹ Lengauer, C.² Nickl, F.³ Wirsing, M.⁴

30
- 0009910792
- An algebraic specification of process algebra, including two examples
- M. Wirsing, J.A. Bergstra(Eds.), Springer Berlin
- (1989) Algebraic Methods: Theory, Tools and Applications, Lecture Notes in Computer Science , vol.394 , pp. 507-554
- Mauw, S.¹

31
- 0002893365
- A Logical theory of concurrent objects and its realization in the Maude language
- G.A. Agha, P. Wegner, A. Yonezawa(Eds.), MIT Press Cambridge, MA and London
- (1991) Research Directions in Concurrent Object-Oriented Programming , pp. 341-389
- Meseguer, J.¹

32
- 84957873927
- Membership algebra as a logical framework for equational specifications
- F.P. Presicce(Ed.), Select. Papers 12th Internat. Workshop on Recent Trends in Algebraic Development Techniques, Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 18-61
- Meseguer, J.¹

33
- 22644450258
- A partial order event model for concurrent objects
- J.C.M. Baeten, S. Mauw S.(Eds.), Springer Berlin
- (1999) Proc. 10th Internat. Conf. on Concurrency Theory, Lecture Notes in Computer Science , vol.1664 , pp. 415-430
- Meseguer, J.¹ Talcott, C.L.²

34
- 0030615496
- An object-oriented modeling method for algebraic specifications in CafeOBJ
- W.R. Adrion (Ed.)
- (1997) Proc. 19th Internat. Conf. on Software Engineering , pp. 34-44
- Nakajima, S.¹ Futatsugi, K.²

35
- 0009907835
- Object Management Group, Unified modeling language specification
- OMG
- (1999) Version 1.3, Technical Report

36
- 84883468050
- A formal approach to collaborations in the unified modeling language
- R.B. France, B. Rumpe(Eds.), Springer Berlin
- (1999) Proc. 2nd Internat. Cont. on UML, Lecture Notes in Computer Science , vol.1723 , pp. 99-115
- Övergaard, G.¹

37
- 85030320228
- Entities: An institution for dynamic systems
- H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel(Eds.), Springer Berlin
- (1991) Recent Trends in Data Type Specification, Lecture Notes in Computer Science , vol.534 , pp. 244-265
- Reggio, G.¹

38
- 84974686985
- CASL-CHART: A combination of statecharts and the algebraic specification language CASL
- T. Rus(Ed.) Springer Berlin
- (2000) Proc. 8th Internat. Conf. on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science , vol.1816 , pp. 243-272
- Reggio, G.¹ Repetto, L.²

39
- 0003511049
- Prentice-Hall Englewood Cliffs, NJ
- (1991) Object-Oriented Modeling and Design
- Rumbaugh, J.¹ Blaha, M.² Premerlani, W.³ Eddy, F.⁴

40
- 0003546951
- Yourdon Englewood Cliffs, NJ
- (1992) Object Lifecycles: Modelling the World in States
- Shlaer, S.¹ Mellor, S.J.²

41
- 0003809443
- Addison-Wesely Reading, MA
- (1999) The Object Constraint Language
- Warmer, J.¹ Kleppe, A.²

42
- 0000382802
- Algebraic specification
- J. van Leeuwen(Ed.), Elsevier Amsterdam, Formal Models and Semantics
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 675-788
- Wirsing, M.¹

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