LOTOS is a speciication language, but it is not very useful without a design methodology that describes the process from initial speciication construction to implementation. In this paper we discuss the tools to support such a design process. The language, method and tools are beginning to be used in realistic applications, but the research on them continues. This paper concentrates on the curr...

In this paper, we study the problem of computing the minimum cost pipe network interconnecting a given set of wells and a treatment site, where each well has a given capacity and the treatment site has a capacity that is no less than the sum of all the capacities of the wells. This is a generalized Steiner minimum tree problem which has applications in communication networks and in groundwater ...

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program’s transition relation and then show that the relational abstraction is wellfounded. The focus of current tools has been on developing sophisticated techniques for constructing the abstractions while relying on known decidable logics (such as linear a...

This paper is an attempt to examine the main theorems of social choice theory from the viewpoint of constructive mathematics. We examine the Gibbard–Satterthwaite theorem [A.F. Gibbard, Manipulation of voting schemes: a general result, Econometrica 41 (1973) 587–601; M.A. Satterthwaite, Strategyproofness and Arrow’s conditions: existence and correspondence theorems for voting procedures and soc...

This qualitative research examines propinquity across two grocery shopping situations – real (in-store) and virtual (online). Examining how the same consumers shop for the same or similar commodities provides quasi-experimental conditions to examine differences in shopping behaviour. Convergent interviews with 15 respondents identified that consumer reasons – expectations of convenience, trust ...

We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed The semantics of the logic is given with respect to sym bolic transition systems Several motivational examples are included The reader is assumed to have passing familiarity with LOTOS

Many companies have recognized the strategic importance of the knowledge hidden in their large databases and have built data warehouses. Typically, updates are collected and applied to the data warehouse periodically in a batch mode, e.g., over night. Then, all derived information such as index structures has to be updated as well. The standard approach of bulk incremental updates to data wareh...

For the ordering and transportation of raw materials production enterprises, an intelligent supply chain planning system based on genetic algorithms has been researched developed. Based consideration multicycle multiraw materials, by constructing a multiobjective function, taking into account optimal supplier, economic scheme, minimum loss transshipment model algorithm is proposed, combination ...