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

메뉴 건너뛰기

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2001, Pages 294-295

Integrating informal and formal approaches to requirements modeling and analysis

(2) Cheng, B H C a Campbell, L A a

a Michigan State University (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; EMBEDDED SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

UNIFIED MODELING LANGUAGES (UML);

REQUIREMENTS ENGINEERING;

EID: 0034827486 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (3)

References (13)

1
- 0003453799
- ch. 1. P T R Prentice Hall
- (1994) Specification and Design of Embedded Systems
- Gajski, D.D.¹ Vahid, F.² Narayan, S.³ Gong, J.⁴

2
- 0003446054
- Santa Clara, CA 95051-0951, January
- (1997) UML Notation Guide, 1.0 ed.

3
- 18944390941
- The model checker SPIN
- May
- (1997) IEEE Transactions on Software Engineering , vol.23
- Holzmann, G.J.¹

4
- 0034999066
- A general framework for formalizing UML with formal languages
- Toronto, Canada, May
- (2001) Proc. of IEEE Int. Conf. on Soft. Eng. (ICSE01)
- McUmber, W.E.¹ Cheng, B.H.C.²

5
- 0002404838
- Towards a formal operational semantics of UML statechart diagrams
- Florence, Italy, February 15-18, 1999. Kluwer
- (1999) Proc. FMOODS99, IFIP TC6/WG6.1 3rd Int. Conf. on Formal Methods for Open Object-Based Distributed Systems
- Latella, D.¹ Majzik, I.² Massink, M.³

6
- 0002753319
- Automated translation of UML models of architecture for verification and simulation using SPIN
- Cocoa Beach, FL, October
- (1999) Proc. of IEEE Int. Conf. on Automated Soft. Eng.
- Bose, P.¹

7
- 0003223217
- UMLAUT: An extendible UML transformation framework
- Cocoa Beach, FL, October
- (1999) Proc. of IEEE Int. Conf. on Automated Soft. Eng.
- Ho, W.M.¹ Jezequel, J.-M.² Guennec, A.L.³ Pennaneac'h, F.⁴

8
- 0029386499
- A formal semantics of object models
- October
- (1995) IEEE Trans. on Soft. Eng. , vol.21 , Issue.10 , pp. 799-821
- Bourdeau, R.H.¹ Cheng, B.H.C.²

9
- 0030615486
- Formalizing and integrating the dynamic model within OMT
- Boston, MA, May
- (1997) Proc. of IEEE Int. Conf. on Soft. Eng. (ICSE97)
- Wang, E.Y.¹ Richter, H.A.² Cheng, B.H.C.³

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

11
- 0003955512
- Wiley
- (1993) Using Formal Description Techniques: An Introduction to Estelle, LOTOS and SDL
- Turner, K.J.¹

12
- 0002144741
- vUML: A tool for verifying UML models
- Cocoa Beach, FL, October
- (1999) Proc. of IEEE Int. Conf. on Automated Soft. Eng.
- Lilius, J.¹ Paltor, I.P.²

13
- 4344631926
- v-Promela: A visual, objectoriented language for SPIN
- IEEE Comp. Soc. Press, May
- (1999) 2nd IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing
- Leue, S.¹ Holzmann, G.²

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