Travelled to:1 × Cyprus
1 × Italy
1 × Switzerland
2 × Portugal
4 × Spain
Collaborated with:L.E.Mendoza L.E.M.Morales E.M.Méndez A.Grimán M.I.C.Tuñón M.Ortega K.B.Akhlaki K.Domínguez F.Losavio L.Chirinos M.I.Capel J.Garrido M.Rodriguez M.A.Reyes
Talks about:model (8) composit (4) qualiti (4) critic (4) verif (4) process (3) system (3) evalu (3) architectur (2) methodolog (2)
Person: María A. Pérez
DBLP: P=eacute=rez:Mar=iacute=a_A=
Contributed to:
20102010200920082008200820082006
2001Wrote 13 papers:
- ICEIS-ISAS-2010-MoralesTP #composition #process #verification
- Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
- ICEIS-ISAS-2010-PerezMDM #metric #quality #requirements #tool support
- Quality Measurement Model for Requirements Engineering Floss Tools (MAP, EMM, KD, LEM), pp. 249–254.
- ICEIS-J-2010-MoralesTP10a #composition #formal method #process #verification
- A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.
- ICEIS-DISI-2009-ReyesOPGMD #concept #quality #towards
- Toward a Quality Model for CBSE — Conceptual Model Proposal (MAR, MO, MAP, AG, LEM, KD), pp. 101–106.
- ICEIS-DISI-2008-MendezPM #testing
- Improving Software Test Strategy with a Method to Specify Test Cases (MSTC) (EMM, MAP, LEM), pp. 159–164.
- ICEIS-ISAS1-2008-MoralesTPA #communication #composition #concept #model checking #verification
- A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems (LEMM, MICT, MAP, KBA), pp. 86–93.
- ICEIS-ISAS2-2008-GrimanPOM #approach #quality #web
- Context-Oriented Web Methodology with a Quality Approach (AG, MAP, MO, LEM), pp. 213–219.
- ICEIS-ISAS2-2008-MendezPMO #named
- ITO-Tracker — A Tool for Evaluating ITO Projects based on Critical Success Factors (EMM, MAP, LEM, MO), pp. 170–175.
- ICEIS-ISAS2-2008-MendezPMO08a #outsourcing
- Critical Success Factors to Evaluate Information Technology Outsourcing Projects (EMM, MAP, LEM, MO), pp. 176–181.
- ICEIS-J-2008-MoralesCPA #composition #model checking #verification
- Compositional Model-Checking Verification of Critical Systems (LEMM, MIC, MAP, KBA), pp. 213–225.
- ICEIS-ISAS-2006-GrimanPGR #architecture #case study #collaboration #evaluation #ontology
- An Ontology for Architectural Evaluation — Case Study: Collaboration Systems (AG, MAP, JG, MR), pp. 310–315.
- ICEIS-ISAS-2006-GrimanPM #approach #development #guidelines #process
- Methodological Guidelines for SQA in Development Process — An Approach Based on the SPICE Model (AG, MAP, LEM), pp. 269–275.
- TOOLS-EUROPE-2001-LosavioCP #architecture #design #modelling #quality
- Quality Models to Design Software Architectures (FL, LC, MAP), pp. 123–135.