By Topic

IEE Proceedings - Software

Issue 4 • Date Aug. 1999

Filter Results

Displaying Results 1 - 5 of 5
  • Computational visualisation: graphics, abstraction and interactivity [Book Review]

    Publication Year: 1999, Page(s): 220
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (63 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.
  • Test cases generation from UML state diagrams

    Publication Year: 1999, Page(s):187 - 192
    Cited by:  Papers (44)  |  Patents (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (460 KB)

    The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering research: a critical appraisal

    Publication Year: 1999, Page(s):179 - 186
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (628 KB)

    It is argued that computer science and software engineering should be regarded as separate disciplines, and that the long term success of academic computer science departments will only be secured by adopting a stronger engineering stance in research, enhanced by closer links with industry. A number of ways are suggested to revitalise the software engineering community and forge stronger links wit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effects of structure on the comprehensibility of formal specifications

    Publication Year: 1999, Page(s):193 - 202
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (608 KB)

    Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiple view environment supporting VDM and Ada

    Publication Year: 1999, Page(s):203 - 219
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (940 KB)

    The paper presents a multiple view, software development environment that supports transformation between VDM and Ada. The environment allows a software system to be represented in a canonical, source language independent form. This representation may then be viewed, and modified, via editors which support different notation. Two specific editors have been developed; one supports the Vienna Develo... View full abstract»

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