By Topic

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
  • Object-oriented programming testing methodology

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

    Inheritance is an important attribute in object-oriented programming (OOP). This notion supports the class hierarchy design and captures the is-a relationship between a class and its subclass. It contributes to food properties of modularity, reusability and incremental design. However, misuse of multiple (repeated) inheritance leads to an improper class hierarchy which suffers from name-conflict a... 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.
  • A knowledge-based method for engineering navigational capability into user interface software

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

    One of the most time consuming tasks involved in the creation of user interfaces (UIs) has been the development of navigational logic to control which screens the user sees and when they are presented. The authors describe a practical, timesaving approach using knowledge engineering principles and two knowledge-based software tools which they have developed. These tools, combined with a method of ... 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.
  • An open system protocol for agent-oriented programming

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

    The concepts of virtual agents (VAs) and virtual communities (VCs) are proposed for interagent communication and cooperation based on `scientific community' metaphor. VAs are `images' of autonomous agents (expert decision support systems and human decision makers) dynamically created in a local agent's `mind' (or knowledge base) and linked to the remote host through attached network routines. This... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Unifying multi-paradigms in software system design

    Publication Year: 1992, Page(s):386 - 393
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (670 KB)

    Large software systems are often aimed to deal with problems of multi-application domains or disciplines, where each class of problems has its own defining features, difficulties and emphases. No existing computation model or design paradigm is appropriate for all varieties of problems faced in software design. A unification of existing computation paradigms is thus necessary to accommodate the di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An optimized concurrency control algorithm for transaction processing

    Publication Year: 1992, Page(s):9 - 16
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (826 KB)

    The focus of this paper is to propose a concurrency control scheme, named Two Phase Integrated Concurrency Control (2-PICC) which can meet the response time requirement under the concurrency level anticipated for future TP systems and provide better performance than any existing concurrency control scheme for virtually all data and hardware contention level. This concurrency control scheme shares ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards integrating logic, object, frame, and production

    Publication Year: 1992, Page(s):463 - 469
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (694 KB)

    Recently, considerable interest has arisen in integrating object-oriented and logic programming. In this paper, the authors describe an object-oriented logic programming language and discuss its extension by exploring its role and representation in an artificial intelligence frame system and production system. In particular they describe how to add derived slots into classes and to represent produ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Petri net semantics for logic programs with negation

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

    An extended Petri net is used to model function-free logic programs with negation, i.e. normal logic programs. In this model, because of the presence of inhibitor arcs, the arbitrary application of firing rules may cause a contradictory situation. The authors suggest two directions to avoid contradictions, greedy and secure application of firing rules. Secure application is a direct translation of... 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.
  • System design as derivation via rewriting

    Publication Year: 1992, Page(s):317 - 324
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (722 KB)

    Reusing provably correct (pieces of) software not only simplifies the task of designing correct software systems, but also decreases the costs of their development. The problem of designing a class (in the sense of object oriented programming methodology) which inherits from those of a given library and whose instances respond to given messages, is reduced to the problem of symbolically deriving a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A process model for software process management

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

    Development of large-scale software generally involves in setting up of a project. Intensive management offers a practical approach to such development. Therefore, the key to success of a project is to develop technology which provides strong support for project management. This paper describes the requirements for a system which supports the process management of a software development project, p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge-based approach to encouraging reuse of simulation and modeling programs

    Publication Year: 1992, Page(s):158 - 163
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (501 KB)

    The authors present a knowledge-based approach to encouraging the reuse of existing simulation and modeling programs. To get around the problems of poor interfaces and minimal documentation, they are: treating each existing program as an operator in a planning system; creating a knowledge base describing the goals each program achieves, the pre- and post-conditions of running the program, and its ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MERA: meta language for software engineering

    Publication Year: 1992, Page(s):495 - 502
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    MERA (Meta Entity-Relation-Attribute) is a versatile graphical language which can be used for modeling and analysis of the user requirements, for building a prototype, for representing designer's knowledge for controlling design process, etc. The current version of MERA has capacity for animation, view operation, user adaptability, and some semantic level processing. It also contains dozens of mod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Incremental, high level implementation of Prolog in an open system framework

    Publication Year: 1992, Page(s):394 - 403
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (889 KB)

    Proposes a new framework to implement a complete logic programming system. This framework is composed of a set of new mechanisms intended to give high level and safe means to manage a computation history. Upon this framework the authors developed a logic programming environment prototype, called MxLog, featuring a complete Prolog-II interpreter and its debugging environment. This prototype has bee... 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.
  • Two real-time expert systems for the monitoring and maintenance of digital exchanges

    Publication Year: 1992, Page(s):364 - 369
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (657 KB)

    The ever-increasing complexity of the elements that constitute a telecommunications network as well as the amount of knowledge and experience needed to operate and maintain these elements, demand maintenance tools that are both powerful enough to perform these tasks and easy to learn and modify. Thus, the use of a knowledge-based expert systems (KBES) methodology is required. This paper presents U... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge-based transformational programming

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

    Transformations are functions over programs that adhere to some program refinement relation. The power of transformations stems, in the first instance, from the flexibility available within the transformation system for representing design decisions, which requires that transformations be parameterized with the knowledge of problem domain; and second, on the ability to reuse developments in an eff... 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.
  • A graph proof procedure for real time logic

    Publication Year: 1992, Page(s):300 - 306
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    Real-time logic (RTL) has been successful in specifying and verifying a class of timing requirements in real-time systems. The authors propose a graph proof procedure for RTL formulae. First, they represent the RTL formulae in a connection graph-like structure. Based on this graph, they have found some useful deduction rules and reduction rules. From some preliminary experiments, they show that th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Layout algorithms for DFD processors

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

    Presents two algorithms that are useful for integration into CASE tools that support data flow diagrams (DFDs). They provide the means to relieve the user of the tedious task of making layout decisions by automating some of these decisions. The automatic layout algorithm yields to achieve a neat layout of the objects in a data flow diagram. The incremental placement algorithm adopts the layout alg... 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.
  • 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.