aquellos métricas para modelos constituyen indicadores más tempranos que garantizan La

Tamaño: px
Comenzar la demostración a partir de la página:

Download "aquellos métricas para modelos constituyen indicadores más tempranos que garantizan La"

Transcripción

1 Instructor: (especialmente Destinatarios: Requisitos Mg. para Luis Alumnos Reynoso, Universidad del Comahue. 5.- diagrama los destinatarios: grado y graduados. Calidad clases, Los alumnos deberán contar con conocimientos de UML Modelos diagramas UML/OCL transición combinados. colaboraciones). Cupo: sin restricción de cupos. de estados y diagramas de Equipamiento Idioma: utilizado contenidos castellano. por del los curso requerido: alumnos (aproximadamente que computadora incluye slides 110 portátil, hojas). utilizadas cañón, y fotocopias puntero láser, de un fotocopias documento del sobre material los la de Requisitos Para la aprobación para la del aprobación. La ejecución expresiones ejercitación de OCL un que experimento realizan en curso modelos controlado UML/OCL alumnos asistentes ha deberán donde combinados. sido se minuciosamente aprobar medirá una la entendibilidad ejercitación, controlada, la y debido cual modificabilidad es a parte que de En Breve misma los descripción últimos parte años, un de experimento. la los importancia desarrolladores modelos software UML/OCL han prestado combinados una atención especial la etapas conceptuales. garantizar iniciales las A características pesar su de ciclo que la vida, fase calidad centrándose modelado sistemas conceptual especialmente orientados representa la a objetos calidad solamente (OO) de una los desde modelos pequeña las a Development) Recientemente, porción finalmente del se esfuerzo implementa algunos global paradigmas es probablemente del desarrollo como mayor Desarrollo que sistema, el Dirigido de el cualquier impacto por otra Modelos sobre fase. el sistema utilización y la Arquitectura Dirigida por Modelos Architecture) consideran sistemas los modelos OO, recalcando independientes la importancia la plataforma construir son la buenos espina dorsal modelos conceptuales. desarrollo los aquellos métricas para modelos constituyen indicadores más tempranos que garantizan La modificabilidad, las propiedades atributos de estructurales calidad externa los que modelos se tratan UML de preservar no impactarán un manera (comprensibilidad, significativa (Model-Driven Por otro lado, si etc.) bien aparición de UML (Unified Modeling (Model-Driven modelamiento muchas utilizando solamente las ha restricciones supuesto las notaciones un del gran sistema avance gráficas que en que se pro proporciona necesitan de construir modelar UML. Language) modelos Estas no pueden como restricciones mayor lenguaje expresarse calidad, son de escritas iniciales comúnmente del desarrollo. en Con lenguaje OCL se OCL especifican (Object expresiones Constraint precisas Language) que durante se asocian las etapas nivel elementos permite de obtener madurez. básicos modelos Además, coherentes modelos OCL facilita UML. y completos, la La documentación combinación independientes del sistema, los de lenguajes plataforma mejora UML comunicación y y con OCL a alto nos los entre que La niveles utilidad la ingenieros expresividad de modelamiento, OCL software como sistema nivel elemento (evitando en de etapas modelos esencial errores iniciales (M1) producidos la y sea nivel calidad mayor. metamodelos por modelos malas interpretaciones) es (M2). ejemplificada Se enseña y en a hace dos En alumnos lado, este se curso, ejemplifica a definir los ejes restricciones utilidad principales semánticas OCL serán: para y definir expresiones formalmente de consulta métricas en ambos para modelos niveles. UML. Por otro los Modelos, Niveles de metamodelos de UML (M0, M1, M2 y M3), y Niveles Madurez de - Calidad de Modelos y Métricas: Se brinda una introducción definiendo los conceptos de

2 Modelamiento Atributos Se Identificación, describen los calidad (MML). principales interna Se introduce fases y externa. de a un los Definición Marco alumnos Metodológico en metodológica características para de la de métricas definición Calidad para de Modelos. Empírica, Definición Creación, formal y de sus Métricas. sub-fases: Definición, Validación Teórica y Validación métricas: modelos. para uso, Métricas modelos para UML, Modelos para diagramas UML: Se de presenta clase, un diagrama estado del estados, arte de diagramas las métricas de existentes complementar El y Lenguaje expresiones Modelos: OCL. Restricción Se presenta los Objetos conceptos (OCL) esenciales como de elemento OCL, poniendo esencial énfasis casos en de la ejemplifica aumentar Definiendo combinación la como calidad restricciones OCL propiedades los permite mismos. semánticas definir OCL en restricciones para modelos demostrar M1: sobre Se la los muestra expresividad elementos como del lenguaje lenguaje. modelo OCL Se - se distintos Coherencia puede utilizar tipos y consistencia de complementando diagramas de modelos UML: restricciones UML. diagramas semánticas de clase, y diagramas consultas en de nivel estados, M1, para Definiendo puede utilizar restricciones complementando semánticas restricciones en modelos semánticas M2: Se muestra y consultas como en el lenguaje nivel M2. OCL etc. presenta instanciaciones un caso del metamodelo Estudio, de metamodelo diagramas estados. diagramas Se muestra de Estados. la definición Se ejemplifican formal Se el Como cual métricas requisito consistirá para de diagramas aprobación una serie Estados de curso ejercicios utilizando los alumnos sobre el lenguaje participarán la entendibilidad OCL. un experimento y modificabilidad controlado, expresiones de Castilla familia de OCL experimentos en modelos que UML/OCL se han ejecutado combinados. previamente El experimento la UCLM que se realizará es parte Nacional Contenido La del a Mancha, Comahue, desarrollar España), Argentina), como parte UA UACh (Universidad curso (Universidad de Alicante, Austral de España), Chile). UNC (Universidad de Medidas Definición Calidad Modelos. Creación, proceso Model-Driven y sus Calidad. Modelos. sub-fases: Marco Architecture Niveles Definición, Metodológico de Modelos (MDA). Validación y Calidad para de Madurez. Teórica la de definición Modelos. y Importancia Validación de Estándares métricas: de Empírica, los Internacionales. Identificación, modelos Definición el formal Métricas modelos expresiones de Métricas. El UML, para OCL. Modelos para diagramas UML. de Se clase, presenta diagrama un estado de del estados, arte de diagramas las métricas de casos existentes de uso, para Modelos. Lenguaje Importancia de Restricción de su utilización. Objetos Usos (OCL) de como OCL. elemento OCL en el esencial proceso para MDA. complementar Calidad en y por combinados. Colecciones. Contrato. Conceptuales Conceptos Ventajas. Orientados Modelos básicos. UML/OCL a Tipos Objetos. Niveles combinados. expresiones de madurez Usos en OCL. de de OCL. Modelos Propiedades Modelos (MMLs). UML/OCL en Diseño estados. Conceptos Claves La para utilización la implementación OCL en de modelos diagramas UML/OCL de clases combinados. y diagramas transición OCL. Invariantes. Básicos Pre- y Post- de OCL. Condiciones. La instancia Navegaciones contextual. Simples Principales y combinadas. tipos expresiones. Colecciones de Predefinidas Indefinidos. Otros tipos en el de lenguaje Expresiones OCL. OCL: Conformidad Atributos/Operaciones de Tipos. Reglas adicionales de Precedencia. definidos iniciales Objetos expresiones y Derivados. Propiedades. <<definition>>. Reglas Atributos derivación. Expresiones como propiedades. Let. Expresiones Operaciones Query. como consulta. Propiedades. Valores a partir Definiendo Operaciones. Extremos Asociación como Propiedades. Navegaciones.

3 Navegación o Colecciones. Conformidad mas. Combinando a Clases Colecciones propiedades. de Asociación. de colecciones. Propiedades Navegación predefinidas Jerarquía Asociaciones en de todos Colecciones. con los multiplicidad objetos. Reglas cero colecciones. Reject, ForAll, Operaciones Exists, tipos. Iterate. Valores de Otras Colección: previos operaciones en Collect, Postcondiciones. de Colección. Forma resumida Forma general de Collect, de especificar Select, de Ciclos Completando Condiciones. en Modelos Modelos Clase. UML Multiplicidad (nivel M1) (StateCharts). Diagramas Valores Ejemplo de de un los Componentes. diagrama parámetros de Dinámica. Completando Control actuales. Multiplicidad de Completando Procesos diagramas simple. Opcional. de Diagramas Interacción. Guardas. Restricciones de Instancias. Acciones. Estados Or. Valores Evento de cambio. Parámetros Restricciones actuales. Recomendaciones restricciones Evitar expresiones and. Nombrar para navegación la siempre especificación en Estados. complejas. extremos Claves correcta de Elegir asociación para la adecuadamente especificación expresiones OCL. el de contexto. expresiones Coherencia Dividir OCL. consistencia Restricciones Niveles de de Especificación y modelos Consultas UML. en Metamodelos Modelos. Metamodelos (nivel M2) de UML y OCL. Ejemplos y Instanciacion. ser Claves elementos utilizado para OCL la Utilizando Implementación para especificar el metamodelo la definición modelos Diagramas UML/OCL métricas combinados. Estados, para diagramas se ejemplifica Implementación de Estados. como puede (representación Implementación el modelo una tipos librería UML/OCL: enumerados, estándar. Implementación clases, interfaces, atributos, estados de expresiones asociaciones, de diagramas (acceso otros a de propiedades, elementos estados). los implementación reglas Bibliografía: 1. de B. Anda, derivación, H. los Dreiem, elementos etc). D. Ubicando I. del K. Sjoberg, modelo: los fragmentos and expresiones M. Jorgensen. de invariantes, código Estimating de pre- las Software y postcondiciones. expresiones Development en la 2. International Alexander. Effort Tools, Based pages Conference Visualising 487_502, Use Cases-Experiences on London, Requirements The Unified UK, Modeling from Springer-Verlag. UML. Industry. Language, Telelogic In UML Modeling '01: Newsbyte. Proceedings Languages, Available of Concepts, the 4th 3. E. Proceedings USA, Arisholm IEEE of Dynamic the Computer 8th International Coupling Society. Measures Symposium for reqts_in_uml/reqts_in_uml.htm., on Object-Oriented Software Metrics, Software. page 33, In Washington, METRICS DC, '02: in Engineering: Artifacts, Methods, An E. International Arisholm, and Processes: S. Journal, Counsell, State 4(4):385_402, of F. the Houdek. Art and December Empirical Future Directions. Studies Empirical of Object-Oriented 6. Engineering, Guidelines L. C. Briand, on on 27(6):513_530, the C. the Bunse, Maintainability Maintainability and J. W. of Object-Oriented Daly. of Object-Oriented A Controlled Designs. Experiment Designs. IEEE Transaction Software for Evaluating Engineering, on Software Quality 7. 27(6):513_530, V. R. Basili, L Assessment. J. B. Quality Bansiya Bernandez, Indicators. and IEEE A. C. C. Transaction IEEE Duran, Briand, G. Transaction Davis. and and M. W. A Software Genero. Hierarchical L. on Melo. Software Engineering, An Validation Empirical Engineering, Model 28(1):4_17, of for Review Object-Oriented 22(10):751_761, of Use Cases Design Design Metrics Metrics Quality for as Requirements (SMEF'04)., Proceedings of P. the Veri_cation. Devanbu, 19th international and Proceedings W. Melo. conference of An the Investigation Software engineering, into Measurement Coupling pages Measures European 412_421, for Forum Object-Oriented L. C. Briand, J. Systems. W. Daly, Fraunhofer and J. W. Institute ust. A Uni_ed for Experimental Framework Software for Coupling Engineering, Measurement C++. in

4 Workshop L. Object-Oriented 3(1):65_117, Baroni C. Briand, and on Object-Oriented J. F. W. Brito Systems. Daly, e Abreu. and Empirical Re-Engineering J. A W. Formal ust. Software A Library Uni_ed at ECOOP'2003. for Engineering: Framework Aiding Metrics Darmstadt, for An Cohesion Extraction. International Germany., Measurement International Journal, in Designs. J. L. Quality Bansiya, C. Briand, Factors The L. Journal S. Etzkorn, in Object-Oriented Ikonomovski, of Object-Oriented C. Davis, H. Designs: and Lounis, W. Programming, Li. an and Industrial A J. Class Wust. 11(8):47_52, Case Cohesion A Study, Comprehensive Metric For Investigation Object-Oriented 17. H. Conference C. Baumeister, Briand, Y. Software A. Labiche, Knapp, Engineering and M. Y. Wirsing. Miao. and Formal Towards Property-Driven Methods, the Reverse pages Development. Engineering 96_102, Second of UML International Sequence of Diagrams. page C. 57, Washington, In WCRE S. Morasca, '03: DC, Proceedings and USA, V. Engeneering, R. Basili. of IEEE the Property-Based 10th Computer Working Society. Conference Software Engineering on Reverse Measurement. Engineering, IEEE Software L. B. Binkley C. Transactions Briand, Engineering, and S. S. Morasca, R. on Schach. Software Measurement: 23(3):196_197, and Validation Engineering, V. Refining R Basili. of the 22(1):68_86, the Coupling Response Additivity Dependency to: Properties". Comments Metric IEEE on as "Property-Based Transactions a Predictor 22. Run-Time conference R. Object-Oriented K. Bandi, Failures on Software V. Design K. and Vaishnavi, Maintenance engineering, Complexity and pages Measures. D. Metrics. E. 452_455, Turk. ICSE IEEE Predicting '98: Transaction Proceedings Maintenance on of Software the Performance 20th Engineering, international of Design 29(1):77_87, Properties. Measures and W. and IEEE J. ust, W Software Transactions st. J. W. Modeling Quality Daly, on and Development Software Object-Oriented D. V. Porter. Engineering, E_ort Exploring Systems. Object-Oriented 27(11):963_986, The the Journal Relationships of Systems Systems between Using 25. Software, C. Briand, 51(3):245_273, J. Wust, and H. Lounis. Using Coupling Measurement for Impact Analysis and 26. Object-Oriented Maintenance, W Systems. pp. H. 475, ICSM Lounis: '99: Software Proceedings Engineering., of the IEEE 6(1):11_58, International Conference on in L. M. in Object-Oriented C. Cartwright. Briand, J. An Wust, Designs. Empirical and H. Empirical View Lounis. of Replicated Softw. Inheritance. Engg., Case (1):11_58, Studies S. R. for Chidamber, Investigating D. P. Quality Darcy, Factors F. IEEE H. Kemerer. Christian. R. Transactions Chidamber Managerial OCL-Constraints and Software C. Use F. Kemerer. for Metrics Engineering, UMM for Towards Business Object-Oriented 24(8):629_639, a Collaborations. Metrics Software: Suite for An Object Exploratory Oriented Analysis. Design. and C Object 197_211, Chidamber Software R. Chidamber Oriented Engineering, and Programming: C. and Kemerer. C. 20(6):476_493, F. Kemerer. A Systems, Metrics A Suite Languages Metrics for Object Suite and Oriented for Application. Object Design. Oriented OOSPLA IEEE Design. Transactions '91., pages 33. Transactions S. Manifiesto Cook, A. on on Kleepe, OCL. Software Tony R. Engineering, Mitchell, Clark and B. Jos 20(6): , Rumpe, Warmer, J. editors, Warmer, Advances and A. in Wills. The Modelling Amsterdam IEEE 34. M. the Carbone OCL, pages and 115_149, G. Santucci Fast and Serious: a UML Based Metric for Effort Estimation. with International L. of Correa Transactional and (QAOOSE ECOOP C. M. Business L. Werner. Workshop 2002)., Software. pages Precise on 35_44, Quantitative Specification Proceedings Approaches and 12th Validation IEEE in International Object-Oriented Requirements Software 6th Engineering Conference, pages 16_25, 2004.

5 pages M. J. conference Geographic Daly, Casanova, 69_70, A. Brooks, on Data Object-oriented T. (Poster Wallet, J. Miller, Session). and M. programming, Roper, M. OOPSLA D'Hondt. and M. systems, '00: Adaptations Wood. Addendum languages, An Empirical to to OCL and the Study applications for 2000 Ensuring Evaluating proceedings (Addendum), Quality Depth of the of of K. Inheritance Maintainability Conference Derr. Applying on on the Reverse with Maintainability and OMT. Object-Oriented Engineering, R. Carapu SIGS of Books, a. pages Object-Oriented Object-Oriented Metrics 155_164, M. An Software. Dagpinar Empirical Software and Engineering: Comparison. J. H. Jahnke. Measuring 10th Predicting Working 41. Evaluation Controlling Mc Brito Lean, e VA, Using Abreu, the USA., Development the R. pages MOOD Esteves, 3_5, Process. Metrics. and M. Proceedings Goulao. The of Design TOOLS 4th Int Conference Eiffel 96 Programs: (Technology on Software Quantitative of Quality, and Quality, Oriented Languages Abreu, M. and Goulao, Systems), and R. Santa Esteves. Barbara, Towards California, the Design USA., Quality Quality. F. Brito 3rd Austin, e Software International Texas, and System. W. USA., Metric Melo. Proceedings Evaluating Symposium., of the the Impact 5Th of International Conference Evaluation Design on of Software Object J. K. Report, Eder, Emam, El Emam. University G. S. Kappel, Benlarbi, Object-Oriented of and Klagenfurt, N. M. Goel, Schre Metrics: and Coupling S. Rai. A Review A and Validation Cohesion of Theory of in Object-Oriented and object-oriented Practice. pages Metrics. systems. 23_50, Technical 48. Friis-Christensen, P. Geographic Advances in Data geographic Modeling. N. Tryfona, information GIS and '01: systems, Proceedings C. S. pages Jensen. of 2-8, the Requirements th ACM international and Research symposium Issues Communication Feldt. Requirements Systems, Lund Metrics Institute Based of on Technology, Use Cases. Lund Master's University, Thesis. Box Department 118, S-221 on 00 of in Lund, Symposium S. 425_426, Flake. Sweden., Real-time of Flake and on W. Mueller. Object-Oriented Constraints Speci_cation with Real-Time the of Real-Time OCL. Distributed Proceedings Properties Computing. of for the UML Fifth (ISORC Models. IEEE 2002), International the 35th Annual Hawaii International Conference on System Sciences, pages Proceedings 3977_3986, pages M. Glasberg, R. on Fowler a Commercial K. and El-Emam, K. Scott. Java Application. W. UML Melo, Distilled. and Technical N. Second Madhavji. Report, Edition. Validating National Addison-Wesley, Object-Oriented Research (UMT). NRC/ERB- Gronmo The 1080, and First J International Oldevik. An Conference Empirical Study on Interoperability of the UML Model of Enterprise Transformation Council Design Software Canada, Metrics Tool (4):495_515, M. Applications Genero, M. M. (INTEROP-ESA), Piattini, and and M. C. Calero Calero. (Eds.). Early Metrics Measures For Software for UML Conceptual Class Diagrams. Models. L Objet, and Engineering Proceedings Hamie. Enhancing Translating of Conference S. the 2004 the the Object ACM APSEC Constraint symposium R. 99. Nithi. Proceedings. Language on Coupling Applied Sixth for into Metrics computing, More Asia the Java Expressive Paci_c, for Modelling pages Object-Oriented pages Speci_cations. 1531_1535, 376_383, Language. Design SAC Software '04: International Software R. Harrison, Metrics. S. Software J. Counsell, IEEE Metrics Transaction and and R. Symposium R. Nithi. V. on Nithi. Experimental Software Metrics, An Evaluation Engineering, pages Assessment 150_156, of the 24(6):491_496, MOOD of the Effect Set of of Object-Oriented Inheritance 5th (2_3):173_179, M. the Symposium Hitz Maintainability and on B. Applied Montazeri of Corporate Object-Oriented Measuring Computing, Coupling Systems and Cohesion The Journal in Object-Oriented of Systems and Systems. Software, Int. on

6 62. Henderson-Sellers, a Standard Metrical D. Approach. Zowghi, T. 8th Klemola, Object-Oriented and S. Parasuram. Information Sizing Systems, Use Cases: Lecture How to Notes Create H. P. ASsessment. Computer In, Hussmann S. Kim, Science, Upgrade, and M , S. Barry. Zschaler. Vol. pages V, UML-Based issue 409_421, The no. 2, Object-Oriented pages Constraint 25_28, Language Metrics for UML Architecture 2.0 Overview Complexity and in 65. Transformation. S. Analysis. The R. Aerospace Judson, Proceedings Corporation., D. OOPSLA L. of Carver, Ground '03: Companion and System R. Architectures B. of France. the 18th A Workshop annual Metamodeling ACM (GSAW SIGPLAN Approach 03), El conference Segundo, to Model CA, A Jacobson, Kang. Object-oriented Use Case A Complexity M. Driven Christerson, programming, Approach. Measure P. Jonsson, Addison systems, for Ontology and Wesley, languages, G. Overgaard. Based and on applications, UML. Object-Oriented FTDCS pages '04: Software 326_327, Proceedings Engineering: of the on (FTDCS'04), G. H. 10th Karner. Kim IEEE and Metrics International pages C. for Boldyre_. 222_228, objectory. Workshop Developing Master on Thesis, Future Software Linkuping Trends Metrics of University, Distributed Applicable Linkuping, Computing to UML Systems 70. Proceedings Lake Software and Engineering. C. of Cook. the Use 6th Malaga, International a Factor Spain, Analysis Workshop pages to 67_76, Develop on Quantitative OOP Software Approaches Complexity Object-Oriented Metrics. Models. 71. Statechart J. Ann. A. Oregon C. Lemus, Diagrams Workshop M. Understandability Genero, Software J. A. Metrics, Olivas, Using F. Fuzzy P. Romero, Logic-Based and M. Techniques. Piattini. Predicting Proceedings UML Sixth 72. (SEKE'2004), the J. A. Nesting Sixteenth C. Lemus, Level Alberta, International M. of Genero, Composite Canada, Conference J. A. June States Olivas, 20-24, Within on F. 2004, P. Software Romero, pages Statechar Engineering 238_245, and M. Diagrams. Piattini & Knowledge An Proceedings Empirical Engineering Study of First of 73. International 12_22, Workshop M. on J. Best A. Olivas, Practices F. of P. Romero, UML, BP-UML and M. Piattini. 2005, ER Evaluating (Workshops), the E_ect pages 74. Composite Statechard Software J. A. C. Lemus, Conceptual Diagrams. States M. on Genero, Models. Proceedings the Understandability Genero, M. of Piattini. the MODELS, Metrics and of UML Calero pages for States UML (eds.), 113_125, Statechart on Understandability Diagrams. Metrics of UML for of and W. M. Y. S. Lorenz Li Software, Lee, and and B. S. S. 23(2):111_122, Henry. J. Liang, Kidd. Object-Oriented S. F. Wu, and F. Metrics Software J. Wang. that Metrics: Measuring Predict A Maintainability. Practical the Coupling Guide. and Journal Cohesion of Systems 78. Quality, Object Software M. Marchesi. Oriented Maintenance OOA Program Metrics and Reengineering, Based for the on Uni_ed Information pages Modeling 67_73, Flow. Language International 2nd Euromicro Conference Conference Software on an G. Miranda, Driven Companion systems, Miller, Architecture: languages, A. of Evans, the 18th and I. How applications, Jacobson, annual Far ACM Have H. pages Jondell, SIGPLAN We 273_274, Come, A. conference Kennedy, How Far S. on Mellor, Can Object-oriented We and Go? D. Thomas. OOPSLA programming, Model Diagrams. M. Fifth Genero, International and M. Conference Piattini. Empirical Enterprise Validation Information of Metrics Systems for (ICEIS UML 03), Statechart pages '03: _95, S. Muthanna, Seventh Industrial USA, N. Medvidovic, Working Software IEEE K. D. Ponnambalam, Conference Computer Systems S. Rosenblum, Society. Using on K. Reverse Kontogiannis, Design D. F. Engineering Redmiles, Level and Metrics. (WCRE'00), and B. Stacey. J. E. WCRE Robbins. A page Maintainability '00: 248, Modeling Proceedings Washington, Model Software DC, the for 83. Architectures 11(1):2_57, Muthiayen. PVS. Ph.D Thesis, Real Time the Deparment Reactive Uni_ed of Modeling System Computer Development Language. Science at - Concordia ACM A Formal Trans. University, Approach Softw. Based Montreal, Eng. Methodol., UML Canada., and

7 Approach Nebut, Professional, [MV04] F. Fleurey, volume 6(5):53_59, B. Y. A. 32, Le Malloy pages Traon, _155, and and J. J. M. Jezequel Voas. OCL Programming Automatic Final Adopted Test with Generation: Assertions: A Use a Prospectus. Case Driven IT ptc/ , Object ad/ , Management Group OMG. UML UML MOF Speci_cation. 2.0 QVT OCL Final Available OMG Adopted Document Specification Specification. formal/ , (FTF OMG Report). Document Document Solutions ptc/ , on Time A Fresh and Innovative Approach to Systems Development OMG 90. Software solutions.com/omx/pages/metric_data.htm#usecase-metrics., O. Patrascoiu. YATL: Project Yet Another Management. Transformation Available Language First in European Workshop and 91. Model Enschede, Report DTEW9937, Driven the Netherlands., Architecture Dept. Distance: Applied with A Emphasis Economics, Framework on Katholieke Industrial Software Universiteit Application. Measure Leuven, Construction. University Belgium, of Research Twente, 46 p. on Ph.D. Poels. Oriented Reengineering, and On Business the G. Formal Dedene. pages Domain 20_29, Aspects Evaluating Models of the the Fifth Measurement E_ect European of Inheritance of Conference Object- Oriented on the Software Modi_ability Software Maintenance Speci_cations. of Object- Leuven, Thesis. Belgium., Faculty of Economics and Business Administration. Katholieke Universiteit and M. Roussev. of the Richters. Bremen Generating A Institute Precise OCL Approach of Safe Speci_cations Systems, to Validating and UML Class Models Diagrams and from OCL Use Constraints. Cases: A Monographs 96. System Computer Approach. Sciences In HICSS (HICSS'03) '03: Proceedings - Track of 9, the page 36th 321.2, Annual Washington, Hawaii International DC, USA, Conference Newtonian of M. Method Saeki. Society. Embedding Engineering Metrics Technique. into Information Lecture Notes System Computer Development Science Methods: 2681, pages An Application 374_389, IEEE L. S the 217_224, Model Sourrouille Sendall. 14th Driven international Supporting and Architecture: G. Caplat. conference Model-to-Model Foundations Constraint Software Checking Transformations: and Applications. engineering UML Modeling. The Proceedings and VMT knowledge SEKE Approach. published '02: engineering, Proceedings Workshop Technical pages on of 99. Design R. Report Subramanyam TR-CTIT-03- Complexity: and Implications 27. M. University S. Krishnan. for of Software Twente, Empirical Defects. The Analysis Netherlands., IEEE of Transaction CK Metrics Software for Object-Oriented (2):115_139, W. 29(4):297_310, Stevens, G Myers, and L. Constantine. Structured Design. IBM Systems Engineering, 102. Software.Available Smith. M. Satpathy, The Estimation N. T. Siebel, of E_ort and based D. Rodriguez. Use Cases. Assertions (Rational Software in Object white Oriented paper) Software Rational Journal, th G. Schleicher Maintenance: Schneider Annual Maintenance, and Hawaii and Analysis B. J.P. Westfechtel. International Winters. pages and Case 124_133, Applying Beyond Conference Study Stereotyping: Use Proceedings. Cases: on System A Metamodeling Practical 20th Sciences, IEEE Guide. 3:3051_3052, International Approaches Addison Wesley, Conference for the UML International Tchertchago. M. Unger, Computer Tang, L. M. Prechelt, Science. Symposium Analysis Kao, Dresden and of M. on the Chen. Philippsen. University Software Metamodeling An Empirical Metrics, of The Technology, Impact Semantics pages Study of 242_249, Inheritance on for Object-Oriented OCL Masther Depth Thesis. Metrics. Maintenance Department Sixth Tasks: IEEE of Karlsruhe Detailed Description University: Karlsruhe, and Evaluation Germany.), of Two Experiment Replications. (Technical Report,

8 Constraints International Ontology-domain-system Verheecke X. Wang, C. and Conference W. R. Object-Oriented Chan, Van on Der Approach. Tools H. Straeten. J. Pacific, Applications. Hamilton. SEKE Specifying pages '02: Design Proceedings 23_32, CRPITS and of Implementing Knowledge- '02: of the Proceedings 14th based the international Operational Systems of the conference with Fortieth Use the of 110. Warmer Software and engineering A. Kleppe. and The knowledge Object Constraint engineering, Language. pages Precise 233_236, Modeling Models J. Technology Warmer Ready and Series. for A. MDA. Addison Kleppe Wesley, The Object Constraint Language. Second Edition. with Getting UML. Object Engineering H. Y. Yang, Conference E. Tempero, ASWEC and R. 2005, Berrigan. pages Detecting 212_221, Indirect Coupling. Australian Software Your

Modelos Workflow: Análisis y Medición. Contexto

Modelos Workflow: Análisis y Medición. Contexto Modelos Workflow: Análisis y Medición M. Peralta, C. Salgado, L. Baigorria, M. Berón, D. Riesco, G. Montejano Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales Universidad

Más detalles

Análisis y Medición de Modelos de Procesos Workflow

Análisis y Medición de Modelos de Procesos Workflow WICC 2012 503 Análisis y Medición de Modelos de Procesos Workflow M. Peralta, C. Salgado, M. Berón, D. Riesco, G. Montejano Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales

Más detalles

Tape Mbo e: una Metodología Orientada a Servicios

Tape Mbo e: una Metodología Orientada a Servicios Tape Mbo e: una Metodología Orientada a Servicios Motivación Objetivos Tecnología Estado del Arte Evaluación del Estado del Arte Tape Mb e Ciclo de Vida Roles Disciplinas Ciclo de Vida y Disciplinas Evaluación

Más detalles

Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es

Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es Metodología y Técnicas en Proyectos software para la Web II-6 para la Ingeniería Web Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es Programa

Más detalles

Creación y evaluación de modelos LSP en un contexto MDA

Creación y evaluación de modelos LSP en un contexto MDA WICC 2012 433 Creación y evaluación de modelos LSP en un contexto MDA Ana Funes 1, Elizabeth Reinoso 2, Marcelo Castro 2, Aristides Dasso 1, 1 Universidad acional de San Luis, Ejército de los Andes 950

Más detalles

PROGRAMA DE DOCTORADO

PROGRAMA DE DOCTORADO PROGRAMA DE DOCTORADO Desarrollo de familias de productos de software desde un enfoque generativo DPTO. DE INGENIERÍA DE SOFTWARE Y SISTEMAS INFORMÁTICOS Tema 1 Introducción Autor: Rubén Heradio Gil Índice

Más detalles

UML El Lenguaje de Modelado Unificado. Maestría en Ingeniería de Software

UML El Lenguaje de Modelado Unificado. Maestría en Ingeniería de Software UML El Lenguaje de Modelado Unificado Maestría en Ingeniería de Software Agenda Model Driven Architecture (MDA) Unified Model Language (UML) Object Constraint Language (OCL) Patrones Conclusiones Contenido

Más detalles

Como reforzar Diagramas de Clases UML aplicando OCL y Object-Z: un caso práctico

Como reforzar Diagramas de Clases UML aplicando OCL y Object-Z: un caso práctico Como reforzar Diagramas de Clases UML aplicando OCL y Object-Z: un caso práctico Elizabeth Vidal-Duarte 1 Cristian Vidal Silva 2 1 Universidad Católica San Pablo Perú 2 Universidad Autónoma de Chile e.vidal@usp.edu.pe

Más detalles

Una integración de Patrones de Diseño en Procesos de Ingeniería Forward de Modelos Estáticos UML

Una integración de Patrones de Diseño en Procesos de Ingeniería Forward de Modelos Estáticos UML Una integración de Patrones de Diseño en Procesos de Ingeniería Forward de Modelos Estáticos UML Liliana Martinez Liliana Favre* INTIA - Facultad de Ciencias Exactas Universidad Nacional del Centro de

Más detalles

Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow

Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow Fabio A. Zorzan 1 y Daniel Riesco 2 Resumen Esta línea de investigación pretende aportar a la mejora

Más detalles

AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM

AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM Fabio A. Zorzan y Daniel Riesco Resumen Esta línea de investigación propone una alternativa para lograr la automatización de la gestión

Más detalles

Calidad de Sistemas de Información Web

Calidad de Sistemas de Información Web Calidad de Sistemas de Información Web Seminario de Doctorado Curso académico 2004/2005 Valencia, marzo de 2005 1 REFERENCIA: Programa: Programación Declarativa e Ingeniería de la Programación Profesora:

Más detalles

Una aproximación a las pruebas de aplicaciones Web basadas en un contexto MDWE

Una aproximación a las pruebas de aplicaciones Web basadas en un contexto MDWE Una aproximación a las pruebas de aplicaciones Web basadas en un contexto MDWE Arturo H. Torres, María J. Escalona, Manuel Mejías, Javier J. Gutiérrez Departamento de Lenguajes y Sistemas Informáticos,

Más detalles

MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA

MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA XV Jornadas de Ingeniería del Software y Bases de Datos JISBD 2006 José Riquelme - Pere Botella (Eds) CIMNE, Barcelona, 2006 MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA Javier J. Gutiérrez, María J. Escalona,

Más detalles

Una propuesta de implementación para especificaciones de patrones de comportamiento

Una propuesta de implementación para especificaciones de patrones de comportamiento Una propuesta de implementación para especificaciones de patrones de comportamiento Alberto A. Cortez 123, Claudia A. Naveda 12 1 Consejo de Investigaciones -CIUDA, Universidad del Aconcagua, Mendoza,

Más detalles

PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE

PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS POSTGRADO EN CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE INFORMACIÓN GENERAL Profesor: Francisca Losavio

Más detalles

Estudio Comparativo de Técnicas de Modelado de Negocio

Estudio Comparativo de Técnicas de Modelado de Negocio Estudio Comparativo de Técnicas de Modelado de Negocio Juan José Cadavid 1, Carlos Andrés Ospina 1, Juan Bernardo Quintero 2 1 Avansoft S.A. Medellín, Colombia {jjcadavid, caospina}@avansoft.com 2 ABC-Flex

Más detalles

Presentación de proyecto de seminario de titulación

Presentación de proyecto de seminario de titulación BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD DE CIENCIAS DE LA COMPUTACIÓN Presentación de proyecto de seminario de titulación I Datos Generales. Fecha: 28/Febrero/2002 1.1 Datos del Responsable

Más detalles

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática La Necesidad de Modelar Analogía Arquitectónica Tiene sentido poner ladrillos sin hacer antes los planos? El modelo, los planos, ayuda a afrontar la complejidad del proyecto. Cuál es el lenguaje adecuado

Más detalles

CONGRESOS 2012 INTERNACIONALES

CONGRESOS 2012 INTERNACIONALES CONGRESOS 2012 INTERNACIONALES Autores: V. A. Bollati, P. Atzeni, E. Marcos, J.M. Vara Título: Model Management Systems vs. Model Driven Engineering: A Case Study Congreso: Symposium on Applied Computing

Más detalles

Tablero de Métricas para Procesos Workflow en la Nube. Contexto

Tablero de Métricas para Procesos Workflow en la Nube. Contexto Tablero de Métricas para Procesos Workflow en la Nube M. Peralta, C. Salgado, L. Baigorria, G. Montejano, D. Riesco Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales Universidad

Más detalles

Modelado de Workflow con Redes de Petri Coloreadas Condicionales. Alumno: Samuel Garrido Daniel Asesor : Dra. Xiaoou Li

Modelado de Workflow con Redes de Petri Coloreadas Condicionales. Alumno: Samuel Garrido Daniel Asesor : Dra. Xiaoou Li Modelado de Workflow con Redes de Petri Coloreadas Condicionales Alumno: Samuel Garrido Daniel Asesor : Dra. Xiaoou Li México D.F., Contenido Introducción Planteamiento del problema Antecedentes y motivación

Más detalles

Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero

Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero Informático. Diana Teresa Gómez Forero, Ingeniera de Sistemas,

Más detalles

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL Taller sobre Pruebas en Ingeniería del Software PRIS 2006 GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL José García-Fanjul, Javier Tuya y Claudio de la Riva Departamento

Más detalles

ZoomTI++ Glosario. Versión 1.0

ZoomTI++ Glosario. Versión 1.0 ZoomTI++ Glosario Versión 1.0 Contenido 1. Introducción... 3 2. Definiciones... 3 3. Bibliografía... 6 2 1. Introducción Este glosario presenta las principales definiciones usadas a lo largo del desarrollo

Más detalles

Modelado Estructural de Patrones de Diseño: Diagramas REP José Luis Isla Montes 1, Francisco Luis Gutiérrez Vela 2 1 Departamento de Lenguajes y Sistemas Informáticos Universidad de Cádiz E.S. Ingeniería

Más detalles

CIMTool: Una herramienta para la definición de un diagrama de clases UML

CIMTool: Una herramienta para la definición de un diagrama de clases UML CIMTool: Una herramienta para la definición de un diagrama de clases UML María Carmen Leonardi María Virginia Mauco Hernán Leoni INTIA - Departamento de Computación y Sistemas Facultad de Ciencias Exactas

Más detalles

El Proceso Unificado Rational para el Desarrollo de Software.

El Proceso Unificado Rational para el Desarrollo de Software. Instituto de Electrónica y Computación El Proceso Unificado Rational para el Desarrollo de Software. Carlos Alberto Fernández y Fernández Huajuapan de León, Oaxaca 26 de octubre de 2000 Objetivo Proporcionar

Más detalles

Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes

Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes Rodolfo Villarroel Acevedo 1* 1 Pontificia Universidad Católica de Valparaíso. Avenida Brasil 2241,

Más detalles

Calidad de Procesos de Negocio en la Nube

Calidad de Procesos de Negocio en la Nube Calidad de Procesos de Negocio en la Nube C. Salgado, M. Peralta, D. Riesco, G. Montejano Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales Universidad Nacional de San Luis

Más detalles

Perfil UML para el desarrollo de aplicaciones WAP

Perfil UML para el desarrollo de aplicaciones WAP Perfil UML para el desarrollo de aplicaciones WAP Ricardo Soto D., Mauricio Camara J. Escuela de Ingeniería Informática, Pontificia Universidad Católica de Valparaíso, Chile E-mail: ricardo.soto@ucv.cl,

Más detalles

Temas Selectos de Programación II

Temas Selectos de Programación II Temas Selectos de Programación II Métricas de Procesos de Software Jorge Moisés Trejo Vargas Maestría en Ciencias de la Computación Outline Introducción Procesos de Software Definición Métricas Programas

Más detalles

Transformación de Procesos de Desarrollo de Software Tipo SPEM a Procesos Workflow. Una Propuesta de Caso de Estudio: SmallRUP

Transformación de Procesos de Desarrollo de Software Tipo SPEM a Procesos Workflow. Una Propuesta de Caso de Estudio: SmallRUP Transformación de Procesos de Desarrollo de Software Tipo SPEM a Procesos Workflow. Una Propuesta de Caso de Estudio: SmallRUP Fabio A. Zorzan 1, Daniel Riesco 2, Nora Szasz 3 CONTEXTO La línea de investigación

Más detalles

Guía docente de la asignatura

Guía docente de la asignatura Guía docente de la asignatura Asignatura Materia T22: DISEÑO, INTEGRACIÓN Y ADAPTACIÓN DE SOFTWARE TECNOLOGÍAS SOFTWARE Módulo Titulación GRADO EN INGENIERÍA INFORMÁTICA DE SISTEMAS (464) Plan 464 Código

Más detalles

INTRODUCCION AL LENGUAJE UNIFICADO MODELADO

INTRODUCCION AL LENGUAJE UNIFICADO MODELADO INTRODUCCION AL LENGUAJE UNIFICADO MODELADO Cap. 9 Kendall & Kendall Cap 2 P11 Jacobson SESION 8 Ana Mercedes Cáceres mercycaceres@gmail.com Año 2006. 1 OBJETIVOS Presentar el lenguaje de modelado UML,

Más detalles

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2003-1030785 ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE

Más detalles

ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB

ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB Ferraro, Maria de los Angeles a ; Medina, Yanina a* ; Dapozo, Gladys a ; Estayno, Marcelo b a Facultad de Ciencias Exactas

Más detalles

Un método para la definición de métricas de software

Un método para la definición de métricas de software Un método para la definición de métricas de software Manuel Serrano, Mario Piattini, Coral Calero, Marcela Genero, David Miranda Grupo ALARCOS Universidad de Castilla La Mancha {manuel.serrano, marcela.genero,

Más detalles

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Fabio A. Zorzan 1, Daniel Riesco 2 CONTEXTO La línea de investigación presentada en este trabajo se desarrolla en el marco del

Más detalles

IBM Software Demos Rational Model Driven Development

IBM Software Demos Rational Model Driven Development This demonstration introduces IBM Rational XDE and IBM WebSphere Studio working together to improve J2EE software development. Esta demostración presenta la combinación de IBM Rational XDE e IBM WebSphere

Más detalles

Cómo usar MDE para obtener Modelos de Simulación a partir de Modelos de Negocio

Cómo usar MDE para obtener Modelos de Simulación a partir de Modelos de Negocio Cómo usar MDE para obtener Modelos de Simulación a partir de Modelos de Negocio M. Teresa García 1, Mercedes Ruiz 1 y Cristina Vicente-Chicote 2 1 Departamento de Lenguajes y Sistemas Informáticos Universidad

Más detalles

Especificación de Requisitos de Calidad de Datos en Modelos de Procesos de Negocio: BPiDQ una propuesta

Especificación de Requisitos de Calidad de Datos en Modelos de Procesos de Negocio: BPiDQ una propuesta Especificación de Requisitos de Calidad de Datos en Modelos de Procesos de Negocio: BPiDQ una propuesta Alfonso Rodríguez, Angélica Caro Depto. Ciencias de la Computación y Tecnologías de la Información

Más detalles

Programación orientada a

Programación orientada a Programación orientada a objetos con Java Pedro Corcuera Dpto. Matemática Aplicada y Ciencias de la Computación Universidad de Cantabria corcuerp@unican.es Objetivos Presentar los conceptos de la programación

Más detalles

Análisis comparativo entre CIMOSA (CIM-Open System Architecture) y DEM (Dynamic Enterprise Modelling)

Análisis comparativo entre CIMOSA (CIM-Open System Architecture) y DEM (Dynamic Enterprise Modelling) 3rd International Conference on Industrial Engineering and Industrial Management XIII Congreso de Ingeniería de Organización Barcelona-Terrassa, September 2nd-4th 2009 Análisis comparativo entre CIMOSA

Más detalles

El Proceso Unificado de Desarrollo de Software

El Proceso Unificado de Desarrollo de Software El Proceso de Desarrollo de Software Ciclos de vida Métodos de desarrollo de software El Proceso Unificado de Desarrollo de Software 1 Fases principales del desarrollo de software Captura de requisitos:

Más detalles

Introducción. El uso de la ingeniería guiada por modelos para el aseguramiento de la calidad

Introducción. El uso de la ingeniería guiada por modelos para el aseguramiento de la calidad El uso de la ingeniería guiada por modelos para el aseguramiento de la calidad Dra. María a José Escalona Cuaresma mjescalona@us.es www.iwt2.org Universidad de Sevilla Grupo de Ingeniería Web y Testing

Más detalles

Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más)

Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Nombre del Encuestado e-mail Nombre de la Carrera Universidad Unidad Académica Sede

Más detalles

TRANSFORMACIÓN DE MODELOS NAVEGACIONALES DIRIGIDA POR CRITERIOS DE CALIDAD

TRANSFORMACIÓN DE MODELOS NAVEGACIONALES DIRIGIDA POR CRITERIOS DE CALIDAD XV Jornadas de Ingeniería del Software y Bases de Datos JISBD 2006 José Riquelme - Pere Botella (Eds) c CIMNE, Barcelona, 2006 TRANSFORMACIÓN DE MODELOS NAVEGACIONALES DIRIGIDA POR CRITERIOS DE CALIDAD

Más detalles

Centro de Investigación en Matemáticas, A.C.

Centro de Investigación en Matemáticas, A.C. Centro de Investigación en Matemáticas, A.C. Temas Selectos de Programación Avanzada II (Temas Selectos de Ingeniería de Software) Reporte Final Métricas de Procesos de Software Maestría en Ciencias de

Más detalles

Planificaciones. 7510 - Técnicas de Diseño. Docente responsable: PANTALEO GUILLERMO GUSTAVO. 1 de 5

Planificaciones. 7510 - Técnicas de Diseño. Docente responsable: PANTALEO GUILLERMO GUSTAVO. 1 de 5 Planificaciones 7510 - Técnicas de Diseño Docente responsable: PANTALEO GUILLERMO GUSTAVO 1 de 5 OBJETIVOS En este curso se busca introducir a los alumnos en el concepto de diseño de software. Para lograrlo

Más detalles

Integrando la Ingeniería de Seguridad en un Proceso de Ingeniería Software *

Integrando la Ingeniería de Seguridad en un Proceso de Ingeniería Software * Integrando la Ingeniería de Seguridad en un Proceso de Ingeniería Software * Antonio Maña, Diego Ray, Francisco Sánchez, Mariemma I.Yagüe Departamento de Lenguajes y Ciencias de la Computación de la Universidad

Más detalles

Cámara de Comercio de Bogotá Centro Empresarial Chapinero

Cámara de Comercio de Bogotá Centro Empresarial Chapinero Desarrollo de software basado en modelos: de la teoría a la práctica Rubby Casallas rcasalla@uniandes.edu.co Departamento de Ingeniería de Sistemas y Computación Grupo de Construcción de Software Universidad

Más detalles

Software Architecture Assesment. Rosa Virginia Icedo Ojeda Jorge Moisés Trejo Vargas Mayo 2003

Software Architecture Assesment. Rosa Virginia Icedo Ojeda Jorge Moisés Trejo Vargas Mayo 2003 Software Architecture Assesment Rosa Virginia Icedo Ojeda Jorge Moisés Trejo Vargas Mayo 2003 Outline Software Architecture Assesment Arquitectura de Sofwtare (AS) Por qué evaluar una AS? Qué evaluamos

Más detalles

Construcción y adaptación de Lenguajes de Dominio Específico por usuarios finales

Construcción y adaptación de Lenguajes de Dominio Específico por usuarios finales Construcción y adaptación de Lenguajes de Dominio Específico por usuarios finales Santiago Jácome G. Universidad de las Fuerzas Armadas ESPE, Ecuador Universidad Autónoma de Madrid, España psjacome@espe.edu.ec

Más detalles

Objetivos FACULTAD DE INGENIERIA. DEPARTAMENTO DE INGENIERIA DE SISTEMAS. Código de la asignatura 4070. Fecha de Actualización Julio 24 de 2012

Objetivos FACULTAD DE INGENIERIA. DEPARTAMENTO DE INGENIERIA DE SISTEMAS. Código de la asignatura 4070. Fecha de Actualización Julio 24 de 2012 Nombre de la asignatura Ingeniería de Software Código de la asignatura 4070 Fecha de Actualización Julio 24 de 2012 Intensidad horaria semanal Horas Contacto 4 Horas Trabajo Independiente 8 Créditos Académicos

Más detalles

Departamento/Divisi ón R/ I. Espacios Curriculares Correlativos Subsiguientes

Departamento/Divisi ón R/ I. Espacios Curriculares Correlativos Subsiguientes Ciclo Académico: 2009 Año de la Carrera: Horas de Clases Semanales Régimen de Cursado 3ro. Teoría Práctica Otros i (1) Anual 1er.Cuatr. 2do.Cuatr. Otros (2) 4 4 X (1) Observaciones: (2) Observaciones:

Más detalles

CARTA DESCRIPTIVA 1. PRESENTACIÓN

CARTA DESCRIPTIVA 1. PRESENTACIÓN FACULTAD: Ingenierías PROGRAMA: Ingeniería de sistemas NOMBRE DEL CURSO: CARTA DESCRIPTIVA 1. PRESENTACIÓN Verificación y validación de software PLAN DE ESTUDIOS: IS02 CRÉDITOS 3 CÓDIGO DEL CURSO: IS019

Más detalles

Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente

Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente Fundamentos y Aplicaciones Prácticas del Descubrimiento de Conocimiento en Bases de Datos Guía docente Impartido por: Juan Alfonso Lara Torralbo 1. Datos del docente NOMBRE Juan Alfonso Lara Torralbo FORMACIÓN

Más detalles

Estándares Internacionales

Estándares Internacionales Estándares Internacionales M. en C. Mario Farías-Elinos Quality management has just become too important to leave to chance Philip Crosby 1 Contenido Estándares ISO para el Software Estándares IEEE para

Más detalles

Perfiles UML para la Especificación de Patrones de Comportamiento: Un Caso de Estudio

Perfiles UML para la Especificación de Patrones de Comportamiento: Un Caso de Estudio Perfiles UML para la Especificación de Patrones de Comportamiento: Un Caso de Estudio Alberto Cortez 1 2, Ana Garis 3, Daniel Riesco 3 1 Consejo de Investigaciones, Universidad del Aconcagua, Mendoza,

Más detalles

DIPLOMADO EN DESARROLLO Y ARQUITECTURA DE APLICACIONES EMPRESARIALES CON JAVA

DIPLOMADO EN DESARROLLO Y ARQUITECTURA DE APLICACIONES EMPRESARIALES CON JAVA DIPLOMADO EN DESARROLLO Y ARQUITECTURA DE APLICACIONES EMPRESARIALES CON JAVA El Diplomado en Desarrollo y Arquitectura de Aplicaciones Empresariales bajo la plataforma Java Entreprise Edition, ofrece

Más detalles

Tema 6º: Diseño Orientado a Objetos

Tema 6º: Diseño Orientado a Objetos Tema 6º: Diseño Orientado a Objetos Diseño preliminar y Diseño detallado Modelado de la Arquitectura del Sistema Abstracciones y mecanismos clave Elementos básicos del Diseño Orientado a Objetos Diagramas

Más detalles

Metodologías de desarrollo para Service Oriented Architectures con Rational Unified Process

Metodologías de desarrollo para Service Oriented Architectures con Rational Unified Process Metodologías de desarrollo para Service Oriented Architectures con Rational Unified Process Andrea Delgado 1, Ignacio García-Rodríguez de Guzmán 2, Francisco Ruiz 2, Mario Piattini 2 1 Instituto de Computación,

Más detalles

Producto y proceso: una relación compleja en la ingeniería de software

Producto y proceso: una relación compleja en la ingeniería de software Producto y proceso: una relación compleja en la ingeniería de software CÉSAR PARDO * FELIX GARCÍA ** FRANCISCO PINO *** MARIO PIATTINI **** Resumen Actualmente, las Tecnologías de la Información (TI) están

Más detalles

Planificaciones. 7509 - Análisis de la Información. Docente responsable: VILLAGRA SERGIO GUSTAVO. 1 de 6

Planificaciones. 7509 - Análisis de la Información. Docente responsable: VILLAGRA SERGIO GUSTAVO. 1 de 6 Planificaciones 7509 - Análisis de la Información Docente responsable: VILLAGRA SERGIO GUSTAVO 1 de 6 OBJETIVOS Que los alumnos: a) Entiendan la naturaleza del software y las complejidades de su desarrollo.

