Integrating object-oriented modeling techniques with formal specification techniques

cic.isFulltexttruees
cic.isPeerReviewedtruees
cic.lugarDesarrolloUniversidad Nacional de La Plata es
cic.versioninfo:eu-repo/semantics/submittedVersiones
dc.date.accessioned2016-08-08T16:06:34Z
dc.date.available2016-08-08T16:06:34Z
dc.identifier.urihttps://digital.cic.gba.gob.ar/handle/11746/3428
dc.titleIntegrating object-oriented modeling techniques with formal specification techniquesen
dc.typeDocumento de conferenciaes
dcterms.abstractThe increasing complexity of software systems makes their development complicated and error prone. A widely used and generally accepted technique in software engineering is the combination of different models (or views) for the description of software systems. The primary benefit of this approach is to model only related aspects (Iike structure or behavior). Using different models cIarifies different important aspects of the system, but it has to be taken into consideration that these models are not independent and they are semantically overlapping.\nThe models constitute the fundamental base of information upon which the problem domain experts, the analysts and the software developers interact. Thus, it is of a fundamental importance that it clearly and accurately expresses the essence of the problem. On the other hand, the model construction activity is a critical part in the development process.\nSince models are the result of a complex and creative activity, they tend to contain errors, omissions and inconsistencies. Model verification is very important, since errors in this stage have an expensive impact on the following stages of the software development process.en
dcterms.creator.authorBaum, Gabriel Alfredoes
dcterms.creator.authorFelder, Migueles
dcterms.creator.authorKutsche, Ralf-Detlefes
dcterms.creator.authorBusse, Susannees
dcterms.creator.authorPons, Claudia Fabianaes
dcterms.descriptionEje: Teoríaes
dcterms.extentp. 116-119es
dcterms.identifier.urlRecurso Completoes
dcterms.isPartOf.issueII Workshop de Investigadores en Ciencias de la Computaciónes
dcterms.isPartOf.seriesWorkshop de Investigadores en Ciencias de la Computaciónes
dcterms.issued2000-05
dcterms.languageIngléses
dcterms.licenseAttribution 4.0 International (BY 4.0)es
dcterms.subjectFormal Specification Techniquesen
dcterms.subjectObject-Oriented Modeling Techniquesen
dcterms.subjectModeling techniquesen
dcterms.subjectSpecification techniquesen
dcterms.subject.materiaCiencias Informáticases
Archivos
Paquete original
Mostrando1 - 2 de 2
Imagen en miniatura
Nombre:
Pons Neil - Un enfoque dirigido por modelos.pdf-PDFA.pdf
Tamaño:
187.56 KB
Formato:
Adobe Portable Document Format
Descripción:
Documento completo
Imagen en miniatura
Nombre:
Pons - Integrating object-oriented modeling techniques.pdf-PDFA.pdf
Tamaño:
448.32 KB
Formato:
Adobe Portable Document Format
Descripción:
Documento completo