By Topic

[1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering

6-10 July 1992

Filter Results

Displaying Results 1 - 25 of 37
  • Proceedings. Fifth International Workshop on Computer-Aided Software Engineering (Cat. No.92CH3166-6)

    Publication Year: 1992
    Request permission for commercial reuse | PDF file iconPDF (15 KB)
    Freely Available from IEEE
  • Library of predefined software process models as support for software factory design: the SFINX proposal

    Publication Year: 1992, Page(s):176 - 178
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    The Esprit Project 1262 Software Factory Integration and Experimentation (SFINX) has focused on software process models and software factories and has developed a design method based on four interrelated activities: strategic planning, tool selection, process modeling, and data modeling. The SFINX experience in process modeling, which has resulted in a tool prototype, is considered. The SFINX prot... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DynaMan: a tool to improve software process management through dynamic simulation

    Publication Year: 1992, Page(s):166 - 175
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    The use of system dynamics as an innovative and effective technique to model software processes is reported. System dynamics has been used to study the quantitative aspects of software processes. The improvement of software development management deriving from the adoption of this technique is noted. In order to effectively use system dynamics based models, a tool is necessary to support their cre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Source code retrieval using program patterns

    Publication Year: 1992, Page(s):92 - 105
    Cited by:  Papers (1)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    A method for automating the search for codes that have particular structural features is described. A pattern language is used to specify the pattern of desired code. The benefits of using a pattern language include a higher level of abstraction in specifying patterns and the power to specify complex patterns which are impossible to express in grep type languages. A system that accepts these patte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process centered SEE and Adele

    Publication Year: 1992, Page(s):156 - 165
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (740 KB)

    The role and the evolution of software engineering environment (SEE) and computer-aided software engineering (CASE) environments in large software development and maintenance are discussed. The drawbacks of the current state of the art are emphasized. Improved structural and behavioral modeling are advocated, as is the introduction of team support to meet software engineering requirements. The dif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience with a graph-based propagation programming tool

    Publication Year: 1992, Page(s):114 - 119
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    A graph-based tool for object-oriented programming, referred to as propagation patterns, has been developed as part of the Demeter system. The Demeter system consists of the programming language independent Demeter method and a suite of platform-specific Demeter tools. Propagation patterns use a technique based on propagation within a graph to specify groups of collaborating classes. Experience ha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intelligent programming constraint maintenance in software reengineering

    Publication Year: 1992, Page(s):83 - 94
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (868 KB)

    An ongoing research and development effort focused on environments to support the maintenance and reengineering of large software systems is discussed. An approach that provides more freedom during program editing is described. This approach does not ignore programming constraints entirely. It recognizes constraint violations and records them and allows the user to resolve them later. The followin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantic data model for methodology engineering

    Publication Year: 1992, Page(s):142 - 155
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1128 KB)

    An approach to a structured and disciplined specification of methods in information systems development (ISD) is presented. The methods are particularly relevant to software engineering and project management. Emphasis is placed on the underlying model to specify such ISD knowledge. This proposed methodology representation model and the corresponding MERET tool are intended to build a computer-aid... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A graph-based approach to the construction of tools for the life cycle integration between software documents

    Publication Year: 1992, Page(s):2 - 13
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (932 KB)

    In the construction of a software system, software documents (requirements definitions, software architectures, module implementations, etc.) are produced which are written in different languages and describe the system from different points of view. The construction of tools for the integration of such documents is addressed. A formal approach to the semi-automatic construction of incremental int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ViewPoints: a vehicle for method and tool integration

    Publication Year: 1992, Page(s):50 - 60
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    An object-based framework for the development of heterogeneous, composite systems is proposed. Such systems require the use of multiple notations and development strategies to described multiple developer perspectives. The framework uses coarse-grain objects, called ViewPoints, that represent agents having roles in and views-of a problem domain. These ViewPoints are loosely coupled, locally manage... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering CASE tools to support formal methods for real-time software development

    Publication Year: 1992, Page(s):110 - 113
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    A prototype toolset that provides comprehensive support for constructing verifiably correct real-time systems is described. The toolset supports the development of specifications in the graphical Modechart language and several methods for improving the correctness of the specifications, including formal verification, simulation, and consistency and completeness checking. An engineering approach fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extracting design and functionality from code

    Publication Year: 1992, Page(s):74 - 82
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    Techniques developed as part of the REDO project on software maintenance are described. Transformations which produce highly abstract descriptions of the functionality of an application are applied. This allows maintenance and restructuring operations to be carried out more effectively, since the abstractions are free from unnecessary implementation details which complicate reasoning about the cod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Validation of LOTOS specifications using an interpreter: an application to telephone systems

    Publication Year: 1992, Page(s):128 - 139
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (912 KB)

    LOTOS (language of temporal ordering specifications) is a formal description technique (FDT) that was developed by the International Organization for Standardization (ISO) for the specification of Open Systems Interconnection services and protocols. A design methodology for the description in LOTOS of telephone systems with modern features is provided. The description of a sample telephone system ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating widget design knowledge with user interface toolkits

    Publication Year: 1992, Page(s):204 - 212
    Cited by:  Patents (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (948 KB)

    It is shown how user interface design information can be presented to designers as part of a user interface toolkit, through an example of guidelines for widget use in the NeXT interface builder. This is part of larger framework for recording and reusing user interface design knowledge with scenario-oriented design rationales. The research reported combines generic guidelines with specific design ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Teaching engineering disciplines to tool developers

    Publication Year: 1992, Page(s):283 - 284
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB)

    An approach to teaching engineering of computer-aided software engineering (CASE) tools that combines detailed tool algorithm knowledge with an engineering process for such tools is proposed. A methodology for the inclusion of engineering disciplines in CASE development education is described. Teaching methods from first basic principles to more developed processes are suggested. Specific recommen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool integration in CASE environments: the Software Bus

    Publication Year: 1992, Page(s):46 - 49
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    The development of a computer-aided software engineering (CASE) environment which supports the industrialized production of software, known as the factory support environment (FSE), within the European EUREKA Software Factory (ESF) project, is described. An FSE is a distributed communications-oriented CASE environment. The communication integration mechanism of the FSE is the Software Bus, an abst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What determines the effectiveness of CASE tools? Answers suggested by empirical research

    Publication Year: 1992, Page(s):258 - 261
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB)

    Selected and elaborated results of a study of information systems development in sixteen of the largest organizations in the Netherlands are reported. All of these organizations have been using structured methods and automated tools for information system development for many years. The purpose is the identification of problems and needs of practitioners with regard to the effective use of methods... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process-centered IPSEs in ALF

    Publication Year: 1992, Page(s):179 - 190
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (848 KB)

    The Esprit I project ALF has developed an approach to software process modeling that is based on the model for assisted software processes (MASP) concept and on building ALF-based integrated programming support environments (IPSEs). The key aspects of the MASP concept are discussed together with the properties of ALF-based IPSEs. It is shown how ALF-based IPSEs provide control, system initiative, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structural and behavioral code representation for program understanding

    Publication Year: 1992, Page(s):106 - 108
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    Methodologies which could assist the software maintainer are reported, with emphasis on an approach which combines structural and behavioral representation of the code. Structural representation occurs at lower levels of abstraction and uses compiler technology techniques, graph parsing, abstract syntax trees, and control and data flow. Behavioral representation can be achieved at higher levels of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Issues surrounding specification languages for software automation

    Publication Year: 1992, Page(s):120 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    Software automation tools which assist in the building of software from specifications are described. The problems and promise of both informal and formal approaches to software automation are discussed. Specification languages which serve as the basis for a software automation tool provide the most specific basis for their discussion. Issues which need to be addressed are identified. These includ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Acquiring experiences with object-based and process-centered CASE environment architectures for configuration management systems

    Publication Year: 1992, Page(s):14 - 18
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    Investigations of the computer-aided software engineering (CASE) environment architectures of two generations of software configuration management systems are discussed. The investigations have taken place within the context of the portable common tool environment (PCTE) initiative as part of the PACT and ALF European projects. This research includes the design of software configuration and versio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CASE support for software evolution: a dependency approach to control the change process

    Publication Year: 1992, Page(s):62 - 73
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (932 KB)

    A prototype software evolution expert system (SEES) has been implemented on top of the tool builder's kit (TBK), a productive environment for the generation of integrated computer-aided software engineering (CASE) tools. This approach is based on modeling the main objects in any view of the software system in a frame-based representation, and on making explicit the related dependences in meta know... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CASE environment for parallel programming

    Publication Year: 1992, Page(s):214 - 224
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    The Linda program builder (LPB), a computer-assisted software engineering (CASE) tool for explicit programming, is presented. It isolates much of the administrative effort in constructing parallel programs, and maintains a program-describing database. This database feeds information to the compiler for optimization, to a visualizer for enhanced program visualization, and to other tools in the envi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CASRE: a computer-aided software reliability estimation tool

    Publication Year: 1992, Page(s):264 - 275
    Cited by:  Papers (19)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB)

    The construction of a computer-aided software engineering (CASE) tool for a systematic and automatic application of software reliability modeling for real-world projects is described. Emphasis is placed on the practical project applications of existing software reliability models for better software reliability estimations. This CASE tool is built on top of existing software reliability models, ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process enaction with VPL

    Publication Year: 1992, Page(s):191 - 195
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    Visual process language (VPL), a process modeling and programming system designed to provide both visual representations and detailed descriptions for enaction of software development processes, is described. The enaction of VPL programs is discussed. VPL programs are enacted using four primitive mechanisms: creation, advancement, deactivation, and reactivation. An object can be backtracked by dea... View full abstract»

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