SCOPUS 정보 검색 플랫폼

Computer Journal

Volumn 45, Issue 1, 2002, Pages 111-128

A framework for developing and analyzing software architecture specifications in SAM

(2) He, Xudong a Deng, Yi b

a The Department of Electrical and Computer Engineering (United States)

b UNIVERSITY OF TEXAS AT DALLAS (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; HEURISTIC PROGRAMMING; PETRI NETS;

FIRST ORDER TEMPORAL LOGIC; SOFTWARE ARCHITECTURE MODEL; SOFTWARE ARCHITECTURE SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 0036168679 PISSN: 00104620 EISSN: None Source Type: Journal
DOI: 10.1093/comjnl/45.1.111 Document Type: Article

Times cited : (37)

References (38)

1
- 0035001149
- The coming-of-age of software architecture research
- IEEE Computer Society Press, Los Alamitos, CA
- (2001) Proc. ICSE 2001, Toronto, May , pp. 656-664
- Shaw, M.¹

2
- 0029291267
- Formal specification and analysis of software architectures using the chemical abstract machine model
- (1995) IEEE Trans. Software Eng. , vol.21 , pp. 373-386
- Inverardi, P.¹ Wolf, A.²

3
- 0029292854
- Specification and analysis of system architecture using Rapide
- (1995) IEEE Trans. Software Eng. , vol.21 , pp. 336-355
- Luckham, D.C.¹ Kenney, J.² Augustin, L.³ Vera, J.⁴ Bryan, D.⁵ Mann, W.⁶

4
- 0031193084
- A formal basis for architectural connection
- (1997) ACM Trans. Software Eng. Method , vol.6 , pp. 213-249
- Allen, R.¹ Garlan, D.²

5
- 0029288830
- Abstractions for software architecture and tools to support them
- (1995) IEEE Trans. Software Eng. , vol.21 , pp. 314-335
- Shaw, M.¹ Deline, R.² Klein, D.³ Ross, T.L.⁴ Young, D.M.⁵ Zelesnik, G.⁶

6
- 0032647644
- Introducing software architecture specification and analysis in SAM through an example
- (1999) Inform. Software Technol. , vol.41 , pp. 451-467
- Wang, J.¹ He, X.² Deng, Y.³

7
- 0033892696
- A classification and comparison framework for software architecture description languages
- (2000) IEEE Trans. Software Eng. , vol.26 , pp. 70-93
- Medvidovic, N.¹ Taylor, R.²

8
- 0000289556
- Formal methods: State of the art and future
- (1996) ACM Comp. Surveys , vol.28 , pp. 626-643
- Clarke, E.¹ Wing, J.²

9
- 0008394071
- Cambridge University Press, Cambridge
- (1992) Z Reference Manual (2nd Edn)
- Spivey, J.¹

10
- 0029390712
- Formalizing style to understand descriptions of software architecture
- (1995) ACM Trans. Software Eng. Method , vol.4 , pp. 319-364
- Abowd, G.¹ Allen, R.² Garlan, D.³

11
- 0003843704
- Prentice-Hall International, Englewood Cliffs, NJ
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

12
- 0008372765
- Integrating predicate transition nets and first order temporal logic in the specification of concurrent systems
- (1990) Formal Aspects Comp. , vol.2 , pp. 226-246
- He, X.¹ Lee, J.A.N.²

13
- 0034244487
- Specifying software architectural connectors in SAM
- (2000) Int. J. Software Eng. Knowledge Eng. , vol.10 , pp. 411-432
- He, X.¹ Deng, Y.²

14
- 0000678601
- System modeling with high-level Petri nets
- (1981) Theor. Comp. Sci. , vol.13 , pp. 109-136
- Genrich, H.¹ Lautenbach, K.²

15
- 0003799504
- Springer, Berlin
- (1992) The Temporal Logic of Reactive and Concurrent Systems-Specification
- Manna, Z.¹ Pnueli, A.²

16
- 84957711411
- A formal definition of hierarchical predicate transition nets
- Springer, Berlin
- (1996) Proc. 17th Int. Conf. on Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, June , pp. 212-229
- He, X.¹

17
- 0028424892
- The temporal logic of actions
- (1994) ACM Trans. Program. Lang. Syst. , vol.16 , pp. 872-923
- Lamport, L.¹

18
- 0003892474
- Springer, Berlin
- (1992) A Primer in Petri Net Design
- Reisig, W.¹

19
- 84882554856
- Structured analysis using hierarchical predicate transition nets
- IEEE Computer Society Press, Los Alamitos, CA
- (1992) Proc. 16th Int. Computer Software and Applications Conf. (COMPSAC'92), Chicago, September , pp. 212-217
- He, X.¹ Yang, C.H.²

20
- 0003871155
- Springer, Berlin
- (1992) Coloured Petri Nets
- Jensen, K.¹

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

22
- 0026206164
- A methodology for constructing predicate transition net specifications
- (1991) Soft. Pract. Exp. , vol.21 , pp. 845-875
- He, X.¹ Lee, J.A.N.²

23
- 0032288901
- Transformations on hierarchical predicate transition nets: Abstractions and refinements
- IEEE Computer Society Press, Los Alamitos, CA
- (1998) Proc. 22nd Int. Computer Software and Application Conf. (COMPSAC'98), Vienna, Austria, August , pp. 164-169
- He, X.¹

24
- 0026154452
- The existence of refinement mappings
- (1991) Theor. Comp. Sci. , vol.82 , pp. 253-284
- Abadi, M.¹ Lamport, L.²

25
- 0027342022
- Composing specification
- (1993) ACM Trans. Program. Lang. Syst. , vol.15 , pp. 73-130
- Abadi, M.¹ Lamport, L.²

26
- 0027680647
- Conjunction as composition
- (1993) ACM Trans. Software Eng. Method , vol.2 , pp. 379-411
- Zave, P.¹ Jackson, M.²

27
- 0024645936
- Petri nets, properties, analysis and applications
- (1989) Proc. IEEE , vol.77 , pp. 541-580
- Murata, T.¹

28
- 1242282135
- A temporal logic approach for analyzing safety properties of predicate transition nets
- Elsevier Science Publishers, North-Holland
- Proc. 12th IFIP World Computer Congress (Information Processing '92), Madrid, Spain, September , pp. 127-133
- He, X.¹ Ding, Y.²

29
- 0029193707
- A method for analyzing properties of hierarchical predicate transition nets
- IEEE Computer Society Press, Los Alamitos, CA
- (1995) Proc. 19th Ann. Int. Computer Software and Applications Conf. (COMPSAC'95), Dallas, TX, August , pp. 50-55
- He, X.¹

30
- 0035156176
- PZ nets-a formal method integrating Petri nets with Z
- (2001) Inform. Software Technol. , vol.43 , pp. 1-8
- He, X.¹

31
- 0020920624
- How to cook a temporal proof system for your pet language
- ACM Press, New York
- (1983) Proc. 10th ACM Symp. on Principle of Programming Languages, Austin, TX, January , pp. 141-154
- Manna, Z.¹ Pnueli, A.²

32
- 0003572108
- Springer, Berlin
- (1995) The Temporal Verification of Reactive Systems-Safety
- Manna, Z.¹ Pnueli, A.²

33
- 21344499324
- Models for reactivity
- (1993) Acta Inform. , vol.30 , pp. 609-678
- Manna, Z.¹ Pnueli, A.²

34
- 0032153859
- Compositional verification of concurrent systems using Petri-net-based condensation rules
- (1998) ACM Trans. Program. Lang. Syst. , vol.20 , pp. 917-979
- Juan, E.¹ Tsai, J.P.² Murata, T.³

35
- 85053861123
- A resource access decision service for CORBA-based distributed systems
- IEEE Computer Society Press, Los Alamitos, CA
- (1999) Proc. Annual IEEE Computer Security Applications Conference, Phoenix, AZ, December , pp. 310-319
- Beznosov, K.¹ Deng, Y.² Blakly, B.³ Burt, C.⁴ Barkley, J.⁵

36
- 23044526546
- Object orientation in hierarchical predicate transition nets
- Springer, Berlin
- (2001) Lecture Notes in Computer Science , vol.2001 , pp. 196-215
- He, X.¹ Ding, Y.²

37
- 0028380485
- Proving properties of real-time systems through logical specifications and Petri net models
- (1994) IEEE Trans. Software Eng. , vol.20 , pp. 127-141
- Felder, M.¹ Mandrioli, D.² Morzenti, A.³

38
- 0033337307
- Incremental modeling and verification of flexible manufacturing systems
- (1999) J. Intell. Manufact. , vol.10 , pp. 485-502
- Wang, J.¹ Deng, Y.²

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