L
Título: Temporality Specification in Automatic Production Software Environments Based on Object-Oriented Conceptual Models
Autores: MOLINA , JUAN CARLOS
INSFRAN , EMILIO
PASTOR , ÓSCAR
Fecha: 1969-12-31
Publicador: Computación y Sistemas
Fuente: Ver documento
Tipo:
Tema: ;OBJECT ORIENTED; TEMPORAL EXPRESSIVITY; REQUIEREMENTS; AUTOMATIC CODE GENERATION; CONCEPTUAL MODELING
Descripción: IN ORDER TO REPRESENT THE STATIC AND DYNAMIC ASPECTS OF A SYSTEM, ACCORDING TO THE REAL WORLD MEDELING NECESSITIES IN A SUITABLE WAY, IT IS IMPORTANT TO INCLUED A EMPORAL EXPRESSIVITY WHOSE SPECIFICATION ALLOWS TO OBTEIN AN APPLICATION THAT IS FINCIONALLY EQUIVALENT TO THE CONCEPTUAL MODEL. IN THE CONTEX OF THE IDEAS (INGENIERIA DE IDEAS SOFTWARE- SOFTWARE ENVIRANMENTS ENGINEERING) PROYECT, AND IN PARTICULAR IN ITS TASK TITLED ""SPECIFICATION METHODS FOR TRANSACTION IN PHASE OF CONCEPTUAL MODELING IN 00 ENVIRONMENTS"", THE RESEARCH GROUPS DSIC- UPV (VALENCIA, SPAIN) WORKS IN THE DEFINITION OF A AUTMATIC PRODUCTION SOFTWARE ENVIRONMENT BASED ON TEMPORAL CONCEPTUAL MODELS. THE WORK IS ORIENTED TO THE SPECIFICATION AND OF TRANSACTIONS FROM IT
IN ORDER TO REPRESENT THE STATIC AND DYNAMIC ASPECTS OF A SYSTEM, ACCORDING TO THE REAL WORLD MEDELING NECESSITIES IN A SUITABLE WAY, IT IS IMPORTANT TO INCLUED A EMPORAL EXPRESSIVITY WHOSE SPECIFICATION ALLOWS TO OBTEIN AN APPLICATION THAT IS FINCIONALLY EQUIVALENT TO THE CONCEPTUAL MODEL. IN THE CONTEX OF THE IDEAS (INGENIERIA DE IDEAS SOFTWARE- SOFTWARE ENVIRANMENTS ENGINEERING) PROYECT, AND IN PARTICULAR IN ITS TASK TITLED ”SPECIFICATION METHODS FOR TRANSACTION IN PHASE OF CONCEPTUAL MODELING IN 00 ENVIRONMENTS”, THE RESEARCH GROUPS DSIC- UPV (VALENCIA, SPAIN) WORKS IN THE DEFINITION OF A AUTMATIC PRODUCTION SOFTWARE ENVIRONMENT BASED ON TEMPORAL CONCEPTUAL MODELS. THE WORK IS ORIENTED TO THE SPECIFICATION AND OF TRANSACTIONS FROM IT
Idioma: Inglés
Artículos similares:
Ordered Hunt Schemes for Overlaid CDMA Cellular Systems,Esquemas de ordenamiento en sistemas celulares sobrepuestos CDMA por Castañeda Camacho, J; Benemérita Universidad Autónoma de Puebla, Puebla, México,Lara Rodríguez, D; IPN
Model for Adjustment of Aggregate Forecasts using Fuzzy Logic,Modelo para el ajuste de pronósticos agregados utilizando lógica difusa por Escobar Gómez, E N; Instituto Tecnológico de Tuxtla Gutiérrez Chiapas,Díaz Núñez, J J; Universidad Autónoma de Ciudad Juárez Chihuahua,Taracena Sanz, L F; Instituto Tecnológico de Querétaro, Querétaro
Volatile Organic Compound Emissions from Light-Duty Vehicles During Cold-Starts,Emisiones de compuestos orgánicos volátiles durante arranques en frío de automóviles ligeros por Mendoza Domínguez, A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,León Romero, M A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,Caballero Mata, P
Matrix Formulation of Foundations for Vibrating Machinery in Frequency Domain,Formulación matricial de cimentaciones para maquinaria vibratoria en el dominio de la frecuencia por Carbajal Romero, M F; Instituto Politécnico Nacional. México DF,Rodríguez Castellanos, A; Instituto Mexicano del Petróleo. México DF,Rodríguez Sánchez, J E; Instituto Mexicano del Petróleo. México DF,Flores Méndez, E; IPN
Hydrogen Sorption Properties of the Intermetallic Mg2Ni Obtained by Using a Simoloyer Ball Milling,Propiedades de ab-desorción de hidrógeno del intermetálico Mg2Ni obtenido empleando un molino de bolas Simoloyer por Martínez Franco, E; IPN,Klassen, T; GKSS, Research Center Geesthacht, Germany,Jaramillo Vigueras, D; IPN,Bormann, R; GKSS, Research Center Geesthacht, Germany
Numerical Approach to an Outflow Hydrograph of a Dambreak,Estimación numérica del hidrograma de salida de una presa debido a su ruptura por Fuentes Mariles, O A; Universidad Nacional Autónoma de México,Arganis Juárez, M L; UNAM,De Luna Cruz, F; UNAM,Franco, V; UNAM
Electrical Parameters Extraction of CMOS Floating-Gate Inverters,Extracción de parámetros eléctricos de inversores CMOS de compuerta flotante por Molinar Solís, J E; Universidad Autónoma del Estado de México,Ponce Ponce, V H; IPN,García Lozano, R Z; Universidad Autónoma del Estado de México,Díaz Sanchez, A; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE,Rocha Pérez, j M; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE
Back Work Ratio of Brayton Cycle,La relación de trabajo de retroceso de un ciclo Brayton por Malaver de la Fuente, M; Universidad Marítima del Caribe, Venezuela
Active Rectifier with Extended Functions: An Option to Voltage Sags Ride Through and Power Quality Improvement,Rectificador activo con funciones ampliadas: una alternativa para la compensación de sags de voltaje y mejorar la calidad de la red eléctrica por Núñez Gutiérrez, C A; Universidad Autónoma de San Luis Potosí, SLP,Lira Pérez, J; Universidad Autónoma de San Luis Potosí, SLP,Pazos Flores, F; Universidad Autónoma de San Luis Potosí, SLP,Echavarría Solís, R; Universidad Politécnica de Victoria, Ciudad Victoria, Tamaulipas
10