Learn More
—The Object-Oriented (OO) paradigm has become increasingly popular in recent years. Researchers agree that, although maintenance may turn out to be easier for OO systems, it is unlikely that the maintenance burden will completely disappear. One approach to controlling software maintenance costs is the utilization of software metrics during the development(More)
Human reasoning about non-trivial real world problems is a complex activity that frequently incorporates multiple reasoning strategies, concerning multiple domains of knowledge which may be perceived as having different structures. This paper proposes the use of the " smart object paradigm " for the design of complex knowledge based systems. The paradigm(More)
—The problem of computing a route for a mobile agent that incrementally fuses the data as it visits the nodes in a distributed sensor network is considered. The order of nodes visited along the route has a significant impact on the quality and cost of fused data, which, in turn, impacts the main objective of the sensor network, such as target classification(More)
formal softwam specification is a specification expressed in a language whose vocabulary, syntax, and semantics are formally defined, and which has a mathematical, usually formal logic, basis. (See the box " A Sketch of Formal Specification " for a short introduction to formal specification methods. For a more detailed introduction to formal methods see(More)