Más detalles

SET (Software Engineering Tutor). Una herramienta para la construcción guiada de modelos de dominio

SET (Software Engineering Tutor). Una herramienta para la construcción guiada de modelos de dominio SET (Software Engineering Tutor). Una herramienta para la construcción guiada de modelos de dominio Arturo Cepeda Pérez, Sergio Bravo Martín, Francisco José García Peñalvo Universidad de Salamanca, Facultad

Más detalles

Casos de Prueba del Sistema Generados en el Contexto MDD/MDT

Casos de Prueba del Sistema Generados en el Contexto MDD/MDT Casos de Prueba del Sistema Generados en el Contexto MDD/MDT Natalia Correa 1, Roxana Giandini 1 1 LIFIA- Laboratorio de Investigación y Formación en Informática Avanzada, Universidad Nacional de La Plata,

Más detalles

Hacia la Obtención de Procesos de Negocio desde Sistemas de Información Heredados

Hacia la Obtención de Procesos de Negocio desde Sistemas de Información Heredados Hacia la Obtención de Procesos de Negocio desde Sistemas de Información Heredados Alfonso Rodríguez 1, Angélica Caro 1 1 Departamento de Ciencias de la Computación y Tecnologías de la Información Universidad

Más detalles

PROGRAMA ANALÍTICO. Curso: Gestión de Procesos de Negocio. Docentes: Dr. Pablo David Villarreal (Responsable), Dr. Jorge Roa. Duración: 60 horas.

