By Topic

Proceedings of 6th International Workshop on Computer-Aided Software Engineering

19-23 July 1993

Filter Results

Displaying Results 1 - 25 of 42
  • A custodial application generator for use in a CASE tool environment

    Publication Year: 1993, Page(s):325 - 337
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    Investigation of the use of CASE tool for data modeling using enhanced entity relationship (EER) diagrams during the analysis and design phase shows that there are challenging opportunities to utilize the data model in the CASE repository. The use of a custodial application (CA), generated solely from a data model and relation definition, is introduced here. A CA is an application for creating, ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proceedings of 6th International Workshop on Computer-Aided Software Engineering

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (1481 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1993, Page(s): 375
    Request permission for commercial reuse | PDF file iconPDF (63 KB)
    Freely Available from IEEE
  • Title index

    Publication Year: 1993, Page(s):376 - 377
    Request permission for commercial reuse | PDF file iconPDF (86 KB)
    Freely Available from IEEE
  • Supporting multiple tool integration paradigms within a single environment

    Publication Year: 1993, Page(s):364 - 374
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (884 KB)

    In the domain of effective software development, tool integration is a key issue. In effect, tools can be integrated using a variety of the interfacing paradigms. In most software development environments to date, tool integration is based on a single-paradigm tool interface which may not be suitable for integrating a diverse range of tools. It is desirable to have various interfacing paradigms fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated environment for validating conceptual models

    Publication Year: 1993, Page(s):353 - 363
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (828 KB)

    Conceptual models are constructed as part of the functional requirements specification process for information systems. Since these models are used actively during the design and implementation of the systems, an important task is to make sure that they really represent users' needs and intentions. For this purpose, validation techniques have been introduced. PPP (Phenomena, Processes, Program), a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Apply meta-models to developing the semantics schema for ObjectMaker

    Publication Year: 1993, Page(s):348 - 352
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (348 KB)

    Experiences using metamodels of methodologies to develop an unified semantics schema for enhancing ObjectMaker, a CASE tool that supports over 20 analysis and design methodologies, are reported. The developer of the metamodels, using the metamodels as a basis, provided the suggestions to the schemea developers for how to extend and enhance the schema. It is demonstrated that the metamodel of metho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards CASE tools for prototyping Z specifications

    Publication Year: 1993, Page(s):166 - 173
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    A project that aims to develop an animation environment for a formal specification is described. Two CASE tools, one for constructing (i.e., inputing, editing and syntax checking) a formal specification, and the other for executing a formal specification, are described. A case study is used to illustrate the transformation process required to construct a prototype which can be executed to validate... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Views on an object oriented software engineering environment

    Publication Year: 1993, Page(s):338 - 347
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Software development activities and artifacts may be approached from the perspective of many users and tools. Each perspective offers different information and functionality to perform particular activities. The ADDD (A Depository of Development Documents) SEE (software engineering environment), which is centered around an active object-oriented repository for all software documents produced durin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CASE: The vehicle for effective data utilization

    Publication Year: 1993, Page(s):44 - 47
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    Through examination of the processes involved in designing and using information systems that are heavily dependent on databases, it is shown that while the design of database models has been greatly assisted by CASE tools, the usage has been largely left out. Developers can design the database model at the conceptual level while CASE tools transform that into a model at the logical level for impl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ForMooZ: A hypertext-based environment to support object-oriented formal development

    Publication Year: 1993, Page(s):119 - 130
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (932 KB)

    ForMooZ, an environment which supports the construction and management of object-oriented specifications written in MooZ, an extension of Z is presented. The main features and requirements for such an environment are discussed and an advanced prototype is presented. The environment is aimed at the specification of large software systems and provides a framework under which the documents generated ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering knowledge for software reuse

    Publication Year: 1993, Page(s):263 - 269
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    The types of knowledge that are brought to bear at every stage of the software development life cycle are identified. However, some knowledge, though used, is lost when it is not captured explicitly or embedded within a software artifact. The knowledge encoded in a software artifact as software concepts can be reused. A model is proposed to illustrate the various dimensions of software reuse, name... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements elicitation and formalization through CASE-supported external design and object-oriented specification

    Publication Year: 1993, Page(s):102 - 113
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    Presents an integrated methodology for deriving the requirements of an information system based on the design of the organizational components external to the computer. This methodology, which is supported by a CASE software, results in the definition and formal specification of computer objects that satisfy the above requirements. Such objects can be executed for requirements validation View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A heuristics approach to automatic data flow diagram layout

    Publication Year: 1993, Page(s):314 - 323
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    A heuristics method for the automatic placement of data flow diagrams (DFDs) is presented. It fulfills the whole set of aesthetics requirements for a nice DFD layout within an acceptable time bound. The system allocates the process with most data flows at the center of a 2-D grid space and effectively handles the positional preference for entities, processes, and data stores. The test cut function... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for CASE implementation: A Malaysian experience

    Publication Year: 1993, Page(s):11 - 17
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    The benefits of CASE are unlikely to be realized unless a formal and rigorous transition plan is adopted by IS departments. Any CASE tool that is in the hand of unplanned and unprepared personnel may produce negative results. Keeping this in view, the authors present a cyclic model for successful implementation of CASE into an organization. Furthermore, the authors present the results of a CASE su... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scaffolding for re-engineering with organizational and technical frameworks [at the IRS]

    Publication Year: 1993, Page(s):240 - 251
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1268 KB)

    Three studies concerning software reengineering conducted by the US Internal Revenue Service (IRS) in 1991 and 1992 are described. The situation at the IRS-aging, piecemeal information technology systems maintained by a large staff-is familiar to many institutions. Tax records are processed across multiple locations, platforms, computer languages and data file structures. The three software reengi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Providing user-oriented support for software development by formal methods

    Publication Year: 1993, Page(s):156 - 165
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    Existing tools for software development by formal methods lack the user-oriented properties necessary to their effective use in software engineering. A strategy for overcoming these deficiencies by interposing a user-oriented front-end editor between the user and the formal method tool itself is proposed. The feasibility of this approach is demonstrated by adapting an existing generic language-bas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ways to CASE: An analysis of selected CASE experiences

    Publication Year: 1993, Page(s):36 - 43
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    In the fall of 1991, Swiss companies from all industries were asked to document their CASE experiences with a structured report. Thirteen accounts were published in 1992. Most companies are past the stage of experimentation with CASE. Some of them use CASE quite successfully on rather broad scale, while others do not seem to be able to apply CASE widely despite positive evaluations and test result... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical evaluation of the use of CASE tools

    Publication Year: 1993, Page(s):81 - 87
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    Investigations conducted in three separate countries by four research groups on the use and effectiveness of CASE within industry are reported. Comparisons are drawn between the three sets of research findings, and similarities and differences in the impact of CASE within the different countries are identified. The report combines the experience of the authors, and provides a wider insight into th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SCALE: Software process-centered CASE environments for system composition and component reuse

    Publication Year: 1993, Page(s):309 - 313
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    The European SCALE project is presented. This project aims to develop, demonstrate, and assess a set of advanced CASE process-centered environments for improving the support of system composition strategies explicitly based on the planned and intensive reuse of components View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DOCKET: A CASE tool and method to support software system understanding and modification

    Publication Year: 1993, Page(s):221 - 229
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (808 KB)

    Software maintenance tools, which have evolved to include an emphasis on reuse, range from source code analyzers to semi-intelligent tools which seek to reconstruct system designs and specification documents from source code. It is clear, however, that relying solely upon source code as the basis for reverse engineering has many problems. These problems include poor abstraction, leading to overdet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving software design quality with ExSpect: An application of CASE-based prototyping in real-world situations

    Publication Year: 1993, Page(s):174 - 177
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    ExSpect (Executable Specification Tool) has been developed for the prototyping of software systems with their environment. It is based on high-level Petri nets with hierarchy, which makes it akin to flow diagram techniques. The bottom level uses a typed functional language. ExSpect has been applied in industry, showing promising results with respect to productivity and design quality. A real-world... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation and introduction of the structured methodology and a CASE tool

    Publication Year: 1993, Page(s):48 - 59
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (800 KB)

    Two experiments conducted to investigate how useful the CASE method (software development based on the structured methodology and supported by upper CASE tools) is and how it can be successfully introduced into software development organizations are described. In the first experiment, sample programs are developed by both the CASE and conventional methods to compare reliability of the developed pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A tool based on a formal approach for object-oriented database modeling and design

    Publication Year: 1993, Page(s):131 - 141
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    A formal approach for object-oriented database modeling and design is presented. It is based on the IFO2 model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull (1987). The approach is illustrated through the mapping formalization of the IFO2 model into the O2 model. This work, supported by an External European Research Project in collabor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GRAS, a graph-oriented database system for (software) engineering applications

    Publication Year: 1993, Page(s):272 - 286
    Cited by:  Papers (4)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1512 KB)

    Modern software systems for application areas like software engineering, CAD or office automation are usually highly interactive and deal with rather complex object structures. For the realization of these systems, a nonstandard database system is needed which is able to efficiently handle different types of coarse- and fine-grained objects (like documents and paragraphs), hierarchical and nonhier... View full abstract»

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