Abstract. The system of allocation control LANGALL is described in this paper. Demands made for distributed systems are discussed. Application of LANGALL as a part of ASNET [Kot2] system is presented. The comparison of LANGALL with the typical representative of the configuration languages class, namely CONIC, is made. Description of extensions and subjects of further research is also contained.

Abstract. Supporting the generation of a distributed system is a necessity nowadays. One of such systems is the COSID system designed in the Institute of Computer Science of the Jagiellonian University. From the users point of view, one of its main parts is a two--level system COLNET/ASNET supporting implementation and execution of the designed distributed software. There is, however, another important part of the COSID system associated with a distributed system execution - a kernel of the COSID system. A classification of the mentioned software in the distributed systems terminology and main features of this kernel are the scope of the paper.

Abstract. The COSID system is intended to design distributed software systems. One of its application is the Graphics Manager. The main objective of this paper has been to design an appropriate theoretical formalism used in a graph-theoretic approach to designing the manager. The flexible mechanism allowing un an easy adaptation of existing programming libraries to concurrent environment is also presented.

Abstract. The aim of this paper is to present new formal techniques employed in the latest implementation of the AllCont module. This module forms the central part of the COSID system (Concurrent Software Implementation for Distributed Environments); it maintains whole information on a state of a (distributed) computing environment and controls allocation of new software modules. Many enhancements to a previously employed graph grammar and synchronization formalism have been introduced; their formal background is presented here.

Abstract. This paper analyses a certain problem in statistical pattern recognition (classification). For the assumed model a decision rule, which minimizes the probability of misclassification, is presented.

Abstract. In this paper is proposed new methodology for the design and implementation of legal expert systems. This methodology includes the following stages: introductory design, creation of legal database, integration and verification of legal knowledge base and detailed design. This methodology was used in the design of legal expert system at Jagiellonian University.

Abstract. Since teams of human experts and programmers produce expert systems, it is need to inform all users about legal problems caused by computer program failures. Such problems make strict product liability for physical harm to user. This article proposes some solutions of ensuring that a computer program is reliable. It is very important for all lawyers going to judge and also for designers of expert systems. Some of proposal should be used by building new right to order these issuses.

Abstract. This paper analyses a certain problem in statistical pattern recognition (classification). For the assumed model and for multinomial and Dirichlet distributions a decision rule, which minimizes the probability of missclassification, is presented.

Abstract. A syntactic pattern recognition model for supporting an inference in hybrid expert systems is introduced. A design/architecture issues of such expert systems are presented. A problem of a weak generative/discriminating power of context-free grammars is discussed and a method for its solving is proposed.