By Topic

IEE Proceedings - Software

Issue 6 • 9 Dec. 2005

Filter Results

Displaying Results 1 - 6 of 6
  • Estimating size in incremental software development projects

    Publication Year: 2005, Page(s):253 - 259
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (116 KB)

    The motivation for this work is derived from the current interest in speeding up development schedules. A key implication of the shift to more rapid development methods is the growing emphasis on fixed time and fixed effort delivered during such projects. However, there appears to be little work that addresses the impacts of dealing with bound effort levels. The result of binding time and effort i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering multicast group key distribution: a review

    Publication Year: 2005, Page(s):260 - 272
    Cited by:  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (561 KB)

    The complex software structures and procedures to establish multicast group key distribution are analysed, with resulting performance timings and trial applications reported. Existing solutions for very-large scale group key distribution with a hierarchical virtual tree topology are engineered for commercial applications using a public key infrastructure and open source Java security libraries. To... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic coupling metric: proof of concept

    Publication Year: 2005, Page(s):273 - 279
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (165 KB)

    Most object-oriented coupling measures proposed in the literature deal with coupling at the static class level. Measuring dynamic object coupling however gives potential for greater insight into system structure and comparison of the architectural aspects of different systems. In previous work, a dynamic coupling metric (DCM) was introduced and validated theoretically. The authors investigate an e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metarule-guided association rule mining for program understanding

    Publication Year: 2005, Page(s):281 - 296
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (272 KB)

    Software systems are expected to change over their lifetime in order to remain useful. Understanding a software system that has undergone changes is often difficult owing to the unavailability of up-to-date documentation. Under these circumstances, source code is the only reliable means of information regarding the system. In the paper, association rule mining is applied to the problem of software... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed CTL model checking

    Publication Year: 2005, Page(s):297 - 308
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (208 KB)

    As model checking becomes increasingly used in industry, there is a big need for efficient new methods to deal with the large real-size designs. The author presents a novel method for improving the performance of model checking using parallelisation techniques. The model checking is performed on a distributed-memory environment consisting of a network of machines. The important two keys to focus o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing non-strict evaluation on OOVMs

    Publication Year: 2005, Page(s):309 - 315
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (139 KB)

    Object-oriented virtual machines (OOVMs), such as the Common Language Infrastructure (CLI) and Java Virtual Machine (JVM), are increasingly common. The CLI, with its support for objects and value types, provides a good platform for many, but not all, programming languages. Gyro, the generics for Rotor extension, improves the CLI as a platform for languages with polymorphic type systems, C++ style ... View full abstract»

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