Sciweavers

12 search results - page 1 / 3
» ershov 1999
Sort
View
ERSHOV
1999
Springer
13 years 9 months ago
Algebraic Imperative Specifications
Marie-Claude Gaudel, Alexandre V. Zamulin
ERSHOV
1999
Springer
13 years 9 months ago
Using Experiments to Build a Body of Knowledge
Victor R. Basili, Forrest Shull, Filippo Lanubile
ERSHOV
1999
Springer
13 years 9 months ago
On Semantics and Correctness of Reactive Rule-Based Programs
Man Lin, Jacek Malec, Simin Nadjm-Tehrani
ERSHOV
1999
Springer
13 years 9 months ago
Twin - A Design Pattern for Modeling Multiple Inheritance
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...
Hanspeter Mössenböck
ERSHOV
1999
Springer
13 years 9 months ago
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
Fedor A. Kolushev, Alexander A. Bogdanov