메뉴 건너뛰기




Volumn 3236, Issue , 2004, Pages 278-292

Integrating system performance engineering into MASCOT methodology through discrete-event simulation

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DISCRETE EVENT SIMULATION; FORMAL METHODS; INTEGRATION TESTING;

EID: 33749015001     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30233-9_21     Document Type: Article
Times cited : (6)

References (22)
  • 3
    • 0022709192 scopus 로고
    • Mascot 3 an Informal Introductory Tutorial
    • May
    • Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, May 1986, 95-102.
    • (1986) Software Engineering Journal , pp. 95-102
    • Bate, G.1
  • 6
    • 0004147880 scopus 로고
    • The SEI Series in Software Engineering, N. Habermann (ed.), Addison-Wesley, Reading, Massachusetts
    • Gomaa, H.: Software Design Methods for Concurrent and Real-time Systems. The SEI Series in Software Engineering, N. Habermann (ed.), Addison-Wesley, Reading, Massachusetts (1993).
    • (1993) Software Design Methods for Concurrent and Real-time Systems
    • Gomaa, H.1
  • 7
    • 35048901798 scopus 로고    scopus 로고
    • Harding, M. D.: MASCOT DESIGN GENERATOR (MADGE) v.6.0. Release Notification, 5096, issue 11, November 1998
    • Harding, M. D.: MASCOT DESIGN GENERATOR (MADGE) v.6.0. Release Notification, n. 5096, issue 11, November 1998.
  • 10
    • 0003041891 scopus 로고    scopus 로고
    • Performance Analysis of Multi-Class Data Transfer Elements in Soft Real-Time Systems using Semaphore Queues
    • E. Gelenbe (ed.), CRC Press, Boca Raton, Florida
    • Juiz, C., Puigjaner, R., Perros, H. G.: Performance Analysis of Multi-Class Data Transfer Elements in Soft Real-Time Systems using Semaphore Queues. System Performance Evaluation: Methodologies and Applications, E. Gelenbe (ed.), pp. 275-289, CRC Press, Boca Raton, Florida (2000).
    • (2000) System Performance Evaluation: Methodologies and Applications , pp. 275-289
    • Juiz, C.1    Puigjaner, R.2    Perros, H.G.3
  • 11
    • 0037092447 scopus 로고    scopus 로고
    • Performance modelling of pools in soft real-time design architectures
    • Juiz, C.; Puigjaner, R.: Performance modelling of pools in soft real-time design architectures. Simulation Practice and Theory, 9 (3,5):215-240, 2002.
    • (2002) Simulation Practice and Theory , vol.9 , Issue.3-5 , pp. 215-240
    • Juiz, C.1    Puigjaner, R.2
  • 12
    • 0012612029 scopus 로고    scopus 로고
    • Performance evaluation of channels for large real-time software systems
    • IEEE Computer Society
    • Juiz, C.; Puigjaner, R.; Jackson, K.: Performance evaluation of channels for large real-time software systems. In Proceedings of ECBS'98, pp. 69-76. IEEE Computer Society, 1998.
    • (1998) Proceedings of ECBS'98 , pp. 69-76
    • Juiz, C.1    Puigjaner, R.2    Jackson, K.3
  • 13
    • 0013282575 scopus 로고    scopus 로고
    • Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures: Performance Engineering
    • Juiz, C.; Puigjaner, R.; Jackson, K. : Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures: Performance Engineering, LNCS 2047, pp.300-316, 2001.
    • (2001) LNCS , vol.2047 , pp. 300-316
    • Juiz, C.1    Puigjaner, R.2    Jackson, K.3
  • 15
    • 3543103813 scopus 로고    scopus 로고
    • From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering
    • ACM press
    • Lopez-Grao, J. P.; Merseguer, J.; Campos, J.: From UML Activity Diagrams To Stochastic Petri Nets: Application To Software Performance Engineering. In Proceedings of WOSP 2004, ACM press, pp 25-36. , 2004.
    • (2004) Proceedings of WOSP , vol.2004 , pp. 25-36
    • Lopez-Grao, J.P.1    Merseguer, J.2    Campos, J.3
  • 16
    • 0020831745 scopus 로고
    • Implementing a Portable Fortran Uniform (0, 1) Generator
    • October
    • Marse, K.; Roberts, S. D.: Implementing a Portable Fortran Uniform (0, 1) Generator. Simulation, 41:135-139, October 1983.
    • (1983) Simulation , vol.41 , pp. 135-139
    • Marse, K.1    Roberts, S.D.2
  • 17
    • 35048893648 scopus 로고    scopus 로고
    • MBDA web site
    • MBDA web site: http://www.mbda.net/.
  • 18
    • 84941357354 scopus 로고    scopus 로고
    • Adapting MASCOT to software performance engineering using object-oriented simulation
    • Proceedings of IEEE Computer Society
    • Munar, O.; Juiz, C.: Adapting MASCOT to software performance engineering using object-oriented simulation. In ASTC, pp. 281-288. Proceedings of IEEE Computer Society, 2003.
    • (2003) ASTC , pp. 281-288
    • Munar, O.1    Juiz, C.2
  • 19
    • 0036992136 scopus 로고    scopus 로고
    • Unified System Builder through Interacting Blocks (USBI B) for Soft Real-time Systems
    • ACM Press
    • Savino, N.; Anciano, J. L.; Juiz, C.: Unified System Builder through Interacting Blocks (USBI B) for Soft Real-time Systems. In Proceedings of WOSP 2002, ACM Press, pp. 83-90, 2002.
    • (2002) Proceedings of WOSP 2002 , pp. 83-90
    • Savino, N.1    Anciano, J.L.2    Juiz, C.3
  • 20
    • 3543125975 scopus 로고    scopus 로고
    • Performance Modeling from Software Components
    • ACM Press
    • Wu, X.; Woodside, M.: Performance Modeling from Software Components. In Proceedings of WOSP 2004, ACM Press, pp. 290-301 , 2004.
    • (2004) Proceedings of WOSP 2004 , pp. 290-301
    • Wu, X.1    Woodside, M.2
  • 21
    • 0022708175 scopus 로고
    • Software Engineering Journal, May
    • Simpson, H. R.: The Mascot method, Software Engineering Journal, pp. 103-120, May 1986.
    • (1986) The Mascot Method , pp. 103-120
    • Simpson, H.R.1


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