By Topic

IET Software

Issue 1 • Date February 2011

Filter Results

Displaying Results 1 - 8 of 8
  • Using autonomous components to improve runtime qualities of software

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

    In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and predicted at the specification and design stages and be evaluated and verified at the deployment and execution stages. However, distributed autonomous software entities are developed and maintained independently by third pa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Weather data sharing system: an agent-based distributed data management

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

    Severe weather causes human disasters. The most useful way to decrease a national disaster is by building more atmospheric sensing equipments to monitor the climate change. The data produced by these sensing equipments are of a huge amount and play an important role for weather prediction. Moreover, new sensing equipments enrich weather data. Everyday terabyte and petabyte-scale data are collected... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalisation and verification of programmable logic controllers timers in Coq

    Publication Year: 2011, Page(s):32 - 42
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (490 KB)

    Programmable logic controllers (PLCs) are widely used in embedded systems. Timers play a pivotal role in PLC real-time applications. The formalisation of timers is of great importance. The study presents a formalisation of PLC timers in the theorem proving system Coq, in which the behaviours of timers are characterised by a set of axioms at an abstract level. The authors discuss how to model timer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systems engineering and safety - a framework

    Publication Year: 2011, Page(s):43 - 53
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (627 KB)

    This study provides a definition of safety and assesses currently available systems engineering approaches for managing safety in systems development. While most work in relation to safety is of a `safety critical` nature, the authors concentrate on wider issues associated with safety. The outcomes of the assessment lead to a proposal for a framework providing the opportunity to develop a model in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Nine-areas-tree-bit-patterns-based method for continuous range queries over moving objects

    Publication Year: 2011, Page(s):54 - 69
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1450 KB)

    A continuous range query is defined to periodically re-evaluated to locate moving objects that are currently inside the boundary of the range query and is widely used to support the location-based services. However, the query processing becomes complicated because of frequent locations update of moving objects. The query indexing relies on incremental evaluation, building the index on range querie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Functional testing of feature model analysis tools: a test suite

    Publication Year: 2011, Page(s):70 - 82
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (314 KB)

    A feature model is a compact representation of all the products of a software product line. Automated analysis of feature models is rapidly gaining importance: new operations of analysis have been proposed, new tools have been developed to support those operations and different logical paradigms and algorithms have been proposed to perform them. Implementing operations is a complex task that easil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Nomenclature unification of software product measures

    Publication Year: 2011, Page(s):83 - 102
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (913 KB)

    A large number of software quality prediction models are based on software product measures (SPdMs). There are different interpretations and representations of these measures which generate inconsistencies in their naming conventions. These inconsistencies affect the efforts to develop a generic approach to predict software quality. This study identifies two types of such inconsistencies and categ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software cost estimation for componentbased fourth-generation-language software applications

    Publication Year: 2011, Page(s):103 - 110
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (142 KB)

    Software cost estimation is important for budgeting, risk analysis, project planning and software improvement analysis. There are numerous estimation techniques. During the past three decades there had been some significant developments in effort estimation, size of software and cost estimation methodology. Current software cost estimation models have been experiencing increasing difficulties in e... View full abstract»

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

Aims & Scope

IET Software publishes papers on all aspects of the software lifecycle, including design, development, implementation and maintenance.

Full Aims & Scope

Meet Our Editors

Publisher
IET Research Journals
iet_sen@theiet.org