Formal foundations of object-oriented modeling notations (Record no. 52401)

MARC details
000 -CABECERA
campo de control de longitud fija 02350naa a2200241 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170246.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2000 xx o 000 0 eng d
024 8# - Otro identificador estandar
Número estándar o código DIF-M2618
-- 2711
-- DIF002522
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Pons, Claudia Fabiana
245 10 - MENCIÓN DE TÍTULO
Título Formal foundations of object-oriented modeling notations
490 0# - MENCIÓN DE SERIE
Mención de serie ^p Datos electrónicos (1 archivo : 932 KB)
500 ## - NOTA GENERAL
Nota general Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 09/03/2009)
520 ## - SUMARIO, ETC.
Sumario, etc. In this paper we describe and classifL the different solutions that have been proposed to realize the integration ofgraphic modeling languages, known and accepted by the software developers, with formal modeling languages having analysis and verification tools. Inspired from that classification we define a new integration proposal, based on first-order dynamic logic. The principal benefits ofthe proposedformalization can be summarized asfollows: - The different views on a system are integrated in a single formal model: this allows us to define rules of compatibility between the separate views, on syntactical and semantic level. -Using formal manipulation, it is possible to deduce further knowledge from the specification. -The faults of specifications expressed using a user-friendly notation can be revealed using analysis and verification techniques based on the formal kernel model. The principal diflerence between this model and other object-oriented formal models is that it integrates both of the levels in the architecture of modeling notations into a single conceptual framework. The integration of modeling entities and modeled entities into a single formalism allows us to express both static aspects and dynamic aspects of either the model or the modeled system within a first-order formalism.
534 ## - NOTA SOBRE LA VERSIÓN ORIGINAL
Encabezamiento principal del original 3rd International Conference on Formal Engineering Methods, IEEE ICFEM 2000, IEEE Computer Society Press, 101-110, September 2000.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada LENGUAJES DE MODELADO
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada INGENIERÍA HUMANA
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada ADO.NET
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href="www.lifia.info.unlp.edu.ar/papers/2000/Pons2000.pdf">www.lifia.info.unlp.edu.ar/papers/2000/Pons2000.pdf</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Capítulo de libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Colección Biblioteca permanente Biblioteca actual Fecha de adquisición Total de préstamos Signatura topográfica completa Fecha visto por última vez Identificador Uniforme del Recurso Precio válido a partir de Tipo de ítem Koha
      No corresponde Biblioteca digital Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025   A0117 11/03/2025 http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=124 11/03/2025 Capítulo de libro