Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering

15-20 June 1992

Filter Results

Displaying Results 1 - 25 of 80
  • A kernel architecture for a computer aided knowledge engineering workbench

    Publication Year: 1992, Page(s):55 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (149 KB)

    Within the context of the Esprit-project Kads-II methodology is being developed which will support the entire life-cycle of the development of a knowledge based system (KBS). This methodology called CommonKads is to be supported by a CASE workbench. This article describes how this workbench was constructed. Emphasis is laid on the characteristics of knowledge engineering that necessitate workbench... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proceedings. Fourth International Conference on Software Engineering and Knowledge Engineering (Cat. No.92TH0438-2)

    Publication Year: 1992
    Request permission for commercial reuse | PDF file iconPDF (53 KB)
    Freely Available from IEEE
  • Knowledge engineering for protein structure and motifs: design of a prototype system

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

    A knowledge base and learning system is designed to help biologists predict protein structure and function based on sequence information. The knowledge base contains diverse information about: (a) protein motif sequences and structures, (b) heuristics and programs for identifying protein features, and (c) molecular simulation programs. The learning system selects the most relevant information for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying metrics to rule-based systems

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

    Since the introduction of software measurement theory in the early seventies it has been accepted that in order to control software it must first be measured. Unambiguous and reproducible measurements are considered to be the most useful in controlling software productivity, costs and quality, and diverse sets of measurements are required to cover all aspects of software. This paper focuses on mea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Querying and analysis of software specifications

    Publication Year: 1992, Page(s):470 - 478
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    A system for the definition, querying and analysis of executable specification is presented in the paper. After a short review RSF, a specification language for the definition of systems with time constraints, the authors consider the problem of querying the specifications. The query language RSQ allows one to characterize sub-classes of possible specification execution behaviours in terms of quer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality control within an expert system prototype development

    Publication Year: 1992, Page(s):435 - 442
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    A large number of companies waste a huge amount of time and financial resources because of low quality software. Large cash flow expenses are targeted to error recovery activities which software products are exposed to (including last marketed products). In order to bypass such an operative status, production managers must be committed to establish, in their own departments, an actual quality cult... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A constraint satisfaction system on the entity and relationship model

    Publication Year: 1992, Page(s):503 - 510
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (587 KB)

    Proposes a programming language, called PSDL-GR, that satisfies the constraints on the entity-relationship model. In the software development process, this model is used for describing a universe of discourse, but it has been limited to use as a modeling method rather than a calculus. To integrate the requirements analysis, design and programming phases, the authors introduce the characteristics o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extracting procedural knowledge from software systems using inductive learning in the PM system

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

    The issue of software reuse has been found to be a much harder task than previously thought. Some of the problems are due to the lack of emphasis placed on non-functional requirements during the software development phase, such as maintainability and understandability. Other problems arise from the difficulty of defining precise criteria for considering a software module reusable. They are usually... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge acquisition and validation for implicit expertise

    Publication Year: 1992, Page(s):32 - 39
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (642 KB)

    Knowledge acquisition is known to be a critical bottleneck in building expert systems. Many researchers of this field have focused on the approach of developing methodologies or systems to automate the knowledge acquisition process and have achieved good results. Some reports show that missing implicit knowledge has significant affects on the performance of expert systems. The author resolves the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The renaissance of CASE through computer aided reverse engineering (CARE)

    Publication Year: 1992, Page(s):551 - 559
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (910 KB)

    CARE's aim is to improve the maintainability of existing systems. This is achieved by simplification and abstraction and also by restructuring. During restructuring, the programming paradigms are transformed. The abstractions and transformations produced by current or future CARE tools still form a multiple paradigm environment of cooperating standard languages. In future, new tools must be provid... View full abstract»

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

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

    Introduces a compilable program specification language, BagL. BagL is the result of a formal study to ascertain how data/control structure interaction can be abstracted. BagL meets the accepted properties of a `good' language. BagL maintains a consistent level of abstraction; is extensible, orthogonal, concise, and unambiguous; and addresses software evolutionary issues. A visual interface for the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CASE approach in telecom. software development

    Publication Year: 1992, Page(s):443 - 454
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (757 KB)

    Alcatel has a worldwide connection network which allows full integration between all their software development environments. This is based on several mainframes which are connected to a central one. A number of workstations are connected to each mainframe. The integration allows flexible management of the software development. Supported by this distributed environment the automation of the softwa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal program developments directed by operational properties evaluation

    Publication Year: 1992, Page(s):1 - 8
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    Transformation systems allow to support developments leading from an initial specification to a final program in a totally formal way. Transformations use valid properties of input objects to produce new equivalent ones. Most transformations use functional properties to increase the efficiency of programs. Doing so, they affect non nonfunctional properties which, more often, are not formally expre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting inheritance in relational database systems

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

    The IS-A relationship (the class-subclass relationship) is one of the most fundamental and important properties in an object-oriented (OO) language and OO database management system (OODBMS). Due to the popularity and domination of relational database management systems (RDBMSs) and the fundamental importance of inheritance, supporting IS-A relationships in a RDBMS becomes very desired, and is ess... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The development of a knowledge based system for predicting strategic building maintenance

    Publication Year: 1992, Page(s):356 - 363
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (793 KB)

    Describes the development of a knowledge-based system (KBS) for predicting strategic maintenance in residential property. An initial feasibility study identified a need for the long-term strategic planning of building maintenance in housing associations. However, conventional maintenance management programs require too much data input, are too inflexible. and do not permit their users to explore p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed intelligent control and management: concepts, methods and tools for developing DICAM applications

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

    The authors are developing a generic control architecture suitable for use as a single intelligent agent or as multiple cooperating agents. The generic architecture combines a task-oriented domain controller with a meta-controller that schedules activities within the domain controller. The domain controller provides functions for model-based situation assessment and planning, and inter-controller ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards dynamic generation of knowledge-based environments for software process assistance

    Publication Year: 1992, Page(s):79 - 86
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (307 KB)

    To provide support for the development of reliable software in a cost-effective way, software engineering environments should be based on a software process model containing explicit representations of the knowledge needed to perform a software process, being able to offer an active assistance to that process. Moreover, process models can vary to reflect specific characteristics of projects and ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards reuse reengineering of old software

    Publication Year: 1992, Page(s):140 - 149
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (846 KB)

    With reference to the setting up of software reuse reengineering processes this paper describes the high level organizational paradigm adopted in the reuse reengineering project RE2. In particular the paper outlines: the key role of reverse engineering in a reuse reengineering process; and the need to define a module 'Template' in order to implement reusable modules in languages which d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated system for query formulation and database design

    Publication Year: 1992, Page(s):40 - 46
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    This paper describes a system that uses database design knowledge to formulate queries in response to high-level requests. By focusing on the conceptual design, it is possible to identify conceptual subgraphs that correspond to user intent. These subgraphs can be manipulated with respect to a request and mapped to a database query. Furthermore, by treating the subgraphs as knowledge constructs, it... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An iterative-cyclic software process model

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

    The current state of traditional software development is surveyed and essential problems are investigated on the basis of system-theoretical considerations. The concept of the optimisation cycle is presented. The relationship between several different kinds of local optimisation cycles with known techniques for user participation is discussed and integrated into a general concept of participatory ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Decomposition of data flow diagrams

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

    Data flow diagrams are an important design aid in system development. CASE tools allow data flow diagram construction and modification to be automated. Decomposition is the top-down development of a data flow diagram starting with the system inputs and the system outputs. Decomposition may also be automated, resulting in an interactive process for data flow diagram design. Adler (1988) described a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiling rules and queries in knowledge base systems: a substitution-based approach

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

    The use of negative information and the unrestricted use of quantifiers in the body of a rule enhances the expressive power of deductive database systems. The authors introduce a more relaxed version of conventional (Skolem) function-free databases, called acceptable databases which generalize the class of allowed databases by accepting occurrences of universal quantifiers for variables occurring ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Operational construction of integrity constraints

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

    Shows that data and knowledge base integrity constraints can be regarded as queries. This allows the author to use his visual query language Vizla for the construction of constraints in an operational style. The primary tool for this is the Vizla filter, which lets through only those elements of a set that satisfy a filter predicate. The main contribution of the paper is a method of using filter p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Program refinement using generic object

    Publication Year: 1992, Page(s):18 - 25
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    This paper introduces a generic object which behaves flexibly according to its related objects and conditions for execution in an object-oriented programming system, called ISL-xscheme. A generic object is an instance of `Generic' class and created by providing abstract classes as a domain. It behaves adequately in the domain depending on its constraints and the messages sent to it. Generic object... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mapping of conceptual specifications into object-oriented programs

    Publication Year: 1992, Page(s):544, 624 - 639
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    This research is conducted as part of the Business Class European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The Business Class development method is supported by an analysis workbench based on the O* method and a design workbench dedicated to the Eiffel language. The communication presents a set of map... View full abstract»

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