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

메뉴 건너뛰기

Science of Computer Programming

Volumn 44, Issue 1, 2002, Pages 51-69

Modular architecture for a toolset supporting OCL

(1) Zhuge, Hai a

a INSTITUTE OF COMPUTING TECHNOLOGY (China)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE;

OBJECT CONSTRAINT LANGUAGE (OCL); UNIFIED MODELING LANGUAGE (UML);

COMPUTER ARCHITECTURE;

EID: 0036642636 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(02)00032-1 Document Type: Conference Paper

Times cited : (26)

References (22)

1
- 0006101994
- Argo/UML Page

2
- 0006029362
- Unpublished Report
- (2000) Experiences with the UML/OCL - Approach to precise software modeling: A report from practice
- Baar, Th.¹

3
- 0006099311
- Object Constraint Language Support Information

4
- 0003547470
- Addison-Wesley, Reading, MA
- (1999) The Unified Modeling Language User Guide
- Booch, G.¹ Rumbaugh, J.² Jacobson, I.³

5
- 0004101993
- Wiley, Chichester, UK
- (1996) Pattern-Oriented Software Architecture - A System of Patterns
- Buschmann, F.¹

6
- 84947729407
- Using OCL constraints for relational database design
- Springer Lecture Notes in Computer Science, Springer, Berlin
- (1999) Proc. UML'99 Conference , vol.1723 , pp. 598-613
- Demuth, B.¹ Hussmann, H.²

7
- 0006064717
- Dresden University of Technology
- Dresden OCL Toolset

8
- 0003854752
- Addison-Wesley, Reading, MA
- (1999) Objects, Components, and Frameworks with UML - The Catalysis Approach
- D'Souza, D.F.¹ Wills, A.C.²

9
- 0004189634
- Addison-Wesley, Reading, MA
- (1995) Design Patterns
- Gamma, E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

10
- 0006029363
- KeY - Integrated Deductive Software Design
- Haehnle, R.¹ Menzel, W.² Schmitt, P.H.³

11
- 84944231685
- A hoare calculus for verifying Java realisations of OCL - Constrained design models
- Springer Lecture Notes in Computer Science, Springer, Berlin
- (2001) Proc. FASE 2001 Conference , vol.2029 , pp. 285-300
- Hennicker, R.¹ Reus, B.² Wirsing, M.³

12
- 0006101919
- Alcoa
- Jackson, D.¹

13
- 0006067394
- JUnit

14
- 0003935837
- Morgan Kaufmann, Los Atlos, CA
- (1993) Understanding the new SQL: A Complete Guide
- Melton, J.¹ Simon, A.²

15
- 84945713135
- Applying "design by contract"
- (1992) IEEE Computer , vol.25 , Issue.10 , pp. 40-51
- Meyer, N.¹

16
- 0006029222
- UML v. 1.3 specification

17
- 84947712143
- A metamodel for the UML object constraint language OCL
- Springer Lecture Notes in Computer Science, Springer, Berlin
- (1999) Proc. UML'99 Conference , vol.1723 , pp. 156-171
- Richters, M.¹ Gogolla, M.²

18
- 84957023982
- Validating UML models and OCL constraints
- Springer Lecture Notes in Computer Science, Springer, Berlin
- (2000) Proc. UML 2000 Conference , vol.1939 , pp. 265-277
- Richters, M.¹ Gogolla, M.²

19
- 0006029364
- SableCC Homepage

20
- 78650610301
- From use cases to system operation specification
- Springer Lecture Notes in Computer Science, Springer, Berlin
- (2000) Proc. UML 2000 Conference , vol.1939 , pp. 1-15
- Sendall, S.¹ Strohmeier, A.²

21
- 0003809443
- Addison-Wesley, Reading, MA
- (1999) The Object Constraint Language, Precise Modeling with UML
- Warmer, J.¹ Kleppe, A.²

22
- 0006026918
- Diploma Thesis, Dresden University of Technology
- (2000) Utility support for checking OCL business rules in Java programs
- Wiebicke, R.¹

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