Twotowers 3.0: Enhancing usability

Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS

Volumn 2003-January, Issue , 2003, Pages 188-193

  Bernardo, M ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

Algebra; Analytical models; Architecture description languages; Computational modeling; Computer simulation; Graphical user interfaces; Performance analysis; Software tools; Stochastic processes; Usability

Indexed keywords

ALGEBRA; ANALYTICAL MODELS; COMPUTATIONAL LINGUISTICS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; GRAPHICAL USER INTERFACES; MODELING LANGUAGES; RANDOM PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; USER INTERFACES; VERIFICATION;

ARCHITECTURAL DESCRIPTION LANGUAGES; ARCHITECTURE DESCRIPTION LANGUAGES; COMPUTATIONAL MODEL; FUNCTIONAL VERIFICATION; PERFORMANCE ANALYSIS; STATE-SPACE GENERATION; STOCHASTIC PROCESS ALGEBRAS; USABILITY;

COMPUTER SOFTWARE;

EID: 3543107045     PISSN: 15267539     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MASCOT.2003.1240656     Document Type: Conference Paper

References (13)

1. S. Balsamo, M. Bernardo, and M. Simeoni, "Performance Evaluation at the Software Architecture Level", in Formal Methods for Software Architectures, LNCS 2804:209-260, 2003.
2. M. Bernardo, "TwoTowers 2.0 User Manual", www.sti.uniurb.it/bernardo/twotowers/, 2002.
3. M. Bernardo, "Symbolic Semantic Rules for Producing Compact STGLA from Value Passing Process Descriptions", to appear in ACM Trans. on Computational Logic, 2003.
4. M. Bernardo and M. Bravetti, "Performance Measure Sensitive Congruences for Markovian Process Algebras", in Theoretical Computer Science 290:117-160, 2003.
5. M. Bernardo, L. Donatiello, and P. Ciancarini, "Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language", in Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236-260, 2002.
6. R. Cavada, A. Cimatti, E. Olivetti, M. Pistore, and M. Roveri, "NuSMV 2.1 User Manual", nusmv.irst.itc.it/, 2002.
7. W.R. Cleaveland, T. Li, and S. Sims, "The Concurrency Workbench of the New Century - Version 1.2 - User's Manual", www.cs.sunysb.edu/?cwb/, 2000.
8. S. Gilmore, "The PEPA Workbench User Manual", www.dcs.ed.ac.uk/pepa/tools.html, 2001.
9. N. Götz, U. Herzog, and M. Rettelbach, "Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras", in Proc. of PERFOR- MANCE 1993, LNCS 729:121-146, 1993.
10. H. Hermanns, "Interactive Markov Chains", LNCS 2428, 2002.
11. J. Hillston, "A Compositional Approach to Performance Modelling", Cambridge University Press, 1996.
12. U. Klehmet and V. Mertsiotakis, "TIPPtool - User's Guide", www7.informatik.uni-erlangen.de/tipp/tool.html, 1998.
13. M. Shaw and D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996.