Interface specification methods for software components

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Lampinen, Jani
dc.contributor.author Liedes, Sami
dc.contributor.author Kähkönen, Kari
dc.contributor.author Kauttio, Janne
dc.contributor.author Heljanko, Keijo
dc.date.accessioned 2011-11-28T13:24:37Z
dc.date.available 2011-11-28T13:24:37Z
dc.date.issued 2009
dc.identifier.isbn 978-952-248-279-2
dc.identifier.issn 1797-5042
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/903
dc.description.abstract This work presents an interface specification language developed as a part of the LIME-project (LightweIght formal methods for distributed component-based Embedded systems). The intention is to provide a mechanism for specifying both external usage of a software component, as well as the internal behavior of a one. The described methodology is considered lightweight because there is no assumption of a complete model of a software component or its interface. The presented approach is an incremental description of properties that are at least expected to hold. The described approach can also be applied to a component which is already (completely or partially) implemented. en
dc.format.extent 52
dc.format.mimetype application/pdf
dc.language.iso en en
dc.publisher Helsinki University of Technology en
dc.publisher Teknillinen korkeakoulu fi
dc.relation.ispartofseries TKK reports in information and computer science en
dc.relation.ispartofseries 25 en
dc.subject.other Computer science en
dc.title Interface specification methods for software components en
dc.type D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys fi
dc.contributor.school Faculty of Information and Natural Sciences en
dc.contributor.school Informaatio- ja luonnontieteiden tiedekunta fi
dc.contributor.department Department of Information and Computer Science en
dc.contributor.department Tietojenkäsittelytieteen laitos fi
dc.subject.keyword interface specification en
dc.subject.keyword lightweight methods en
dc.identifier.urn urn:nbn:fi:tkk-013085
dc.type.dcmitype text en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse

My Account