A Complexity Calculus for Recursive Tree Algorithms
A Java framework for multi-agent systems.
A more efficient notion of zigzag stability
A Parametric Visualization Software for the Assignment Problem
A software reliability growth model with two types of errors
An efficient implementation of Sugiyama's algorithm for layered graph drawing.
An implementation of the fast Givens transformations on a MIMD computer
Axiomatisation des manipulations symboliques en calcul des prédicats
Bayesian inference and optimal release times. For two software failure models
We carry out Bayesian inference for the Jelinski-Moranda and Littlewood software failure models given a sample of failure times. Furthermore, we illustrate how to assess the optimal length of an additional pre-release testing period under each of these models. Modern Bayesian computational methods are used to estimate the posterior expected utility of testing for and additional time.
Cocktail: a tool for deriving correct programs.
Cocktail is a tool for deriving correct programs from their specifications. The present version is powerful enough for educational purposes. The tool yields support for many sorted first order predicate logic, formulated in a pure type system with parametric constants (CPTS), as the specification language, a simple While-language, a Hoare logic represented in the same CPTS for deriving programs from their specifications and a simple tableau based automated theorem prover for verifying proof obligations....
Comparative Analysis: A Feasible Software Engineering Method
The reasonable choice is a critical success factor for decision- making in the field of software engineering (SE). A case-driven comparative analysis has been introduced and a procedure for its systematic application has been suggested. The paper describes how the proposed method can be built in a general framework for SE activities. Some examples of experimental versions of the framework are brie y presented.
Component composition validation
Many approaches such as component technologies have been invented in order to support software reuse. Based on these technologies a large variety of techniques have been introduced to connect components. However, there is little experience concerning the validation of component systems. We know how to plug components together, but we do need ways to check whether that works. In this paper we introduce an approach to validating component compositions and showing how such a process can be supported...
Design procedure on a newly developed paper craft.
Dynamical models for computer viruses propagation.
Extendible meta-interpreters
Factors involved in the performance of computations on Beowulf clusters.
Fault injection stress strategies in dependability analysis
FER/SubDomain : an integrated environment for finite element analysis using object-oriented approach
Development of user-friendly and flexible scientific programs is a key to their usage, extension and maintenance. This paper presents an OOP (Object-Oriented Programming) approach for design of finite element analysis programs. General organization of the developed software system, called FER/SubDomain, is given which includes the solver and the pre/post processors with a friendly GUI (Graphical User Interfaces). A case study with graphical representations illustrates some functionalities of the...
FER/SubDomain: An Integrated Environment for Finite Element Analysis using Object-Oriented Approach
Development of user-friendly and flexible scientific programs is a key to their usage, extension and maintenance. This paper presents an OOP (Object-Oriented Programming) approach for design of finite element analysis programs. General organization of the developed software system, called FER/SubDomain, is given which includes the solver and the pre/post processors with a friendly GUI (Graphical User Interfaces). A case study with graphical representations illustrates some functionalities of the...
Formal Specifications in Software Development: an Overview