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

  • Requirements engineering with viewpoints

    Publication Year: 1996, Page(s):5 - 18
    Cited by:  Papers (36)  |  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.
  • Scheduling hard real-time systems: a review

    Publication Year: 1991, Page(s):116 - 128
    Cited by:  Papers (56)
    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.
  • 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.
  • Applicability of modified condition/decision coverage to software testing

    Publication Year: 1994, Page(s):193 - 200
    Cited by:  Papers (114)  |  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.
  • ACRE: selecting methods for requirements acquisition

    Publication Year: 1996, Page(s):183 - 192
    Cited by:  Papers (50)
    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.
  • 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.
  • Formal specification and verification of a procedural protocol: case study

    Publication Year: 1995, Page(s):97 - 104
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (579 KB)

    Techniques for the specification and verification of computer network protocols have progressed significantly in the past decade. The progress is largely due to the development of the state transition approach to formal specification and to the greater automation of the verification process. Some ISO state event protocols have been specified and verified using the state transition technique. Howev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Errors in algebraic specifications and an experimental mutation testing tool

    Publication Year: 1993, Page(s):211 - 224
    Cited by:  Papers (13)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1229 KB)

    There is an increasing trend towards more formality in the development of specifications of software systems in order to reduce the likelihood of errors as early as possible in the development process. The algebraic approach to specification, with its equational form, leads to the added advantage of executability via the process of term rewriting. Nevertheless, erroneous algebraic specifications c... 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.
  • A software reliability growth model for an error-removal phenomenon

    Publication Year: 1992, Page(s):291 - 294
    Cited by:  Papers (22)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (276 KB)

    The authors develop a software reliability growth model based on the non-homogeneous Poisson process, under the assumption that the detection of these errors can also cause the detection of some of the remaining errors without these errors causing any failure. Using the expected number of errors thus detected, the authors obtain the mean value function describing the failure phenomenon. Parameters... 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 (67)
    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.
  • Towards a constructive quality model. Part 1: Software quality modelling, measurement and prediction

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

    This paper considers the approach taken by the ESPRIT-funded REQUEST project to measuring, modelling and predicting software quality. The paper describes previous work on defining software quality and indicates how the work has been used by REQUEST to begin the formulation of a constructive quality model (COQUAMO). The paper concludes that the original goal of the project to produce a predictive q... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A test generation algorithm for systems modelled as non-deterministic FSMs

    Publication Year: 1993, Page(s):184 - 188
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (400 KB)

    A variety of systems can be modelled as finite-state machines (FSM). Several formal methods have been proposed for testing the conformance of an implementation to a given FSM-based specification. However, all of these methods assume that the specification is modelled by a deterministic FSM. The paper presents an efficient algorithm that generates a set of adaptive all state-pair optimised distingu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Directed graph based representation for software system design

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

    In this paper, a model for representing and analysing the design of a software system is proposed. The scheme is based on Petri net formalism and allows representation of both control and data flows in an integrated manner. Both the structure and the behaviour of the system can be modelled using this scheme. Analysis and verification of some behavioural properties provide a certain degree of desig... 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 (37)  |  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.
  • Some verification tools and methods for airborne safety-critical software

    Publication Year: 1986, Page(s):248 - 253
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1472 KB)

    Airborne software, like many other kinds of embedded software, grows in complexity with each generation of equipment. Where the software supports safety-critical functions this can present severe verification problems. The scale of such software is often outside the scope of mathematically formal verification, and dissimilar software redundancy techniques may be inapplicable for performance reason... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Calibrating estimation tools for software development

    Publication Year: 1990, Page(s):215 - 221
    Cited by:  Papers (18)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (464 KB)

    Desired improvement in the software process and product has given rise to greater use of quantitative management techniques in software development. The use of algorithmic-based software cost estimation tools has been a part of this movement. The paper uses data collected from six commercial organisations on 112 software projects to investigate the extent to which organisations need to calibrate t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending the application of formal methods to analyse human error and system failure during accident investigations

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

    Recent disasters at Bhopal, Chernobyl, Habsheim and Kegworth illustrate the point that software is rarely the sole cause behind major accidents. Operator intervention, hardware faults, even the weather conditions and malicious acts all combine to create the conditions for failure. In the aftermath of these accidents, it seems difficult for software engineers, systems developers, forensic scientist... 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.
  • Improving information system development and evolution using a rule-based paradigm

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

    The paper is concerned with the problems of developing and enhancing large, data-intensive, transaction-oriented systems (business information systems). The essential problem with these systems is their inflexibility to change, compounded by the fact that most contemporary software processes fail to adequately address the specific problem of system evolution. The development of information systems... 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.
  • 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.
  • The Information Utility: a project retrospective

    Publication Year: 1990, Page(s):223 - 236
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1156 KB)

    The Information Utility was a large research and development project in a medium-sized company. The project encompassed a number of very challenging problems central to the information industry, e.g. libraries. In this project, in this environment, the technical challenges were overshadowed by the philosophical changes required within the company itself. The question of when or whether to move out... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of a structured methodology to real-time industrial software development

    Publication Year: 1986, Page(s):222 - 235
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2458 KB)

    This paper describes four years of experience with the Yourdon diagram-based structured methodology in a medium-sized company producing real-time industrial systems. The methodology is outlined and some of the problems encountered are described along with the substantial benefits gained. There is some discussion of future prospects with Yourdon, including a brief assessment of recent real-time ext... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quantitative models for managing software development processes

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

    This paper presents a quantitative modelling technique which the authors have developed and are using to manage medium-scale software development projects. Separate models are defined for separate project phases; each model captures the salient features of the process which underlies the corresponding phase. The models support all project management activities: planning, estimating, tracking and d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structuring the semantic definitions of graphical design notations

    Publication Year: 1995, Page(s):105 - 115
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (844 KB)

    Although design notations are increasingly being given a formal semantics, often the notations are only informally related to their semantic models. This may be because graphical design notations cannot directly be given an abstract syntax using the well-studied string grammars. The paper proposes the use of node-labelled controlled graph grammars to define the abstract syntax of graphical design ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reconfiguration and module replacement in Argus: theory and practice

    Publication Year: 1993, Page(s):102 - 108
    Cited by:  Papers (14)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (564 KB)

    Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT. The paper reviews that work, focusing on correctness conditions and on alternative implementations, and discusses lessons learnt, not only about the reconfiguration system, but also about language design for supporting reconfigurable systems 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 (13)
    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.
  • Practical throughput estimation for parallel databases

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

    Methods for estimating the performance of database management systems can aid the design of database systems by identifying potential performance bottlenecks or by predicting the relative performance of different designs. Performance estimation is critical in parallel database systems with distributed memory, where an effective overall performance depends on a good choice among a wide range of way... 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.
  • Generating readable software

    Publication Year: 1987, Page(s):64 - 70
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1045 KB)

    Software generators are important tools for software engineers. However, their usefulness is often diminished because of the poor readability of the generated code. By encouraging generator builders to give readability much higher priority, we aim to improve the usability of generators, and to encourage the uptake of formally based software engineering tools, particularly by those who feel less at... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HCLIE: a logic-based requirement language for new software engineering paradigms

    Publication Year: 1991, Page(s):137 - 151
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1160 KB)

    It is a paradigm of software engineering that a complete representation of the problem domain (called requirement theory) is repeatedly refined by correctness-preserving transformations into the program itself. The design of a requirement theory has to allow for such a design methodology. The authors argue that currently available languages intended to yield requirement theories fail to meet these... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed software engineering [Book Review]

    Publication Year: 1996, Page(s): 381
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (92 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.
  • An experiment in software engineering education

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

    Many science and engineering students at university receive some elementary high-level language programming training at an early stage in their studies. However, few of them get any experience in using other techniques that are in common use in industrial software development and which are generally referred to as software engineering. This paper describes the aims, the content and the results of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapier 2000 software development programme

    Publication Year: 1996, Page(s):82 - 87
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (600 KB)

    Experience shows that there is always substantial risk in major real-time software-intensive development programmes. The paper explains BAe's experience on the Rapier 2000 software development programme and relates that to a more general discussion on risk management. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology for deriving an object-oriented design from functional specifications

    Publication Year: 1992, Page(s):247 - 263
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1394 KB)

    A recent paradigm in software engineering is object-oriented software development. However, object-oriented methods still remain ad hoc, and the process of deriving an object-oriented design from the.early analysis has not yet been formalised. The authors advocate deriving a formal specification from informal requirements, conducting static analysis on the formal functional specifications to reaso... 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.
  • 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.
  • Test data adequacy measurement

    Publication Year: 1993, Page(s):21 - 29
    Cited by:  Papers (8)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (705 KB)

    Criteria for test data adequacy are rules for deciding when enough testing has been performed. Development of these criteria is an important objective of research in software testing. The abstract properties of adequacy criteria are investigated in a formal axiomatic style. Starting from work by Weyuker (1986, 1988) and Parrish and Zweben (1991), the authors define an adequacy criterion as a funct... View full abstract»

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

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

    Experience suggests that projects involving a significant software content run a considerable risk of being completed late and over budget, while the resulting software does not always meet the original design specifications. This is in spite of the fact that the general principles of project management are well understood. This paper discusses the particular difficulties often cited by managers o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software faults: spreading, detection and costs

    Publication Year: 1990, Page(s):33 - 42
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (716 KB)

    The authors consider, through modelling, how software faults are spread throughout the entire life-cycle of a large software product and how fault detection and correction processes will affect the spreading mechanism. The study is further enlarged to incorporate models for cost estimation. The models can be described as being of a qualitative rather than a quantitative nature, in that they highli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Restructuring operations for data-flow diagrams

    Publication Year: 1991, Page(s):181 - 195
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1237 KB)

    When defining and designing software with structured analysis and design methods, one needs to restructure data-flow diagrams. Using basic editing operations to restructure large systems with voluminous data-flow diagrams is tedious, laborious and error-prone. It is necessary to have data-flow diagram editors that provide editing operations specific for restructuring. This paper proposes and forma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mascot 3: a testing strategy

    Publication Year: 1986, Page(s):136 - 144
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1265 KB)

    This paper describes two testing strategies which have been used successfully by a range of projects designed and manufactured using Mascot 2. It describes both strategies and considers the advantages and disadvantages of each. The ways in which the strategies could be evolved in order to exploit the advantages of Mascot 3 are discussed. The paper is largely based on direct experience with a numbe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering education in an electronic engineering degree

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

    The evolution and current state of implementation of a thread of software engineering education which runs through an electronic engineering degree course is described. The major educational aims and objectives are provided and the pedagogic methods used are outlined. Successes and practical problems related to the running of the course are discussed with a view to helping others who may wish to r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Statistical software testing using economic exposure assessments

    Publication Year: 1996, Page(s):293 - 298
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (557 KB)

    A systematic and objective method is presented to test software statistically, using the expected operational economic loss due to failure resulting from faults encountered in different parts of the software. A testing probability distribution is derived that will maximise the selection of test input stimuli that have the highest potential failure consequence. 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.
  • A model for co-operative object-orientated programming

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

    The authors describe an abstract model for the development of object-oriented software in a context where several programmers work together as a team. They introduce the different levels that compose the model, mapping its concepts and tools to existing systems whenever possible. The goal is to design an environment for cooperative programming that deals specifically with the needs of developers u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying user knowledge for the design of interactive systems

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

    Minimum requirements for interactive systems to be usable and reliable include computer systems performing as intended, and users not making errors in issuing commands or in interpreting information from the device display, Traditionally, most approaches to software engineering have focused on the first of these concerns: correctness of system performance. However, it is equally important to deal ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Languages and object-oriented programming

    Publication Year: 1986, Page(s):73 - 80
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1181 KB)

    In a recent article Alan Kay, the originator of Smalltalk, wrote: `The move to object-oriented design represents a real change in point of view ¿ a change of paradigm ¿ that brings with it an enormous increase in expressive power¿ (Scientific American, September 1984). If this statement is true, it is clearly important to know what is meant by object-oriented design. Object-oriented programming... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mapping user requirements to implementations

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

    The trend towards systems that support a rich variety of interaction techniques has consequences for the traditional understanding of software design practice. Formal approaches to software development have mainly focused on design expressions that avoid explicit discussion of interactive behaviour. The emphasis in rigorous development is on transforming a mathematical specification into an implem... 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