Proceedings 1995 10th Knowledge-Based Software Engineering Conference

12-15 Nov. 1995

Filter Results

Displaying Results 1 - 24 of 24
  • Author index

    Publication Year: 1995
    Request permission for commercial reuse | |PDF file iconPDF (41 KB)
    Freely Available from IEEE
  • An empirical evaluation of KBSA technology

    Publication Year: 1995, Page(s):71 - 78
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (732 KB)

    To gauge the actual impact of a new technology, the paper describes an empirical study evaluating the productivity and software qualify impacts of the Concept Demo, a robust demonstration of knowledge-based software assistant (KBSA) technology. The basic results are that evolution transformations-a key KBSA technology which accomplishes compound stereotypical changes to a specification-significant... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Classification and retrieval of reusable components using semantic features

    Publication Year: 1995, Page(s):131 - 138
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (692 KB)

    Automated assistance for software component reuse involves supporting retrieval, adaptation and verification of software components. The informality of feature-based software classification schemes is an impediment to formally verifying the reusability of a software component. The use of formal specifications to model and retrieve reusable components alleviates the informality, but the formal reas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CACHET: an interactive, incremental-attribution-based program transformation system for deriving incremental programs

    Publication Year: 1995, Page(s):19 - 26
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (820 KB)

    The paper describes the design and implementation of an interactive, incremental-attribution-based program transformation system, CACHET, that derives incremental programs from non-incremental programs written in a functional language. CACHET is designed as a programming environment and implemented using a language-based editor generator, the Synthesizer Generator, with extensions that support com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an epistemology for software representations

    Publication Year: 1995, Page(s):148 - 154
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (496 KB)

    The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activities have, necessarily, been founded on first order logic based representations, the paper reports on research into software information systems that has found the domain of software knowledge to be inherently second orde... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating changes of data type in functional programs

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

    I present an automatic technique for transforming a program by changing the data types in that program to ones which are more appropriate for the task. Programs are synthesised by proving modified synthesis theorems in the proofs-as-programs paradigm. The transformation can be verified in the logic of type theory. Transformations are motivated by the presence of subexpressions in the synthesised p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Legal issues in knowledge-based software engineering

    Publication Year: 1995, Page(s):61 - 69
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (952 KB)

    KBSE systems are maturing into viable software development environments. As KBSE systems are deployed into real-world use, legal issues of intellectual property rights and liability will play an increasing role in shaping the industry. The paper develops a conceptual framework for the legal issues affecting intellectual property rights and liability of KBSE systems. The epistemological status of K... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain-oriented software process re-engineering with software synthesis shell SOFTEX/S

    Publication Year: 1995, Page(s):97 - 104
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (740 KB)

    The paper proposes a domain-oriented software process re-engineering method that allows for efficient software process modeling and cuts overall software development cost. This is achieved by use of a software synthesis shell that supports the development of program generators from input specification syntax and rewrite rules. Application of the proposed method to the development of a large scale ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A transformation system for interactive reformulation of design optimization strategies

    Publication Year: 1995, Page(s):44 - 51
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (732 KB)

    Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the objective function and the constraints will generally have a large impact on the duration of the optimization process as well as the quality of the resulting design. Furthermore, the best formulation will vary from one app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and animation of a bank transfer

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

    The development of formal specifications may benefit from prototyping activities. The production of an executable model for a given description helps bridging the gap between this specification and the corresponding reality. The KIDS/VDM system, based on the KIDS environment, provides these prototyping facilities for the model-based specification language of VDM. This paper illustrates its use in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Portability by automatic translation a large-scale case study

    Publication Year: 1995, Page(s):123 - 130
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (644 KB)

    Automatic code translation could be a useful technique for software migration, provided it can be done in large-scale industrial applications. We have built an automatic translation system for converting IBM 370 assembly-language programs to C, in order to port the original programs to different architectures. This system, called Bogart, first analyzes the original program in terms of data flow an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge-based program synthesis for a geometric constraint satisfaction system

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

    We describe an application of knowledge-based program synthesis techniques to a challenging geometric constraint satisfaction problem. We describe characteristics of the problem domain that make it a good candidate for automated program synthesis, discuss the benefits and limitations of our approach, and suggest some criteria that dictate when automated program synthesis techniques can be a powerf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An interface between different software development environments

    Publication Year: 1995, Page(s):79 - 87
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (916 KB)

    Information sharing between two well-defined development environments demands data transformation between the tools or the underlying repositories of the environments. We give a solution to the problem of making tools in different environments cooperate without modifying the tools or their environments. In building an interface between a KBS environment and a selected CASE tool we have used a tran... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Classifying software components using design characteristics

    Publication Year: 1995, Page(s):139 - 146
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (792 KB)

    Classifying software modules in a component library is a major problem in software reuse. Indexing criteria must adequately reflect the semantics of the components. This must be done without undue effort in either classifying the software, or developing “queries” to find candidates for reuse. We present an architecture for automatically classifying and querying software based on design... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Representing object models as theories

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

    Although techniques for using formal specifications have been progressing, methods for developing formal specifications themselves have improved little. To alleviate this problem, we propose a parallel refinement approach to specification acquisition where the designer uses an object-oriented specification representation while an underlying specification composition system manipulates an equivalen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interactive explanation of software systems

    Publication Year: 1995, Page(s):155 - 164
    Cited by:  Papers (9)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (916 KB)

    This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool called I-Doc allows software engineers to post queries about a software system, and generates focused explanations in response. These explanations are task-oriented, i.e., they are sensitive to the software engineering tas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards high-level deductive program synthesis based on type theory

    Publication Year: 1995, Page(s):174 - 183
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (704 KB)

    Using the example of the divide et impera program scheme we present a knowledge-assisted refinement process based on type theory that yields executable programs from given requirement specifications. Programming knowledge is described in terms of precise mathematical theories and proofs, and programs and knowledge about programs is expressed in the same language and are developed using the same te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for decision maintenance in the WinWin collaboration framework

    Publication Year: 1995, Page(s):105 - 113
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (660 KB)

    Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer support for such collaborative activities. The WinWin approach being developed and experimented at the USC Center for Software Engineering provides a domain independent solution for the stakeholders to cooperate in the require... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Searching for a global search algorithm

    Publication Year: 1995, Page(s):52 - 59
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (704 KB)

    We report on a case study to assess the use of an advanced knowledge-based software design technique to programmers who have not participated in the technique's development. We use the KIDS approach to algorithm design to construct two global search algorithms that route baggage through a transportation net. Constructing the second algorithm involves extending the KIDS knowledge base. Experience w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From object-oriented to knowledge-based programming (NUT system development experience)

    Publication Year: 1995, Page(s):88 - 95
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (632 KB)

    A long-term effort is described which has resulted in a knowledge-based software tool, NUT, that combines object-oriented programming with automatic program synthesis. The concept of classes has been considerably extended so that they have evolved into knowledge modules possessing all essential features of frames and can be used as specifications for automatic synthesis of programs. A logically si... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Logical frameworks as a basis for verification tools: a case study

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

    Wide-spread acceptance and use of formal methods in software development hinges on the availability of powerful tools. Tools must be both reliable and offer real assistance to the user. Logical frameworks are a suitable medium to build such tools, since they provide a means to show the faithfulness and adequacy of the implementation, and at the same time provide the flexibility needed to build suf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test sequences as plans: an experiment in using an AI planner to generate system tests

    Publication Year: 1995, Page(s):184 - 191
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (716 KB)

    Most automated software testing techniques adopt a procedural approach, specifying how sequences are to be generated. In contrast, AI planners generate plans (sequences of actions) in a goal oriented fashion, specifying how actions interact and inferring sequences from that information. We describe the development of an prototype test generation system which is built in an AI planner. We demonstra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of a decision support mechanism to the business rules lifecycle

    Publication Year: 1995, Page(s):114 - 121
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (836 KB)

    Decision structures have been proposed in a number of contexts an knowledge-based software engineering as an important mechanism for recording and reasoning about the information needed to make decisions during the software lifecycle. We apply decision structures to a new domain, namely that of the business rules of an enterprise. Given the dynamic nature of business rules, decision structures are... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • META-AMPHION: synthesis of efficient domain-specific program synthesis systems

    Publication Year: 1995, Page(s):2 - 10
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (944 KB)

    AMPHION is a real-world knowledge-based software engineering (KBSE) system whose program synthesis subsystem is based on deductive synthesis. AMPHION has a domain-independent generic architecture that is specialized to a domain through a declarative theory. Program synthesis has been made efficient and automatic through manual tuning of theorem-proving strategies and tactics, and careful formulati... View full abstract»

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