Notice
There is currently an issue with the citation download feature. Learn more

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
  • Linear programming supporting Ada-tasking static analysis: a Petri net approach

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

    Basing on the algebraic representation of Petri net models of Ada tasking programs, the authors have defined a set of linear programming problems to support the static analysis of various queries about tasking behavior, such as queries about deadlock existence, possible parallelism, possible occurrence of an event, reachable states, definite occurrence of events, and quantitative questions. The li... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prototyping an inconsistency checking tool for software process models

    Publication Year: 1992, Page(s):227 - 234
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (820 KB)

    Software process modeling has attracted much research effort in software engineering. However, there is little work reported for the verification of process models. In fact, the verification is often either performed by hand or it is left to the enacting mechanism to detect inconsistencies during execution. Since process models are becoming more and more powerful and complex, their verification is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality-driven validation: a link between four research traditions

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

    Quality-driven validation is presented as a design rationale extension of software construction and can be defined in terms of three activities: specifying the relevant quality characteristics, justifying the choices made between alternative descriptions by reference to quality characteristics (design rationales), and recording the design rationale in connection with design descriptions. This pape... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Maintainability via structure models and software metrics

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

    The spur of innovation coming from new technologies and methodologies often leads to poorly integrated systems which evolve with no disciplined management model. The authors suggest a set of conceptual models for representing a system structure, differing as regards abstraction degree (essential vs. language-oriented), decomposition method (functional vs. object-oriented), and target languages. A ... 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Automatic layout of diagrams for software specification

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

    This paper presents an automatic layout tool which applies fuzzy theory to rule-based layout of diagrams in graphical models. MERA (Meta-Entity-Relation-Attribute) is used as a uniform language for various graphical models used in requirements and design specifications of software. A unique feature of the tool is that a layout of a diagram in a graphical model is produced, based on the layout rule... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated specification of method and graphic knowledge

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

    The current generation of CASE tools mainly provides rigid and inflexible support for editing, storage, verification and transformation of specifications. Information engineers have to adapt their way of working to CASE took instead of vice versa. To enable a more flexible, method-independent support of information engineers, the concept of a CASE shell has emerged. Crucial for CASE shells is the ... 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.
  • SESAM-simulating software projects

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

    Teaching software engineering as well as researching in this area is very tedious due to the length and costliness of software projects. SESAM (`Software Engineering Simulation by Animated Models') therefore is designed as a simulator for software projects, allowing students to gain reality-like experiences in project management and researchers to evaluate hypotheses on the mechanisms influencing ... 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.
  • 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.
  • A software engineering environment for modeling and developing knowledge-intensive systems

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

    One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are information models: an extended entity-relationship formalism is suitable to build such models. On the o... 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.
  • An object-oriented analysis model of an iconic interface to Macsyma

    Publication Year: 1992, Page(s):253 - 260
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (738 KB)

    This describes the object-oriented analysis conceptual model (OOAM) of a highly visual interface to Macsyma, which is an interactive, text-based system for performing symbolic, mathematical computations. It shows how the prominent structural features of the OOAM permit the analyst to graphically and mathematically evaluate aspects of interface perceptual quality through various metrics. The model ... 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.
  • 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.
  • Using version spaces to support incremental searches in a software library

    Publication Year: 1992, Page(s):412 - 419
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    Information spaces of software component descriptions in software libraries tend to be unstructured and ill-defined. Powerful browsing facilities are important for the successful use of software libraries to support software reuse. Browsing is an activity which iterates two processes: search result investigation and search tactic execution. Query refinement has been identified as a common search t... View full abstract»

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