PROGRAMA ANALÍTICO. Curso: Gestión de Procesos de Negocio. Docentes: Dr. Pablo David Villarreal (Responsable), Dr. Jorge Roa. Duración: 60 horas. PROGRAMA ANALÍTICO Curso: Gestión de Procesos de Negocio Docentes: Dr. Pablo David Villarreal (Responsable), Dr. Jorge Roa. Duración: 60 horas. 1. Fundamentos En las últimas décadas, nuevos enfoques de

Más detalles

GENERACIÓN DE APLICACIONES MEDIANTE LENGUAJES ESPECIFICOS DE DOMINIO

GENERACIÓN DE APLICACIONES MEDIANTE LENGUAJES ESPECIFICOS DE DOMINIO WICC 2012 626 GENERACIÓN DE APLICACIONES MEDIANTE LENGUAJES ESPECIFICOS DE DOMINIO 1. A.Cortez, C.Naveda 1. Consejo de Investigaciones (CIUDA) UDA. 2. Instituto de Investigaciones Facultad de Ciencias

Más detalles

Guía docente de la asignatura

Guía docente de la asignatura Guía docente de la asignatura Asignatura Materia T22: DISEÑO, INTEGRACIÓN Y ADAPTACIÓN DE SOFTWARE TECNOLOGÍAS SOFTWARE Módulo Titulación GRADO EN INGENIERÍA INFORMÁTICA DE SISTEMAS (464) Plan 464 Código

