Integrating object-oriented modeling techniques with formal specification techniques
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...
| Autores principales: | , , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2000
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22159 |
| Aporte de: |
| id |
I19-R120-10915-22159 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas Formal Specification Techniques Object-Oriented Modeling Techniques Modeling techniques Specification techniques |
| spellingShingle |
Ciencias Informáticas Formal Specification Techniques Object-Oriented Modeling Techniques Modeling techniques Specification techniques Pons, Claudia Baum, Gabriel Alfredo Felder, Miguel Kutsche, Ralf-Detlef Busse, Susanne Integrating object-oriented modeling techniques with formal specification techniques |
| topic_facet |
Ciencias Informáticas Formal Specification Techniques Object-Oriented Modeling Techniques Modeling techniques Specification techniques |
| description |
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.
The 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.
Since 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. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Pons, Claudia Baum, Gabriel Alfredo Felder, Miguel Kutsche, Ralf-Detlef Busse, Susanne |
| author_facet |
Pons, Claudia Baum, Gabriel Alfredo Felder, Miguel Kutsche, Ralf-Detlef Busse, Susanne |
| author_sort |
Pons, Claudia |
| title |
Integrating object-oriented modeling techniques with formal specification techniques |
| title_short |
Integrating object-oriented modeling techniques with formal specification techniques |
| title_full |
Integrating object-oriented modeling techniques with formal specification techniques |
| title_fullStr |
Integrating object-oriented modeling techniques with formal specification techniques |
| title_full_unstemmed |
Integrating object-oriented modeling techniques with formal specification techniques |
| title_sort |
integrating object-oriented modeling techniques with formal specification techniques |
| publishDate |
2000 |
| url |
http://sedici.unlp.edu.ar/handle/10915/22159 |
| work_keys_str_mv |
AT ponsclaudia integratingobjectorientedmodelingtechniqueswithformalspecificationtechniques AT baumgabrielalfredo integratingobjectorientedmodelingtechniqueswithformalspecificationtechniques AT feldermiguel integratingobjectorientedmodelingtechniqueswithformalspecificationtechniques AT kutscheralfdetlef integratingobjectorientedmodelingtechniqueswithformalspecificationtechniques AT bussesusanne integratingobjectorientedmodelingtechniqueswithformalspecificationtechniques |
| bdutipo_str |
Repositorios |
| _version_ |
1764820465608556545 |