Integrating object-oriented modeling techniques with formal specification techniques
| cic.isFulltext | true | es |
| cic.isPeerReviewed | true | es |
| cic.lugarDesarrollo | Universidad Nacional de La Plata | es |
| cic.version | info:eu-repo/semantics/submittedVersion | es |
| dc.date.accessioned | 2016-08-08T16:06:34Z | |
| dc.date.available | 2016-08-08T16:06:34Z | |
| dc.identifier.uri | https://digital.cic.gba.gob.ar/handle/11746/3428 | |
| dc.title | Integrating object-oriented modeling techniques with formal specification techniques | en |
| dc.type | Documento de conferencia | es |
| dcterms.abstract | The 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.author | Baum, Gabriel Alfredo | es |
| dcterms.creator.author | Felder, Miguel | es |
| dcterms.creator.author | Kutsche, Ralf-Detlef | es |
| dcterms.creator.author | Busse, Susanne | es |
| dcterms.creator.author | Pons, Claudia Fabiana | es |
| dcterms.description | Eje: Teoría | es |
| dcterms.extent | p. 116-119 | es |
| dcterms.identifier.url | Recurso Completo | es |
| dcterms.isPartOf.issue | II Workshop de Investigadores en Ciencias de la Computación | es |
| dcterms.isPartOf.series | Workshop de Investigadores en Ciencias de la Computación | es |
| dcterms.issued | 2000-05 | |
| dcterms.language | Inglés | es |
| dcterms.license | Attribution 4.0 International (BY 4.0) | es |
| dcterms.subject | Formal Specification Techniques | en |
| dcterms.subject | Object-Oriented Modeling Techniques | en |
| dcterms.subject | Modeling techniques | en |
| dcterms.subject | Specification techniques | en |
| dcterms.subject.materia | Ciencias Informáticas | es |
Archivos
Bloque original
1 - 2 de 2
Cargando...
- 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
Cargando...
- Nombre:
- Pons - Integrating object-oriented modeling techniques.pdf-PDFA.pdf
- Tamaño:
- 448.32 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- Documento completo