Mostra el registre d'ítem simple

dc.contributor.authorQueralt Calafat, Anna
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2016-03-30T08:36:52Z
dc.date.available2016-03-30T08:36:52Z
dc.date.issued2005-05
dc.identifier.citationQueralt, A., Teniente, E. "Strict and extended interpretations of operation contracts in conceptual modeling". 2005.
dc.identifier.urihttp://hdl.handle.net/2117/84840
dc.description.abstractThis 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.extent16 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-05-26-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.otherOperation contracts
dc.subject.otherConceptual modeling
dc.titleStrict and extended interpretations of operation contracts in conceptual modeling
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac583280
dc.description.versionPostprint (published version)
local.citation.authorQueralt, A.; Teniente, E.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple