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

메뉴 건너뛰기

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 989, Issue , 1995, Pages 254-271

An integrated formal model of scenarios based on statecharts

(1) Glinz, Martin a

a UNIVERSITY OF ZURICH (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

BUILDING BLOCKES; COMPOSITION RULE; EXTERNAL SYSTEMS; FORMAL MODEL; GENERAL SYSTEMS; INTEGRATED MODELING; SCENARIO MODELING; STATE CHARTS;

SOFTWARE ENGINEERING;

EID: 84955617643 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-60406-5_19 Document Type: Conference Paper

Times cited : (62)

References (9)

1
- 22944471593
- Using Scenarios in Deficiency-Driven Requirements Engineering
- San Diego
- Anderson, J. S., B. Dumey (1993). Using Scenarios in Deficiency-Driven Requirements Engineering. Proc. IEEE Int. Symposium on Requirements Engineering, San Diego. 134-141.
- (1993) Proc. IEEE Int. Symposium on Requirements Engineering , pp. 134-141
- Anderson, J.S.B.¹ Dumey, B.²

2
- 0026623616
- Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
- (Jan 1992)
- Coleman, D., F. Hayes, S. Bear (1992). Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Transactions on Software Engineering 18, 1 (Jan 1992), 9-18.
- (1992) IEEE Transactions on Software Engineering , vol.18 , Issue.1 , pp. 9-18
- Coleman, D.¹ Hayes, F.² Bear, S.³

3
- 4243763985
- Hierarchische Verhaltensbeschreibung in objektorientierten Systemmodellen - Eine Grundlage für modelłbasiertes Prototyping
- Züllighoven, H. et. al. (eds.), (Report 41 of the German Chapter of the ACM). Stuttgart: Teubner [Hierarchical Description of Behavior in Object-Oriented System Models - a Foundation for Model-Based Prototyping (in German)]
- Glinz, M. (1993). Hierarchische Verhaltensbeschreibung in objektorientierten Systemmodellen - eine Grundlage für modelłbasiertes Prototyping. In: Züllighoven, H. et. al. (eds.): Requirements Engineering '93: Prototyping. (Report 41 of the German Chapter of the ACM). Stuttgart: Teubner. 175-192. [Hierarchical Description of Behavior in Object-Oriented System Models - a Foundation for Model-Based Prototyping (in German)]
- (1993) Requirements Engineering '93: Prototyping , pp. 175-192
- Glinz, M.¹

4
- 0023365727
- Statecharts: A Visual Formalism for Complex Systems
- (1987)
- Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. Sci. Computer Program. 8 (1987). 231-274.
- (1987) Sci. Computer Program , vol.8 , pp. 231-274
- Harel, D.¹

5
- 0024016415
- On Visual Formalisms
- (May 1988)
- Harel, D. (1988). On Visual Formalisms. Communications of the ACM 31, 5 (May 1988). 514-530.
- (1988) Communications of the ACM , vol.31 , Issue.5 , pp. 514-530
- Harel, D.¹

6
- 0028400368
- Formal Approach to Scenario Analysis
- (March 1994)
- Hsia, P., J. Samuel, J. Gao, D. Kung (1994). Formal Approach to Scenario Analysis. IEEE Software 11, 2 (March 1994). 33-41.
- (1994) IEEE Software , vol.11 , Issue.2 , pp. 33-41
- Hsia, P.¹ Samuel, J.² Gao, J.³ Kung, D.⁴

7
- 0003504769
- Amsterdam, etc: Addison-Wesley
- Jacobson, I., M. Christerson, P. Jonsson, G. Övergaard (1992). Object-Oriented. Software Engineering: A Use Case Driven Approach. Amsterdam, etc: Addison-Wesley.
- (1992) Object-Oriented. Software Engineering: A Use Case Driven Approach
- Jacobson, I.¹ Christerson, M.² Jonsson, P.³ Övergaard, G.⁴

8
- 0028495490
- Requirements Specification for Process-Control Systems
- (Sept. 1994)
- Leveson, N.G. et al. (1994). Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering 20, 9 (Sept. 1994). 684-707.
- (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.9 , pp. 684-707
- Leveson, N.G.¹

9
- 0026923826
- Object Behavior Analysis
- (Sept 1992)
- Rubin, K.S., A. Goldberg (1992). Object Behavior Analysis. Communications of the ACM 35, 2 (Sept 1992). 48-62.
- (1992) Communications of the ACM , vol.35 , Issue.2 , pp. 48-62
- Rubin, K.S.¹ Goldberg, A.²

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