Interface specification methods for software components

No Thumbnail Available

URL

Journal Title

Journal ISSN

Volume Title

Faculty of Information and Natural Sciences | D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Date

2009

Major/Subject

Mcode

Degree programme

Language

en

Pages

52

Series

TKK reports in information and computer science, 25

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.

Description

Keywords

interface specification, lightweight methods

Other note

Citation

Permanent link to this item

https://urn.fi/urn:nbn:fi:tkk-013085