By Topic

IEE Proceedings - Software

Issue 5 • October 2006

Filter Results

Displaying Results 1 - 2 of 2
  • Deriving specifications from requirements through problem reduction

    Publication Year: 2006, Page(s):183 - 198
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (384 KB)

    Software problems - problems whose solution is software-intensive - come in many forms. Given that software and computers are deeply embedded in society, one general characteristic of software problems is that their early requirements are expressed `deep into the world', that is, in terms that end-users and other stake-holders would recognise and understand. The developer is left with the difficul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Block-structured stochastic process algebra and its applications to queueing systems

    Publication Year: 2006, Page(s):199 - 210
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (298 KB)

    A new and general stochastic process algebra with block structure, called PEPABS, is introduced, which is a generalisation of PEPAph infin. For PEPABS, the activity durations may be allowed to be generally distributed, and the corresponding transition probability matrix has a block-partitioned structure. Specifically, PEPABS is suitable for de... View full abstract»

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