Más detalles

Una Introducción a los Perfiles UML

Una Introducción a los Perfiles UML Una Introducción a los Perfiles UML Lidia Fuentes y Antonio Vallecillo Depto. de Lenguajes y Ciencias de la Computación, Universidad de Málaga Campus de Teatinos. E29071- Málaga (SPAIN) e-mail: {lff,av}@lcc.uma.es

Más detalles

Resumen. Introducción

Resumen. Introducción Arquitectura de software para Sistemas de Información Ambiental Urciuolo Adriana, Iturraspe Rodolfo, Parson Ariel, Esteban Natalia Universidad Nacional de la Patagonia San Juan Bosco Sede Ushuaia, Darwin

Más detalles

Formulario 1. Presentación de la Propuesta

Formulario 1. Presentación de la Propuesta Formulario 1. Presentación de la Propuesta Nombre del Trabajo Integración de lenguajes orientados a objetos estáticos y dinámicos Director Gabriel Baum Codirector Alumnos Nro. Alumno Apellido y Nombres

Más detalles

Desarrollo de software con aspectos dirigido por modelos *

Desarrollo de software con aspectos dirigido por modelos * Desarrollo de software con aspectos dirigido por modelos * Lidia Fuentes y Pablo Sánchez Dpto. de Lenguajes y Ciencias de la Computación Universidad de Málaga, Málaga (España) {lff,pablo}@lcc.uma.es Resumen

