By Topic

Popular Documents (October 2016)

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 (35)  |  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.
  • 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 critique of cyclomatic complexity as a software metric

    Publication Year: 1988, Page(s):30 - 36
    Cited by:  Papers (35)  |  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.
  • Safety-critical systems, formal methods and standards

    Publication Year: 1993, Page(s):189 - 209
    Cited by:  Papers (38)  |  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.
  • Applying new scheduling theory to static priority pre-emptive scheduling

    Publication Year: 1993, Page(s):284 - 292
    Cited by:  Papers (325)  |  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (709 KB)

    The paper presents exact schedulability analyses for real-time systems scheduled at runtime with a static priority pre-emptive dispatcher. The tasks to be scheduled are allowed to experience internal blocking (from other tasks with which they share resources) and (with certain restrictions) to release jitter, such as waiting for a message to arrive. The analysis presented is more general than that... 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.
  • 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.
  • Using ViewPoints for inconsistency management

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

    Large-scale software development is an evolutionary process. In an evolving specification, multiple development participants often hold multiple inconsistent views on the system being developed, and considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem; a resolved inconsistency might not stay resolved as a specification... 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.
  • Scheduling hard real-time systems: a review

    Publication Year: 1991, Page(s):116 - 128
    Cited by:  Papers (54)
    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.
  • Performance of effort estimating techniques in current development environments

    Publication Year: 1995, Page(s):162 - 170
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (681 KB)

    As the cost of a project closely relates to the effort involved in its development, it is vital to correctly estimate development effort. The paper compares the performance of a selection of well known effort estimating techniques as used in the development of a contemporary GUI project.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparative review of functional complexity assessment methods for effort estimation

    Publication Year: 1994, Page(s):107 - 116
    Cited by:  Papers (11)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (891 KB)

    Budgetary constraints are placing increasing pressure on project managers to effectively estimate development effort requirements at the earliest opportunity. With the rising impact of automation on commercial software development, the attention of researchers developing effort estimation models has recently been focused on functional representations of systems, in response to the assertion that d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Features of artificial intelligence languages and their environments

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

    This article describes the features of artificial intelligence problems that have affected the design of artificial intelligence languages. It describes ways in which artificial intelligence languages have been developed to cope with these features. It explains the role of the programming environment in which the artificial intelligence researcher works and how it is closely coupled with the langu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software design framework or how to support real designers

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

    The problems inherent in capturing a designer's ideas about software provide a major difficulty for software development. In the paper, both observed designer practices and the procedural forms that are embodied in software design methods are examined. From these an integrated set of representation forms is proposed that can be used with an opportunistic design strategy. The features necessary for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to automated software design based on product metrics

    Publication Year: 1988, Page(s):53 - 56
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (762 KB)

    Recent research has attempted to quantify the quality of a software design in terms of measurable properties. A weakness of this research is that it ignores the fact that software design involves the exploration of alternative software architectures. An approach to software design selection is described which involves examining a design solution space. It relies on the formulation of the problem o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software testing based on formal specifications: a theory and a tool

    Publication Year: 1991, Page(s):387 - 405
    Cited by:  Papers (53)  |  Patents (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1754 KB)

    A discussion is given on the problem of constructing test data sets from formal specifications. Starting from a notion of an ideal exhaustive test data set, which is derived from the notion of satisfaction of the formal specification, it is shown how to select by refinements a practicable test set, i.e. computable, while not rejecting correct programs (unbiased) and accepting only correct programs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The management of risk in system development: Project SP and the New Spiral Model

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

    The article discusses the development of complex products, with a particular emphasis on software, and focuses on the problem of how to manage the risks in the development process. A number of models of the development process are described including Boehm's Spiral Model, which has risk management as a central theme. An example is described where Boehm's Spiral Model has been tried. The strengths ... 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 (12)
    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.
  • 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.
  • Requirements acquisition

    Publication Year: 1996, Page(s):149 - 165
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2050 KB)

    An overview of knowledge engineering research, practice, theories, methodologies, and tools is presented, and parallels are drawn with analogous phenomena and activities in requirements engineering. Knowledge based systems are distinguished from other advanced information systems by their reflective emphasis on meta information processing about the basis of system operation. In terms of requiremen... 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.
  • Analysis of inheritance and multiple inheritance

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

    Some of the more common descriptions of inheritance, and particularly multiple inheritance, are analysed; these are frequently unclear, and even contradictory, in much of the published literature. Using abstract data types to provide examples, it is shown how a consistent basis for inheritance and multiple inheritance may be built up, which helps to clarify the true meaning of inheritance. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Syntax-directed editing

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

    The conventional approach to the construction of a program is to view it as a sequence of characters. However, it is now becoming more meaningful to perceive and develop a program in terms of its inherent syntactic structure. The paper introduces the topic of syntax-directed editing in general and then considers some of the problems and design decisions that are encountered when implementing a syn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality management - procedures and practices

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

    This paper presents a discussion of the need for better quality management, followed by descriptions of what the authors currently consider to be the two most effective instruments of its achievement; these are the project (or product) quality plan and its associated test plans. Finally, there is a discussion of the use of the quality plan and test plans beyond their initiating projects, followed ... 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 (20)
    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.
  • 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.
  • Object-oriented design, Jackson system development (JSD) specifications and concurrency

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

    Object-oriented design facilitates the implementation of large systems, and is suitable for constructing concurrent systems. This paper shows that the Jackson system development (JSD) method caters for object-oriented specification of systems which can be suitably transformed for concurrent implementation using Ada and similar languages 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 reliability growth model for an error-removal phenomenon

    Publication Year: 1992, Page(s):291 - 294
    Cited by:  Papers (16)  |  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.
  • Comparing programming paradigms: an evaluation of functional and object-oriented programs

    Publication Year: 1996, Page(s):247 - 254
    Cited by:  Papers (3)
    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.
  • A survey of object orientation in Z

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

    Two technologies offer much to the software industry; formal specification aids precision and object orientation aids structuring. One popular formal specification language is Z. The paper surveys techniques for adding object-oriented structuring to Z and looks at three of them in more detail.<> View full abstract»

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

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

    Software development standards available in the public domain are reviewed. The principal organisations involved, and the processes that take place in the production of standards, are described. The major standards of interest in the development of software are identified.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A prototype system for the validation of Pascal programs

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

    Gives an overview of a collaborative Alvey project to provide a UNIX-based environment in which Pascal programs can be analysed using a range of quality assessment tools. Integration of this tool set is achieved by linking the analysis and status information produced by each tool into a message handling system. An interactive program allows the validator to selectively view the analysis results. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The process cycle (software engineering)

    Publication Year: 1991, Page(s):234 - 242
    Cited by:  Papers (31)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (936 KB)

    Historically, the process of software development has played an important role in the field of software engineering. A number of software life-cycle models have been developed. These models do not expose myriad details that are critical in any large software development project. Recent developments, however, have unfolded many hidden aspects of the software process, giving rise to a new discipline... 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.
  • 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.
  • Software metrics and integrated project support environments

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

    This paper considers how the information needs of managers may be helped by the development of integrated project support environments (IPSEs). In particular the paper concentrates on the issue of obtaining quantitative information about a software product and its development process using software metrics. The nature and use of software metrics and the problems of metrics data collection are disc... 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.
  • 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.
  • Software engineering, the software process and their support

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

    Mankind is becoming increasingly dependent on the availability of software and its continuing validity. To achieve this consistently and reliably, in an operational domain that is forever changing, requires disciplined execution of the software development and evolution process and its effective management. That is the goal of advanced software engineering. The author summarises basic concepts of ... 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 (107)  |  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.
  • The design of real-time systems: from specification to implementation and verification

    Publication Year: 1991, Page(s):72 - 82
    Cited by:  Papers (11)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1019 KB)

    Presents an engineering approach to the design of distributed real-time systems, which guarantee hard deadlines and can tolerate a specified set of faults. The methodology covers the stepwise refinement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete ... View full abstract»

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

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

    Many software measures have been forwarded on the simple basis of a high linear correlation coefficient with some measurable quantities. The linear correlation coefficient is an unreliable statistic for deciding whether an observed correlation indicates significant association. Several published software measure experiments collected more than 20 different measurements, or have 14 or fewer observa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Engineering Journal 1994 (vol. 9) And 1995 (vol. 10) Author Index

    Publication Year: 1995, Page(s):267 - 268
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (124 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 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.
  • The Mascot method

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

    Mascot is a software design method based on a form of functional and structural design decomposition which is particularly suitable for use in the development of large, distributed, embedded real-time data processing systems. The method provides a design language and graphical notation, together with a procedure for design derivation. This paper describes the main features of the method and the pr... 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 (66)
    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.
  • Event model of human-system interaction

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

    Interaction objects (interactors) are abstract structures that provide a link between rigorous approaches to software development and user-oriented aspects of interaction. The focus of the paper is on the second role of interactors; in particular, how a formal model of interaction can be used to classify and clarify various properties of interactive behaviour that are important from a user oriente... 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.
  • Requirements elicitation for software-based systems

    Publication Year: 1996
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (85 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.