Includes the top 50 most frequently accessed documents for this publication according to the usage statistics for the month of

  • Applicability of modified condition/decision coverage to software testing

    Publication Year: 1994, Page(s):193 - 200
    Cited by:  Papers (119)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (624 KB)

    Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application and benefits of formal methods in software development

    Publication Year: 1992, Page(s):335 - 346
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1141 KB)

    Formal methods for software development receive much attention in research centres, but are rarely used in industry for the development of (large) software systems. One of the reasons is that little is known about the integration of formal methods in the software process, and the exact role of formal methods in the software life-cycle is still unclear. A detailed examination is made of the applica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Symbolic execution systems-a review

    Publication Year: 1988, Page(s):229 - 239
    Cited by:  Papers (20)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1172 KB)

    Symbolic execution is a technique that is useful in the validation of software. It may be used to aid in the generation of test data and in program proving. As software engineering becomes more concerned with the development of tools, symbolic execution will become an important item in the toolkit. This paper gives a review of symbolic execution and its applications. A minimum set of features for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Axiomatic assessment of control flow-based software test adequacy criteria

    Publication Year: 1995, Page(s):194 - 204
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (948 KB)

    Software test data adequacy criteria are rules to determine whether a piece of software has been adequately tested. Since J.B. Goodenough and S.L. Gerhard (1975) pointed out that the central problem of software testing is 'what is a test data adequacy criterion', many test data adequacy criteria have been proposed and investigated in the literature. Each criterion has its own strength and weakness... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety-critical systems, formal methods and standards

    Publication Year: 1993, Page(s):189 - 209
    Cited by:  Papers (41)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2031 KB)

    Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. The paper examines the industrial use of these techniques, the recommendations conce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance monitoring and evaluation of large embedded systems

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

    This paper describes the rationale and design of an integrated set of software tools which havebeen implemented for use with a large real-time embedded system which is based on a distributed architecture. The tools include facilities to aid system-level program debugging, performance analysis and application-specific performance monitoring. Particular attention is paid to the user interface to the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An introduction to Z and formal specifications

    Publication Year: 1989, Page(s):40 - 50
    Cited by:  Papers (16)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1102 KB)

    The description of information systems using formal, mathematical specifications written in the Z notation, and the refinement of these specifications into rigorously checked designs are described. The author introduces the idea of a formal specification using a simple example: a 'birthday book' in which people's birthdays can be recorded, and which is able to issue reminders on the appropriate da... View full abstract»

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

    Publication Year: 1986
    Cited by:  Papers (13)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1588 KB)

    In recent years the software industry has seen the increasing imposition of structure and discipline on technical development activities in an attempt to improve the efficiency of software development and the reliability of the software produced. The clear emphasis in the modern approach to software engineering is to focus attention on the overall development process and the co-ordination all aspe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation and selection criteria for software requirements specification standards

    Publication Year: 1996, Page(s):307 - 319
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1633 KB)

    Various organisations have published proposals to prescribe the form and content of software requirements specification documents; the standards were designed to support the specific needs of these organisations and the intricacies of their development projects. To help third parties in taking advantage of this body of work, a set of criteria are proposed and discussed that can be used to evaluate... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering with viewpoints

    Publication Year: 1996, Page(s):5 - 18
    Cited by:  Papers (37)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1486 KB)

    The requirements engineering process involves a clear understanding of the requirements of the intended system. This includes the services required of the system, the system users, its environment and associated constraints. This process involves the capture, analysis and resolution of many ideas, perspectives and relationships at varying levels of detail. Requirements methods based on global reas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design metrics: an empirical analysis

    Publication Year: 1990, Page(s):3 - 10
    Cited by:  Papers (9)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (580 KB)

    The application of design metrics to software development. is considered. An empirical investigation is described, the goal of which is to identify design metrics that allow the software engineer to discriminate between designs and pinpoint design weaknesses, particularly with a view to minimising development effort. A design measure based upon information flows between modules is proposed and emp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimental evaluation of a symbolic execution system

    Publication Year: 1992, Page(s):285 - 290
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (450 KB)

    The author describes a symbolic execution system that assists in the construction of test data and the detection of program errors. The system automatically generates a subset of all possible execution paths in the program, according to a certain path selection criterion. It symbolically executes each one of these paths and creates conditions on input variables that cause the path to be executed. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparing programming paradigms: an evaluation of functional and object-oriented programs

    Publication Year: 1996, Page(s):247 - 254
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (856 KB)

    A quantitative evaluation of the functional and object-oriented paradigms is presented. The aim of this project is to investigate whether the quality of code produced using a functional language is significantly different from that produced using an object-oriented language. 12 sets of algorithms are developed, together with a number of utility functions, in both Standard ML (SML) and C++. Strict ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ACRE: selecting methods for requirements acquisition

    Publication Year: 1996, Page(s):183 - 192
    Cited by:  Papers (51)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1082 KB)

    A framework is presented that assists requirements engineers in choosing methods for requirements acquisition. Practitioners are often unaware of the range of methods available. Even when practitioners are aware, most do not foresee the need to use several methods to acquire complete and accurate requirements. One reason for this is the lack of guidelines for method selection. The ACRE framework s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Viewpoints for requirements definition

    Publication Year: 1992, Page(s):375 - 387
    Cited by:  Papers (22)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1053 KB)

    This paper is a survey of the current viewpoint-oriented requirements approaches and a description of an alternative object-oriented viewpoint-based approach. The paper sets out a case for a multiple viewpoint-oriented approach in requirements definition and, using a simple case study, examines the viewpoint approach adopted by three requirements methodologies. The paper concludes by proposing an ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic structural testing using genetic algorithms

    Publication Year: 1996, Page(s):299 - 306
    Cited by:  Papers (70)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (899 KB)

    Genetic algorithms have been used to generate test sets automatically by searching the domain of the software for suitable values to satisfy a predefined testing criterion. These criteria have been set by the requirements for test data set adequacy of structural testing, such as obtaining full branch coverage and controlling the number of iterations of a conditional loop. This technique has been a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building distributed systems with remote procedure call

    Publication Year: 1987, Page(s):148 - 159
    Cited by:  Papers (10)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1674 KB)

    Remote procedure call is gaining popularity assimple, transparent and useful paradigm for building distributed systems. Ideal transparency means that remote procedure calls are in distinguishable from local ones. This is usually only partially achievable. This paper discusses those implementation decisions which affect transparency and intrude on the design of distributed applications built using ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering: A Practitioner's Approach [Book Review]

    Publication Year: 1995, Page(s): 266
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (117 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.
  • Software component interface description for reuse

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

    The authors describe the background and development of a component interface description language called the Component Interface Descriptor (CIDER). CIDER is an object-oriented design language, which enables a software engineer to capture, integrate and reuse component interfaces based on a model of the reusable software component, the 3C model. The 3C model of the reusable component is named afte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An evaluation of software design using the DEMETER tool

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

    The purpose of this study was to investigate the provision of measures suitable for evaluating software designs. These would allow some degree of predictability in estimating the quality of a coded software product. Experiments were conducted to test hypotheses concerning the evaluation of software design metrics related to code complexity. Three medium-sized software projects were used. Metrics f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient scheduling algorithm for divisible and indivisible tasks in loosely coupled multiprocessor systems

    Publication Year: 1994, Page(s):13 - 18
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (477 KB)

    We investigate a scheduling problem in loosely coupled multiprocessor systems. This problem has been addressed by many researchers because it has a substantial effect on the performance of multiprocessor systems. Previous work considered only one class of tasks to be scheduled. We propose an algorithm to schedule two classes of tasks, indivisible and divisible tasks, among the available processors... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A critique of cyclomatic complexity as a software metric

    Publication Year: 1988, Page(s):30 - 36
    Cited by:  Papers (38)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1174 KB)

    McCabe's cyclomatic complexity metric (1976) is widely cited as a useful predictor of various software attributes such as reliability and development effort. This critique demonstrates that it is based upon poor theoretical foundations and an inadequate model of software development. The argument that the metric provides the developer with a useful engineering approximation is not borne out by the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool support for requirements analysis

    Publication Year: 1988, Page(s):86 - 96
    Cited by:  Papers (10)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1246 KB)

    Describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated support for systems design

    Publication Year: 1990, Page(s):331 - 338
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1272 KB)

    The paper describes a design support system which goes beyond the support facilities offered by the current generation of CASE tools. It examines the entire design process, and proposes that the early stages of conceptual design needs a more flexible system than is currently offered by existing design methods. The tool (the designer's notepad (DNP)) allows rough designs to be created and design op... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A graphical environment for user-interface design and development

    Publication Year: 1990, Page(s):289 - 299
    Cited by:  Papers (1)  |  Patents (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (840 KB)

    The design of an easy-to-use and flexible user-interface management system (UIMS) is described. The authors identify two major problems for UIMSs. The first problem is to find a way to make the UIMS easier to use without sacrificing important functionality. A design concept, behaviour abstraction, is described which allows important gains in ease-of-use, while retaining the kind of flexibility nee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling hard real-time systems: a review

    Publication Year: 1991, Page(s):116 - 128
    Cited by:  Papers (58)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1272 KB)

    Results of the application of scheduling theory to hard real-time systems are reviewed in this paper. The review takes the form of an analysis of the problems presented by different application requirements and characteristics. Issues covered include uniprocessor and multiprocessor systems, periodic and aperiodic processes, static and dynamic algorithms, transient overloads and resource usage. Pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Industrial perspective on static analysis

    Publication Year: 1995, Page(s):69 - 75
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (666 KB)

    Static analysis within industrial applications provides a means of gaining higher assurance for critical software. This survey notes several problems, such as the lack of adequate standards, difficulty in assessing benefits, validation of the model used and acceptance by regulatory bodies. It concludes by outlining potential solutions and future directions.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guidelines for the development of automotive software

    Publication Year: 1996, Page(s):76 - 81
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (534 KB)

    The Development Guidelines for Vehicle Based Software were launched in November 1994. These Guidelines represent the culmination of a three-year automotive industry research project carried out by the Motor Industry Software Reliability Association Consortium with support from the UK government. The intention of the Guidelines is to provide assistance to the automotive industry in the creation and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling status and event behaviour of interactive systems

    Publication Year: 1996, Page(s):334 - 346
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1582 KB)

    Interactive systems involve both events, which occur at specific moments (e.g. keystrokes, mouse clicks and beeps), and more persistent "status phenomena", which can be observed at any time (e.g. the position of the mouse or the image on the screen). Most formalisms used for interactive systems concentrate on one aspect or the other, and may be asymmetric in their treatment of input and output. No... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering Journal index

    Publication Year: 1996, Page(s):367 - 377
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (860 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.
  • A software tool for testing JSP designed programs

    Publication Year: 1987, Page(s):46 - 52
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (793 KB)

    The aim of this paper is to present a new structural testing method for use with Jackson structured programming designed programs. The problems associated with testing are outlined and the concepts behind structural testings are briefly discussed. The new structural testing method (STM) is described. The method involves the creation of a path expression from the program structure and the sbsequent... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a constructive quality model. Part 2: Statistical techniques for modelling software quality in the ESPRIT REQUEST project

    Publication Year: 1987, Page(s):114 - 126
    Cited by:  Papers (17)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1274 KB)

    This paper discusses the type of statistical techniques that will be required to formulate, evaluate and use the proposed REQUEST constructive quality model (COQUAMO). Statistical techniques are evaluated in terms of the probable nature and mode of use of COQUAMO, the requirements for model and metric validation, and the problems associated with software metrics data. Examples of preliminary evalu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building an open communication application

    Publication Year: 1987, Page(s):178 - 183
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (918 KB)

    The implementation of a series of protocol handlers is discussed in terms of the approach taken to design and implementation methods. The target was a communication sub-system insupport of terminal handling applications. The design of an OSI transport layer handler using the Jackson system design method is described, as are the reasons for opting to use a more conventional, finite-state machine ap... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • X-machines as a basis for dynamic system specification

    Publication Year: 1988, Page(s):69 - 76
    Cited by:  Papers (14)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1294 KB)

    Discusses the concept of an X-machine, which is a general model of computation, with the intention of using this model in the specification of computer systems. The elementary theory of these constructs is briefly described, but the bulk of the paper is concerned with looking at some examples and the ways that these ideas might be useful in the description and analysis of almost any system.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Occam as a hardware description language

    Publication Year: 1987, Page(s):213 - 219
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (853 KB)

    Occam is a CSP-based concurrent programming language for programming transputer networks. This paper examines the suitability of occam as specified in the original definition of the language and the OPS-2.1 implementation for describing hardware systems. Behavioural and structural descriptions of a typical instruction set processor at different levels of abstraction are presented as a design examp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An information retrieval system for software components

    Publication Year: 1988, Page(s):198 - 207
    Cited by:  Papers (6)  |  Patents (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1278 KB)

    Describes an information retrieval system which is specifically designed to be used for storing and retrieving information about software components. Rather than use a retrieval mechanism which is simply based on keywork descriptions, the authors have made use of developments in natural language research to represent component information in a form which encodes semantics as well as syntax, the co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A quantitative approach to monitoring software development

    Publication Year: 1989, Page(s):2 - 13
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1350 KB)

    A preliminary overview of a procedure for monitoring software development with respect to quality is provided. The monitoring process is based on the extraction, analysis and interpretation of metrics relating to software products and processes. The problem of interpreting software metrics data in terms that are meaningful to project and quality managers is focused on. The authors present a four-s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Justification of formal methods for system specification

    Publication Year: 1989, Page(s):26 - 35
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (806 KB)

    Developments in mathematics and computer science offer a sound, if unfamiliar, basis for the development of computer-controlled systems. The professional systems engineer should become as competent in these fields as in traditional mathematics and physics. The author emphasises their application in the early phases of product development (requirements analysis and functional specification)-a prere... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • POS-formal specification of a Unix tool

    Publication Year: 1989, Page(s):67 - 72
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (434 KB)

    A simple text processing tool which allows positioning of lines within a document is presented using the formal specification language Z. Implementation details such as the use of tab characters and newline sequences are covered. The program has been implemented under the Unix operating system. It is hoped that the use of similar techniques will become widespread in the field of software engineeri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences with group projects in software engineering

    Publication Year: 1989, Page(s):221 - 225
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (516 KB)

    Computer science graduates are often accused of having no experience of the real-world problems of large software systems. In general, the practical work is said to be too small scale, and too individually oriented. The paper describes the introduction of a major group project into the degree syllabus at Heriot-Watt University. The project is designed to give the students experience of the problem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An individual assessment technique for group projects in software engineering

    Publication Year: 1989, Page(s):226 - 232
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (611 KB)

    Presents the history behind organising and assessing group projects in software engineering at Teesside Polytechnic. The article describes why the initial plan in 1987-88 was seriously deficient in the objective assessment of many of the desirable attributes of a good software engineer. It reviews how the method of setting and monitoring goals was overhauled to create a cost-effective structured l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating extended state transitions from structured specifications for process control systems

    Publication Year: 1989, Page(s):283 - 291
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (672 KB)

    The paper describes a method for providing improved prototyping capabilities in a process control system emulation tool. The tool, the NIST Hierarchical Control System Emulator, allows concurrent execution of modules emulating both physical processes and decision processes. The concurrent modules are specified as extended finite state machines. The paper describes the emulation tool and presents a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An evaluation of some design metrics

    Publication Year: 1990, Page(s):50 - 58
    Cited by:  Papers (22)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (612 KB)

    Some software design metrics are evaluated using data from a communications system. The design metrics investigated were based on the information flow metrics proposed by S. Henry and D. Kafura (1981) and the problems they encountered are discussed. The slightly simpler metrics used in this study are described. The ability of the design metrics to identify change-prone, error-prone and complex pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software metrics: theory, tools and validation

    Publication Year: 1990, Page(s):65 - 78
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1156 KB)

    One of the four major themes of the UK government's Alvey Programme was software engineering. This theme was subdivided into three special interest areas: formal methods, reliability and metrics and IPSEs. The author describes one Alvey project which was unusual in as much as it encompassed the first two areas. The major objective of the project was to develop rigorous techniques for analysing and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measures of testability as a basis for quality assurance

    Publication Year: 1990, Page(s):86 - 92
    Cited by:  Papers (19)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (618 KB)

    Program testing is the most used technique for analytical quality assurance. A lot of time and effort is devoted to this task during the software lifecycle, and it would be useful to have a means for estimating this testing effort. Such estimates could be used, on one hand, for guiding construction and, on the other, to help organise the development process and testing. Thus the effort needed for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The evolution of configuration management and version control

    Publication Year: 1990, Page(s):303 - 310
    Cited by:  Papers (3)  |  Patents (29)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (612 KB)

    The activities of configuration management and version control are particularly important for software engineers, since during most of a system lifecycle they have to deal with a growing number of versions of a single component, and to rebuild the complete system in different ways using different components. These tasks are repetitive and trivial, and they require a lot of manual work and accuracy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some elementary questions on software quality control

    Publication Year: 1990, Page(s):319 - 330
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (896 KB)

    Some elementary questions relating to the subject of quality control in software development are addressed. What is software quality? What obstacles should be removed in order to obtain quality control? What are directions for research regarding quality control in software development? A central issue is the notion that complete objectivity in quality assessment cannot be achieved. It is argued th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analogy as a paradigm for specification reuse

    Publication Year: 1991, Page(s):3 - 15
    Cited by:  Papers (13)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (993 KB)

    Specification reuse by analogy is proposed as an alternative paradigm to support requirements analysis. The paradigm is founded on a descriptive model of analogy in software engineering problems, which suggests critical determinants of software engineering analogies. This model is discussed in terms of two non-simple software engineering analogies, which also suggest the potential of specification... View full abstract»

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

    Publication Year: 1991, Page(s):17 - 23
    Cited by:  Papers (6)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (699 KB)

    The paper puts forward a possible generic model for the process of technology transfer. It describes in a generalised style how the process takes place in typical industrial circumstances, ranging from initial awareness to in-use support. One might image that the example under study is the adoption of a new software engineering method and associated toolset in a company, in a business which makes ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proving properties of a safety-critical system

    Publication Year: 1991, Page(s):41 - 50
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (752 KB)

    The paper describes the FOREST approach to formal requirements specification and particularly the role of an automated theorem prover in validating specifications written in MAL, the FOREST logic. The MAL prover uses a tableau method for constructing its proofs, with rules to handle the action modalities and quantification of MAL. The authors illustrate its use in validation by using the prover to... View full abstract»

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

Aims & Scope

Published from 1986-1996, Software Engineering Journal included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered reports on practical experience using software engineering methods and tools, and papers on long-term research activities.

Full Aims & Scope