Más detalles

Calidad de Datos como Valor Estratégico de la Información en E-Business

Calidad de Datos como Valor Estratégico de la Información en E-Business Calidad de Datos como Valor Estratégico de la Información en E-Business Marta E. Cabrera Villafañe, Germán Antonio Montejano, Mario Berón Departamento de Informática Universidad Nacional de San Luis Ejército

Más detalles

Temas de investigación y desarrollo

Temas de investigación y desarrollo Componentes de Dominio para Sistemas de Información Ambiental Urciuolo Adriana, Iturraspe Rodolfo, Moyano Ezequiel, Rosanigo Beatriz, Parson Ariel, Villarreal Martín urciuolo@tdfuego.com, iturraspe@tdfuego.com,

Más detalles

GUÍA DOCENTE. Curso Académico 2015/16. Máster Universitario en Métodos de Investigación en Ciencias Económicas y Empresariales

GUÍA DOCENTE. Curso Académico 2015/16. Máster Universitario en Métodos de Investigación en Ciencias Económicas y Empresariales GUÍA DOCENTE Curso Académico 2015/16 1. Modelización 1.1. Datos de la asignatura Tipo de estudios Titulación Nombre de la asignatura Carácter de la asignatura Máster Máster Universitario en Métodos de

Más detalles

