By Topic

Computer-Aided Software Engineering, 1992. Proceedings., Fifth International Workshop on

Date 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 Permissions | PDF file iconPDF (15 KB)  
    Freely Available from IEEE
  • A semantic data model for methodology engineering

    Publication Year: 1992 , Page(s): 142 - 155
    Cited by:  Patents (2)
    Request Permissions | 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.
  • Process centered SEE and Adele

    Publication Year: 1992 , Page(s): 156 - 165
    Request Permissions | 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.
  • CASRE: a computer-aided software reliability estimation tool

    Publication Year: 1992 , Page(s): 264 - 275
    Cited by:  Papers (17)  |  Patents (1)
    Request Permissions | 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.
  • Teaching engineering disciplines to tool developers

    Publication Year: 1992 , Page(s): 283 - 284
    Request Permissions | 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.
  • 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 (3)
    Request Permissions | 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.
  • Structural and behavioral code representation for program understanding

    Publication Year: 1992 , Page(s): 106 - 108
    Cited by:  Papers (1)  |  Patents (2)
    Request Permissions | 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.
  • 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 Permissions | 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.
  • CADDY: a highly integrated environment to support conceptual database design

    Publication Year: 1992 , Page(s): 19 - 22
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (328 KB)  

    The authors describe the development of the computer-aided software engineering (CASE) environment CADDY (computer-aided design of nontraditional databases), which offers an integrated set of tools for specifying, analyzing, and prototyping a database application on a conceptual level. The development process consisted of a sequence of development steps, where each step corresponded to one of five... 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 Permissions | 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.
  • Extracting design and functionality from code

    Publication Year: 1992 , Page(s): 74 - 82
    Cited by:  Papers (2)
    Request Permissions | 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.
  • DynaMan: a tool to improve software process management through dynamic simulation

    Publication Year: 1992 , Page(s): 166 - 175
    Request Permissions | 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.
  • 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 Permissions | 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.
  • Implementing CASE tools: the need for a normative framework

    Publication Year: 1992 , Page(s): 276 - 278
    Request Permissions | Click to expandAbstract | PDF file iconPDF (236 KB)  

    Procedures and standards that are used to integrate methods, techniques, and tools for the development and maintenance of information systems are described. These procedures and standards are considered to be a normative framework. Such a framework is necessary when organizations implement computer-aided software engineering (CASE) tools. The concept of the normative framework is explained, and it... 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 Permissions | 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.
  • Integrating coarse-grained and fine-grained tool integration

    Publication Year: 1992 , Page(s): 23 - 35
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (968 KB)  

    The problem of integrating separately written tools so that they work cooperatively, a key issue in computer-aided software engineering (CASE) frameworks, is addressed. An extended object-oriented approach to tool integration that integrates coarse-grained and fine-grained approaches is described. The advantages of both the approaches are discussed, and the techniques by which integration is achie... View full abstract»

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

    Publication Year: 1992 , Page(s): 196 - 201
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (412 KB)  

    The idea of understanding software processes and software teams as social processes is developed. This theory is based on the idea that it is crucial to understand the ways in which human actors interact with each other in software processes. The use of FUNSOFT nets, a Petri net language whose semantics is defined in terms of predicate/transition nets, which may be used to model substantial featur... 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 Permissions | 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.
  • Validation of LOTOS specifications using an interpreter: an application to telephone systems

    Publication Year: 1992 , Page(s): 128 - 139
    Request Permissions | 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.
  • Introducing a configuration management solution corporate-wide: an experience report

    Publication Year: 1992 , Page(s): 242 - 244
    Request Permissions | Click to expandAbstract | PDF file iconPDF (228 KB)  

    The approach and the experiences of introducing a common configuration management (CM) solution throughout Bull Information Systems (Groupe Bull) are described. The problems encountered introducing such a solution for a large corporation (where the engineering centers are distributed across several countries) are identified. It is shown how these problems were solved, and the current status and fu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Past and future models of CASE integration

    Publication Year: 1992 , Page(s): 36 - 45
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (996 KB)  

    Two key approaches to building integrated software development environments are analyzed. They are the integrated project support environments (IPSE) approach, and the computer-aided software engineering (CASE) coalitions approach. The strengths and limitations of these approaches are discussed, leading to the definition of a model of integration that separates process, end-user service, and mecha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The DECspec project: tools for Larch/C

    Publication Year: 1992 , Page(s): 124 - 127
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (292 KB)  

    The DECspec project was inaugurated to explore the application of formal methods in a production environment. The goal was to take an existing method and provide support tools suitable for use in the environment discussed, and similar environment elsewhere. The Larch formal specification method, with C as the target programming language, was selected. The experiences of the first year of that proj... 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 Permissions | 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.
  • What determines the effectiveness of CASE tools? Answers suggested by empirical research

    Publication Year: 1992 , Page(s): 258 - 261
    Request Permissions | 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.
  • 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 Permissions | 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.