-
3
-
-
16244374043
-
Adding performance evaluation to the LTSA tool
-
Department of Computing, Imperial College London
-
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)
-
(2003)
Technical Report
-
-
Ayles, T.1
Field, T.2
Magee, J.3
Bennett, A.J.4
-
4
-
-
20244375216
-
Performance modelling with UML and stochastic process algebras
-
Glasgow, Scotland.
-
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)
-
(2002)
18th UK Performance Engineering Workshop
-
-
Canevet, C.1
Gilmore, S.2
Hillston, J.3
Prowse, M.4
Stevens, P.5
-
5
-
-
0242339588
-
A QoS-oriented extension of UML statecharts
-
Springer-Verlag, Berlin
-
Jansen, D.N., Hermanns, H., Katoen, J.P.: A QoS-oriented extension of UML statecharts. In: UML 2003: The Unified Modeling Language, Modeling Languages and Applications, Lecture Notes in Computer Science, volume 2863, Springer-Verlag, Berlin (2003) 76-91
-
(2003)
UML 2003: the Unified Modeling Language, Modeling Languages and Applications, Lecture Notes in Computer Science
, vol.2863
, pp. 76-91
-
-
Jansen, D.N.1
Hermanns, H.2
Katoen, J.P.3
-
6
-
-
33746031722
-
A compositional semantics for UML state machines aimed at performance evaluation
-
Merseguer, J., Campos, J., Bernardi, S., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: 6th International Workshop on Discrete Event Systems. (2002) 295-302
-
(2002)
6th International Workshop on Discrete Event Systems
, pp. 295-302
-
-
Merseguer, J.1
Campos, J.2
Bernardi, S.3
Donatelli, S.4
-
7
-
-
0036989116
-
From UML sequence diagrams and statecharts to analysable Petri net models
-
Rome, Italy.
-
Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: WOSP 2002: Third International Workshop on Software and Performance, Rome, Italy. (2002)
-
(2002)
WOSP 2002: Third International Workshop on Software and Performance
-
-
Bernardi, S.1
Donatelli, S.2
Merseguer, J.3
-
9
-
-
0035783704
-
Detecting implied scenarios in message sequence chart specifications
-
Vienna, Austria.
-
Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: 8th European Software Engineering Conference, Vienna, Austria. (2001) 74-82
-
(2001)
8th European Software Engineering Conference
, pp. 74-82
-
-
Uchitel, S.1
Kramer, J.2
Magee, J.3
-
10
-
-
33751398888
-
Software performance models from system scenarios in use case maps
-
Springer-Verlag, Berlin
-
Petriu, D., Woodside, M.: Software performance models from system scenarios in use case maps. In: Computer Performance Evaluation, Modelling Techniques and Tools: Twelfth International Conference (TOOLS 2002), Lecture Notes in Computer Science, volume 2324, Springer-Verlag, Berlin (2002) 141-158
-
(2002)
Computer Performance Evaluation, Modelling Techniques and Tools: Twelfth International Conference (TOOLS 2002), Lecture Notes in Computer Science
, vol.2324
, pp. 141-158
-
-
Petriu, D.1
Woodside, M.2
-
11
-
-
35248891899
-
Performance analysis of a software design using the UML profile for schedulability, performance and time
-
Springer-Verlag, Berlin
-
Xu, J., Woodside, M., Petriu, D.: Performance analysis of a software design using the UML profile for schedulability, performance and time. In: Conference on Computer Performance Evaluation, Modelling Techniques and Tools (TOOLS 2003), Lecture Notes in Computer Science, volume 2794, Springer-Verlag, Berlin (2003) 291-310
-
(2003)
Conference on Computer Performance Evaluation, Modelling Techniques and Tools (TOOLS 2003), Lecture Notes in Computer Science
, vol.2794
, pp. 291-310
-
-
Xu, J.1
Woodside, M.2
Petriu, D.3
|