ASIGNATURA: Ingeniería del Software I CÓDIGO: IS714 PRERREQUISITO: IS663 Bases de Datos I y IS463 Teoría de Sistemas INTENSIDAD: 6 horas semanales

ASIGNATURA: Ingeniería del Software I CÓDIGO: IS714 PRERREQUISITO: IS663 Bases de Datos I y IS463 Teoría de Sistemas INTENSIDAD: 6 horas semanales UNIVERSIDAD TECNOLOGICA DE PEREIRA FACULTAD DE INGENIRÍAS ELÉCTRICA, ELECTRÓNICA FÍSICA Y CIENCIAS DE LA COMPUTACIÓN PROGRAMA INGENIERIA DE SISTEMAS Y COMPUTACION AÑO 200 ASIGNATURA: Ingeniería del Software

Más detalles

Evolución de Plantillas Genéricas para la descripción de Casos de Uso a Plantillas Genéricas para Análisis y Diseño

Evolución de Plantillas Genéricas para la descripción de Casos de Uso a Plantillas Genéricas para Análisis y Diseño Evolución de Plantillas Genéricas para la descripción de Casos de Uso a Plantillas Genéricas para Análisis y Diseño Ing. Marcela Daniele AC. Daniel Romero Dpto. de Computación. Facultad: Ciencias Exactas,

