SCOPUS 정보 검색 플랫폼

Software: Practice and Experience

Volumn 25, Issue 12, 1995, Pages 1367-1401

Using formalized temporal message‐flow diagrams

(4) Citrin, Wayne a Cockburn, Alistair b,d Kanel, Jurg Von b,d Hauser, Rainer c

a UNIVERSITY OF COLORADO (United States)

b Humans and Technology (United States)

c IBM RESEARCH ZURICH (Switzerland)

d IBM T J WATSON RESEARCH CENTER (United States)

Author keywords

editors; formal methods; simulation; specification; visual languages

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FILE EDITORS; FORMAL LANGUAGES; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; SYSTEM PROGRAM DOCUMENTATION;

EVENT TRACES; FORMAL METHOD; GLOBAL MESSAGE-PASSING; INTERACTION DIAGRAMS; SEQUENCE CHARTS; TEMPORAL MESSAGE-FLOW DIAGRAMS;

DATA COMMUNICATION SYSTEMS;

EID: 0029545574 PISSN: 00380644 EISSN: 1097024X Source Type: Journal
DOI: 10.1002/spe.4380251205 Document Type: Article

Times cited : (4)

References (24)

1
- 84987236455
- IBM Corporation, December
- (1985) SNA Format and Protocol Reference Manual: Architecture Logic for LU Type 6.2. Vol. Document SC30–3269–3

2
- 84987175478
- CCITT Recommendation Z.100‐Annex D, SDL User Guidelines.

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

4
- 84987202157
- ‘Putting extended sequence charts to practice’, in SDL ′89: The Language at Work
- (1989) , pp. 3-10
- Grabowski, J.¹ Rudolph, E.²

5
- 0003504769
- Addison‐Wesley, Reading, MA
- (1992) Object‐Oriented Software Engineering
- Jacobson, I.¹ Christerson, M.² Jonsson, P.³ ÖVergaard, G.⁴

6
- 0003511049
- Prentice‐Hall, New York
- (1991) Object‐Oriented Modeling and Design
- Rumbaugh, J.¹ Blaha, M.² Premerlani, W.³ Eddy, F.⁴ Lorensen, W.⁵

7
- 84987218218
- ‘Visual specification of actor configurations’, IEEE Symposium on Visual Languages, St. Louis
- (1994) , pp. 110-117
- Vestli, H.¹

8
- 0024626992
- Escort: an environment for specifying communications requirements
- (1989) IEEE Software , vol.6 , Issue.2 , pp. 38-43
- Wakahara, Y.¹ Kakuda, Y.² Ito, A.³ Utsunimiya, E.⁴

9
- 0026262513
- ‘Design considerations for a visual language for communications architecture specifications’, IEEE Workshop on Visual Languages, Kobe, Japan
- (1991) , pp. 231-237
- Citrin, W.¹

10
- 84916504689
- A formalization of temporal message‐flow diagrams
- B. Jonsson, J. Parrow, B. Pehrson, (eds), North‐Holland, Amsterdam
- (1991) Protocol Specification, Testing, and Verification, XI
- Cockburn, A.A.R.¹

11
- 0028728268
- ‘Escalante: an environment for the rapid construction of visual language environments’, IEEE‐CS Symposium on Visual Languages St. Louis
- (1994) , pp. 15-22
- McWhirter, J.D.¹ Nutt, G.J.²

12
- 84987218199
- ‘Characterization, specification and generation of visual language applications’, Ph. D. Dissertation, University of Colorado
- (1994)
- McWhirter, J.D.¹

13
- 0024935621
- ‘Techniques for the formal definition of the G‐LOTOS syntax’, IEEE Workshop on Visual Languages, Rome
- (1989) , pp. 43-49
- Bolognesi, T.¹ Latella, D.²

14
- 0025550672
- ‘Visual grammars and incremental parsing for interface languages’, IEEE Workshop on Visual Languages, Skokie, IL
- (1990) , pp. 111-118
- Wittenberg, K.¹ Weitzman, L.²

15
- 0024912387
- ‘The specification of visual language syntax’, Proc. 1989 IEEE Workshop on Visual Languages Rome
- (1989) , pp. 105-110
- Golin, E.J.¹ Reiss, S.P.²

16
- 0025537135
- ‘A syntax and semantics for network diagrams’, IEEE Workshop on Visual Languages, Skokie, IL
- (1990) , pp. 104-110
- Marks, J.¹

17
- 84987183463
- ‘Earley‐style parsing for relational grammars’, Proc. IEEE Workshop on Visual Languages, Seattle
- (1992) , pp. 192-199
- Wittenberg, K.¹

18
- 0003770368
- University of Chicago Press, Chicago
- (1987) Women, Fire, and Dangerous Things
- Lakoff, G.¹

19
- 84987183472
- ‘Carla: a rule language for specifying communications architectures’, Technical Report CU‐CS‐742–94, Department of Computer Science, University of Colorado, Boulder, September
- (1994)
- Citrin, W.¹ Cockburn, A.A.R.²

20
- 84987229208
- ‘Requirements for graphical front ends for visual languages’, in Proc. IEEE 1993 Workshop on Visual Languages, Bergen, Norway
- (1993) , pp. 142-151
- Citrin, W.V.¹

21
- 84987250124
- Verlag der Fachvereine, Zürich
- (1992) Cut and Paste of Complex, Interrelated Objects , vol.34
- Von KÄNel, J.¹

22
- 35348849452
- ‘Style‐based cut‐and‐paste in graphical editors’, Proc. Workshop on Advanced Visual Interfaces, Bari, Italy
- (1994) , pp. 105-112
- Citrin, W.¹ Brodsky, D.² McWhirter, J.³

23
- 84916508561
- Simulation of communications architecture specifications using Prolog
- (1993) ACM SIGAPP Applied Computing Review , vol.1 , Issue.1 , pp. 10-17
- Citrin, W.¹

24
- 0004280480
- 3rd edn, Springer‐Verlag, Berlin
- (1987) Programming in Prolog
- Clocksin, W.F.¹ Mellish, C.S.²

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