By Topic

IEE Proceedings - Software

Issue 1 • Date 7 Feb. 2005

Filter Results

Displaying Results 1 - 5 of 5
  • Editorial reusable software libraries

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

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Template-based construction of verified software

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

    The use of formal verification to prove the correctness of software is increasingly being mandated by international standards for the development of safety critical systems. While formal development environments exist to assist in formal software development, formal verification is still an extremely difficult and time-consuming task, requiring expert skills not possessed by the typical software e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development and use of dynamic product-line architectures

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

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Taxonomy-based software construction of SPARE Time: a case study

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

    The authors consider the design and implementation of SPARE Time as an example of taxonomy-based software construction (TABASCO). SPARE Time is a C++ toolkit for keyword pattern matching. It differs from other toolkits in that it is based on a taxonomy of keyword pattern matching algorithms. They discuss the aims of TABASCO and of taxonomy construction and taxonomy-based toolkit design in particul... View full abstract»

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

    Publication Year: 2005, Page(s):38 - 51
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1010 KB)

    The authors render runtime system adaptations by design-level concepts such that running systems can be adapted and examined at a higher level of abstraction. The overall idea is to express design decisions as applications of design operators to be carried out at runtime. Design operators can implement design patterns for use at runtime. Applications of design operators are made explicit as design... View full abstract»

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