Mostra el registre d'ítem simple
Strict and extended interpretations of operation contracts in conceptual modeling
dc.contributor.author | Queralt Calafat, Anna |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2016-03-30T08:36:52Z |
dc.date.available | 2016-03-30T08:36:52Z |
dc.date.issued | 2005-05 |
dc.identifier.citation | Queralt, A., Teniente, E. "Strict and extended interpretations of operation contracts in conceptual modeling". 2005. |
dc.identifier.uri | http://hdl.handle.net/2117/84840 |
dc.description.abstract | This paper describes two different ways of understanding operation contracts in conceptual modeling. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which impacts on the desirable properties of operation contracts according to recommended good practices for requirements specification. Both approaches are formalized and then compared in a number of issues. |
dc.format.extent | 16 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-05-26-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject.other | Operation contracts |
dc.subject.other | Conceptual modeling |
dc.title | Strict and extended interpretations of operation contracts in conceptual modeling |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 583280 |
dc.description.version | Postprint (published version) |
local.citation.author | Queralt, A.; Teniente, E. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]