By Topic

IET Software

Issue 4 • Date August 2009

Filter Results

Displaying Results 1 - 6 of 6
  • Automatic vehicle location tracking system based on GIS environment

    Publication Year: 2009, Page(s):255 - 263
    Cited by:  Papers (8)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (973 KB)

    Recently, automatic vehicle location (AVL) has become more widely used, affordable and popular than ever before. AVL is used for different tracking purposes, especially for those related to tracking one vehicle or a fleet of vehicles. Tracking system technology was made possible by the integration of three new technologies: navigational technologies such as global positioning system (GPS), databas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Contextual paradigm for ad hoc retrieval of user-centric web data

    Publication Year: 2009, Page(s):264 - 275
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (296 KB)

    The choice of the term-weighting technique and the combination of term weights during retrieval is an important aspect of the Web information retrieval (WebIR) system. At their heart, most WebIR models utilise some form of term frequency-based term-weighting technique. The notion is that the more often a query term occurs in a document, the more likely it is that the document meets an information ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards automated verification of layered graph transformation specifications

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

    Graph transformation systems have recently become more and more popular as a general formal modelling language. It is a suitable formalism for modelling different systems like distributed and complex systems. However, modelling must be complemented with proper analysis capabilities to let the user understand how designed models behave and whether stated requirements are fulfilled and model checkin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Approach for solving the feature location problem by measuring the component modification impact

    Publication Year: 2009, Page(s):292 - 311
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (373 KB)

    Maintaining a large software system is an inherently difficult task that often involves locating and comprehending system features prior to performing the actual maintenance task at hand. Feature location techniques were introduced to locate the source code components implementing specific software features. Common to these approaches is that they rely either on exercising several features of a sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal specification and validation of railway network components using Z notation

    Publication Year: 2009, Page(s):312 - 320
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (765 KB)

    The railway interlocking system, being a safety-critical system, has achieved importance in the railway industry. Advanced technologies are being applied for its modelling, preventing collision and derailing of trains and at the same time allowing efficient movement of trains. In this study, we have applied Z notation by constructing a specification of the critical components of moving block inter... View full abstract»

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

    Publication Year: 2009, Page(s):321 - 336
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (588 KB)

    Legacy systems often contain several crosscutting concerns that could potentially benefit from an aspect-oriented programming implementation. In this paper, we focus on the problem of aspect identification in existing code. The main idea is that use-cases can be defined in order to separate the base logics from the crosscutting concerns to be aspectised. The relationship between the execution trac... 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