Más detalles

Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA

Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA Antonio García Domínguez Inmaculada Medina Bulo Mariano Marcos Bárcena Universidad de Cádiz Escuela Superior de

Más detalles

Diseño del Modelo Navegacional para Sistemas de Tratamiento de Bibliotecas Digitales

Diseño del Modelo Navegacional para Sistemas de Tratamiento de Bibliotecas Digitales Diseño del Modelo Navegacional para Sistemas de Tratamiento de Bibliotecas Digitales Jesús Torres, Manuel Mejías, MªJosé Escalona, José A. Ortega, Juan M. Cordero Dpto. Lenguajes y Sistemas Informáticos

Más detalles

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Rafael Rodríguez-Puente 1, Eliana B. Ril-Valentin 2 1 Departamento de Técnicas de

Más detalles

Modelado de la variabilidad en arquitecturas multicapa

Modelado de la variabilidad en arquitecturas multicapa Modelado de la variabilidad en arquitecturas multicapa José García-Alonso, Joaquín Guillén, Javier Berrocal, and Juan Manuel Murillo Escuela Politécnica, Universidad de Extremadura, Avd. de la Universidad

Más detalles

Línea de investigación o de trabajo: Todas de Ciencias de la Computación. Horas teoría-horas prácticas-horas trabajo adicional-horas totales-créditos

