By Topic

Software Engineering Journal

Issue 3 • Date May 1993

Filter Results

Displaying Results 1 - 6 of 6
  • AOPS: an abstraction-oriented programming system for literate programming

    Publication Year: 1993, Page(s):113 - 120
    Cited by:  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (609 KB)

    The practice of literate programming is not widespread because existing literate programming systems have some undesirable characteristics such as programming language and text processor dependence and a lack of flexible tools for viewing and manipulating the source file. This paper describes the literate programming system AOPS (abstraction-oriented programming system) which addresses both of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control integration through message-passing in a software development environment

    Publication Year: 1993, Page(s):121 - 131
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1272 KB)

    Understanding tool integration in a software development environment (SDE) is one of the key issues being addressed in work on providing automated support for large-scale software production. Work has been taking place at both the conceptual level ('what is integration?') and the mechanistic level ('how do we provide integration?'). Existing integration mechanisms have been very rigid in the suppo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 'Slick Systems' and 'Happy Hackers': experience with group projects at UCL

    Publication Year: 1993, Page(s):132 - 136
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (463 KB)

    The authors describe their experience of group projects in the practical teaching of software engineering over a period of eight years. Their initial projects tended to be too challenging, and few groups managed to produce complete pieces of work. They have deliberately simplified tasks slightly, resulting in less frustration and better projects, so that students reap more benefits. Students learn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a verified MiniSML/SECD system

    Publication Year: 1993, Page(s):137 - 153
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1351 KB)

    A totally verified system consists of a meaning preserving compiler and hardware that correctly interprets the resulting machine code. The authors describe work in progress towards this goal using MiniSML, a small functional language, and the SECD machine. A functional language was used to facilitate software proofs, and the SECD machine was chosen as it was the best documented machine when they b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal specification of appearance and behaviour of visual environments

    Publication Year: 1993, Page(s):154 - 164
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1107 KB)

    The problem of a formal specification of visual languages has been addressed in several works. Most of these approaches only describe the correct placement of graphic objects on a screen. Icons are not, however, static elements. They behave dynamically in order to interact with the user, other icons and application processes. In order to make a complete specification of icons, it is important to h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software systems engineering: the case of a new discipline

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

    One of the hallmarks of the modern world is the creation of complex systems. The discipline of systems engineering is often utilised in this activity and, as many of these systems are also software-intensive, the discipline of software engineering becomes one of the critical technologies that must be utilised. In these cases, both disciplines address the same subject, the creation of complex softw... View full abstract»

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