Scheduled System Maintenance
On Tuesday, February 28, IEEE Xplore will undergo scheduled maintenance from 1:00-5:00 PM ET (18:00-22:00 UTC).
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

IET Software

Issue 6 • December 2008

Filter Results

Displaying Results 1 - 6 of 6
  • Specification and verification of componentbased systems (SAVCBS) - {editorial}

    Publication Year: 2008, Page(s):475 - 476
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (79 KB)

    This IET Software Special Issue consists of the best papers that appeared at the fifth and sixth workshops on Specification and Verification of Component-Based Systems (SAVCBS) affiliated with ESEC/FSE-13 and ACM SIGSOFT 2006/FSE-14 conferences. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Faithful mapping of model classes to mathematical structures

    Publication Year: 2008, Page(s):477 - 499
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (395 KB)

    Abstraction techniques are indispensable for the specification and verification of the functional behaviour of programs. In object-oriented specification languages like Java Modeling Language, a powerful abstraction technique is the use of model classes, that is, classes that are only used for specification purposes and that provide object-oriented interfaces for essential mathematical concepts su... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verification of class liveness properties with java modelling language

    Publication Year: 2008, Page(s):500 - 514
    Cited by:  Papers (1)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (745 KB)

    Static checking is key for the security of software components. As a component model, this paper considers a Java class enriched with annotations from the Java modelling language (JML). It defines a formal execution semantics for repetitive method invocations from this annotated class, called the class in isolation semantics. Afterwards, a pattern of liveness properties is defined, together with i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reducing the use of nullable types through non-null by default and monotonic non-null

    Publication Year: 2008, Page(s):515 - 531
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (508 KB)

    With Java 5 annotations, the authors note a marked increase in tools that can statically detect potential null dereferences. To be effective, such tools require that developers annotate declarations with nullity modifiers and have annotated API libraries. Unfortunately, in the experience of the authors, specifying moderately large code bases, the use of non-null annotations is more labour intensiv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal verification of systems with an unlimited number of components

    Publication Year: 2008, Page(s):532 - 546
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (469 KB)

    In many real component-based systems and patterns of component interaction, there can be identified a stable part (such as control component, server, instance handler) and a number of uniform components of the same type (users, clients, instances). Such systems, the so-called control-user systems, are often modelled using an infinite set of finite models of particular components, parameterised by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assume-guarantee testing for software components

    Publication Year: 2008, Page(s):547 - 562
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (530 KB)

    Integration issues of component-based systems tend to be targeted at the later phases of the software development, mostly after components have been assembled to form an executable system. However, errors discovered at these phases are typically hard to localise and expensive to fix. To address this problem, the authors introduce assume-guarantee testing, a technique that establishes key propertie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IET Software publishes papers on all aspects of the software lifecycle, including design, development, implementation and maintenance.

Full Aims & Scope

Meet Our Editors

Publisher
IET Research Journals
iet_sen@theiet.org