Publications
] Filters: Author is José Merseguer [Clear All Filters]
[PBMRI-96] .
1996. Descripción de la Herramienta CASE OO-Method. :47.
[MR-97] .
1997. La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
[PIPRM-97] .
1997. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
[RMBP-98] .
1998. Una Herramienta de Generación Automática de Software. :157-169.
[MCM-JJCC-00] .
2000. Evaluating Performance on Mobile Agents Software Design. :291-307.
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[MCM-WOSP-00] .
2000. A Pattern Based Approach to Model Software Performance. :137-142.
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[MCM-JJCC-01] .
2001. Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
[MCM-MSWiM-01] .
2001. Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[Merse-Phd] .
2003. Software Performance Engineering based on UML and Petri nets.
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
[MC-SERP03] .
2003. Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[BCDM-TSE] .
2004. GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[MC-LNCS-04] .
2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[BDM-Tutorial] .
2005. On derivation of Petri net quantitative models from UML software system specifications.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
