Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time-Reference-Cited by-同舟云学术

Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time

Published:2004 Issue: Volume: Page:143-157
ISSN:0302-9743
Container-title:< > 2004 - The Unified Modeling Language. Modelling Languages and Applications
language:
Short-container-title:

Author:

Bennett Andrew J.,Field A. J.,Woodside C. Murray

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30187-5_11.pdf

Reference14 articles.

1. Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)

2. Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley and Sons, Chichester (1999)

3. Ayles, T., Field, T., Magee, J., Bennett, A.J.: Adding performance evaluation to the LTSA tool. Technical report, Department of Computing, Imperial College London (2003)

4. Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. In: 18th UK Performance Engineering Workshop, Glasgow, Scotland (2002)

5. Lecture Notes in Computer Science;D.N. Jansen,2003

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UML-Driven Software Performance Engineering;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2013

2. Formal Semantics of a VDM Extension for Distributed Embedded Systems;Concurrency, Compositionality, and Correctness;2010

3. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++;FM 2006: Formal Methods;2006

4. Performance Engineering and Stochastic Modelling;Lecture Notes in Computer Science;2005

5. From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms;Formal Methods for Performance Evaluation