Línea de investigación o de trabajo: Todas de Ciencias de la Computación. Horas teoría-horas prácticas-horas trabajo adicional-horas totales-créditos Nombre de la asignatura: Ingeniería de Software I Línea de investigación o de trabajo: Todas de Ciencias de la Computación Horas teoría-horas prácticas-horas trabajo adicional-horas totales-créditos 22

Más detalles

PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.1 UML: Introducción

PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.1 UML: Introducción PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación II MODELOS y HERRAMIENTAS UML 1 1 Técnica de modelado de objetos (I) El modelado orientado a objetos es una técnica de especificación semiformal para

Más detalles

Decidibilidad de Problemas sobre redes de Petri Temporizadas

Decidibilidad de Problemas sobre redes de Petri Temporizadas CURRICULUM VITAE DE MIEMBROS DE COMISIONES PARA CONCURSOS DE ACCESO A LOS CUERPOS DOCENTES UNIVERSITARIOS 1. DATOS PERSONALES Apellidos y Nombre: Valero Ruiz, Valentín Cuerpo docente al que pertenece:

Más detalles

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES Alfonseca, M., Carro, R.M., Pulido, E. and Rodríguez, P. (2000): Diseño de un curso interactivo y adaptativo de procesadores de lenguajes. Proceedings of JENUI 2000: VI Jornadas sobre la Enseñanza Universitaria

Más detalles

Análisis de Estimación de Esfuerzo aplicando Puntos de Caso de Uso

Análisis de Estimación de Esfuerzo aplicando Puntos de Caso de Uso Análisis de Estimación de Esfuerzo aplicando Puntos de Caso de Uso Cristian A. Remón 1, Pablo Thomas 2 1 Dpto. I+D Maker Electrónica, Mar del Plata, Argentina cremon@makerelectronica.com.ar 2 III-LIDI,

Más detalles

Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN

Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN Fernández Taurant, Juan Pablo Marciszack, Marcelo Martín Universidad Tecnológica Nacional, Facultad Regional

Más detalles

UML, OCL y Patrones en el contexto MDA

UML, OCL y Patrones en el contexto MDA UML, OCL y Patrones en el contexto MDA Ana Garis email: agaris@unsl.edu.ar Maestría en Ingeniería de Software Agenda Model Driven Architecture (MDA) Unified Modeling Language (UML) y Perfiles UML Object

Más detalles

Guía Docente 2013/2014

Guía Docente 2013/2014 Guía Docente 2013/2014 Ingeniería del Software II Software Engineering II Grado en Ingeniería Informática Presencial Universidad Católica San Antonio de Murcia Tlf: (+34) 902 102 101 info@ucam.edu www.ucam.edu

Más detalles

Introducción al Unified Process. Curso IIC 2143 Ingeniería de Software Rodrigo Sandoval 2010

Introducción al Unified Process. Curso IIC 2143 Ingeniería de Software Rodrigo Sandoval 2010 Introducción al Unified Process Curso IIC 2143 Ingeniería de Software Rodrigo Sandoval 2010 Unified Process - UP Un framework de Proceso de Desarrollo de Software, una de cuyas versiones es el más documentado

Más detalles

Resumen. Palabras Claves: J2EE, AJAX, IEEE, GOLD, patrones, análisis, diseño, modelos, persistencia. Abstract

Resumen. Palabras Claves: J2EE, AJAX, IEEE, GOLD, patrones, análisis, diseño, modelos, persistencia. Abstract Implementación de un portal web para la automatización del proceso de consultorías de mentores GOLD de la Región Latinoamericana del IEEE (R9), utilizando arquitectura Java 2 Enterprise Edition - J2EE

Más detalles

Integración de modelos BPMN en ambientes MDA

Integración de modelos BPMN en ambientes MDA Integración de modelos BPMN en ambientes MDA Martinez Ignacio, Mendez Lautaro, Nahuel Leopoldo, Perelli Julián, Pérsico Mauricio, Giandini Roxana Laboratorio de Innovaciones en Sistemas de Información,

Más detalles

Bibliografía. [Al-Kodmany, 2000] Al-Kodmany, Kheir., Extending Geographic Information System to. 12, No.3., pp. 19-34, Summer 2000.

Bibliografía. [Al-Kodmany, 2000] Al-Kodmany, Kheir., Extending Geographic Information System to. 12, No.3., pp. 19-34, Summer 2000. Bibliografía [Al-Kodmany, 2000] Al-Kodmany, Kheir., Extending Geographic Information System to Meet Neighborhood Planning Needs: Recent Developments in the Work of the University of Illinois at Chicago,

Más detalles

Los Modelos en la Ingeniería de Sistemas

Los Modelos en la Ingeniería de Sistemas Fernández Sánchez, José Luis Los Modelos en la Ingeniería de Sistemas Área de Proyectos de Ingeniería E.T.S. Ingenieros Industriales Universidad Politécnica de Madrid C/José Gutiérrez Abascal 2 28006 Madrid

Más detalles

REDES BAYESIANAS APLICADAS A LA INGENIERÍA DE SOFTWARE

REDES BAYESIANAS APLICADAS A LA INGENIERÍA DE SOFTWARE REDES BAYESIANAS APLICADAS A LA INGENIERÍA DE SOFTWARE Carlos Said, Rosana Piergallini, Nelson Di Grazia, Sabrina Pompei. Escuela de Tecnología, Universidad Nacional del Noroeste de la Provincia de Buenos

Más detalles

Modelos de Decisión Como Mecanismo de Composición de Reglas de Transformación

Modelos de Decisión Como Mecanismo de Composición de Reglas de Transformación Modelos de Decisión Como Mecanismo de Composición de Reglas de Transformación Andres Romero y Hugo Arboleda Universidad de Los Andes, Cra. 1 N 18A 10, Bogotá, Colombia {aa.romero354,hf.arboleda34}@uniandes.edu.co

Más detalles