Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

IEE Proceedings - Software

Issue 1 • 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
    Cited by:  Papers (1)
    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.

Aims & Scope

Published from 1997-2006, IEE Proceedings - Software included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered all aspects of the software lifecycle, including design, development, implementation and maintenance.

Full Aims & Scope