IEE Proceedings - Software

Volume 150 Issue 1 • Feb. 2003

Filter Results

Displaying Results 1 - 5 of 5
  • Editorial

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

    As the Honorary Editor of IEE Proceedings-Software, I am delighted to announce the appointment of our new Editorial Board. For many years, the journal was under the steady hand of Professor Ian Sommerville. Ian built the journal up to its present position as the only softwarerelated journal in the UK, but publishing papers from around the world, and especially Europe. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comments on the probability model for the modified condition/decision coverage method of testing software

    Publication Year: 2003, Page(s):3 - 12
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (898 KB)

    The probability model of software errors offered as a partial justification for the modified condition/decision coverage (MC/DC) method of testing software is examined. MC/DC is complex and still evolving, but a description of MC/DC adequate for a discussion of the probability model is presented. The original description of the model is presented, and the model's relationship to MC/DC is described... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems

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

    Most of today's commercial real-time operating systems (RTOSs) offer multiple scheduling policies which are applied on a per-process basis. The best illustrations of this are the Posix1003.1b compliant OSs that provide two real-time scheduling policies, namely sched-fifo and sched-rr, which under some limited hypotheses are respectively the equivalent of fixed priority pre-emptive (FPP) and round-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining abductive reasoning and inductive learning to evolve requirements specifications

    Publication Year: 2003, Page(s):25 - 38
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1803 KB)

    The development of requirements specifications inevitably involves modification and evolution. To support modification while preserving particular requirements goals and properties, the use of a cycle composed of two phases: analysis and revision is proposed. In the analysis phase, a desirable property of the system is checked against a partial specification. Should the property be violated, diagn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design methodology for construction of asynchronous pipelines with Handel-C

    Publication Year: 2003, Page(s):39 - 47
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (991 KB)

    CSP (communicating sequential processes) channels are proposed as a means of developing high-level, asynchronous pipeline architectures over and above existing synchronous logic. Channel-based design allows hardware systems to be designed and constructed using top-down software engineering methods, which have not previously been available within hardware-software co-design. The intention is to enh... 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