@techreport{
    TKK-ICS-R25,
    author = {Lampinen, Jani and Liedes, Sami and K{\"a}hk{\"o}nen, Kari and Kauttio, Janne and Heljanko, Keijo},
    tkkurl = "http://lib.tkk.fi/Reports/2009/isbn9789522482792.pdf",
    onlinenote = "",
    isbn = "978-952-248-278-5 (Print), 978-952-248-279-2 (Online)",
    title = "Interface Specification Methods for Software Components",
    month = "December",
    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.",
    issn = "1797-5034 (Print), 1797-5042 (Online)",
    year = "2009",
    number = "TKK-ICS-R25",
    pages = "52",
    responsibleauthor = "Lampinen, Jani",
    juforank = "NA",
    corerank = "NA",
    flags = "SERIES-R public copy LIME DC",
    il = "no",
    address = "Espoo, Finland",
    keywords = "Interface specification, lightweight methods",
    impactfactor = "E",
    type = "Technical Report",
    institution = "Helsinki University of Technology, Department of Information and Computer Science"
}