Notice

# Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering

## 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
| | PDF (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»

• ### Proceedings. Fourth International Conference on Software Engineering and Knowledge Engineering (Cat. No.92TH0438-2)

Publication Year: 1992
| PDF (53 KB)
• ### Linear programming supporting Ada-tasking static analysis: a Petri net approach

Publication Year: 1992, Page(s):222 - 226
Cited by:  Papers (1)
| | PDF (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»

• ### Prototyping an inconsistency checking tool for software process models

Publication Year: 1992, Page(s):227 - 234
| | PDF (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»

Publication Year: 1992, Page(s):370 - 377
Cited by:  Papers (2)
| | PDF (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»

• ### Maintainability via structure models and software metrics

Publication Year: 1992, Page(s):590 - 599
Cited by:  Papers (1)
| | PDF (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»

• ### Distributed intelligent control and management: concepts, methods and tools for developing DICAM applications

Publication Year: 1992, Page(s):235 - 244
Cited by:  Papers (1)
| | PDF (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»

• ### A graph proof procedure for real time logic

Publication Year: 1992, Page(s):300 - 306
| | PDF (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»

• ### Object-oriented programming testing methodology

Publication Year: 1992, Page(s):378 - 385
Cited by:  Papers (1)
| | PDF (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»

• ### An iterative-cyclic software process model

Publication Year: 1992, Page(s):600 - 607
Cited by:  Papers (4)
| | PDF (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»

• ### Quality control within an expert system prototype development

Publication Year: 1992, Page(s):435 - 442
| | PDF (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»

• ### The renaissance of CASE through computer aided reverse engineering (CARE)

Publication Year: 1992, Page(s):551 - 559
| | PDF (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»

• ### Supporting inheritance in relational database systems

Publication Year: 1992, Page(s):511 - 518
Cited by:  Papers (1)
| | PDF (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»

• ### Automatic layout of diagrams for software specification

Publication Year: 1992, Page(s):245 - 252
Cited by:  Papers (1)
| | PDF (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»

• ### Integrated specification of method and graphic knowledge

Publication Year: 1992, Page(s):307 - 316
Cited by:  Papers (1)
| | PDF (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»

• ### Unifying multi-paradigms in software system design

Publication Year: 1992, Page(s):386 - 393
| | PDF (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»

• ### SESAM-simulating software projects

Publication Year: 1992, Page(s):608 - 615
Cited by:  Papers (3)
| | PDF (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»

• ### CASE approach in telecom. software development

Publication Year: 1992, Page(s):443 - 454
| | PDF (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»

• ### Decomposition of data flow diagrams

Publication Year: 1992, Page(s):560 - 566
Cited by:  Papers (1)
| | PDF (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»

• ### A software engineering environment for modeling and developing knowledge-intensive systems

Publication Year: 1992, Page(s):519 - 533
Cited by:  Papers (1)
| | PDF (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»

• ### An introduction to BagL

Publication Year: 1992, Page(s):479 - 486
Cited by:  Papers (1)
| | PDF (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»

• ### An object-oriented analysis model of an iconic interface to Macsyma

Publication Year: 1992, Page(s):253 - 260
| | PDF (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»

• ### A knowledge-based method for engineering navigational capability into user interface software

Publication Year: 1992, Page(s):26 - 31
Cited by:  Patents (1)
| | PDF (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»

• ### System design as derivation via rewriting

Publication Year: 1992, Page(s):317 - 324
| | PDF (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»

• ### Using version spaces to support incremental searches in a software library

Publication Year: 1992, Page(s):412 - 419
| | PDF (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»