Object Oriented

We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.

This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world,

Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism,of object-oriented languages such as Java and OCaml. It is a contentious question whether Haskell 98 without extensions, or with common extensions, or with new extensions can fully support conventional object-oriented programming,with encapsulation, mutable state, inheritance, overriding, statically checked implicit and explicit subtyping, and so on. In a first

Renó, V. F.; Novo, E. M. L. M.; Suemitsu, C.; ; Rennó, C. D.; SILVA, Thiago S. F. (2011).

The floodplain forests bordering the Amazon River have outstanding ecological, economic, and social importance for the region. However, the original distribution of these forests is not well known, since they have suffered severe degradation since the 16th century. The previously published vegetation map of the Amazon River floodplain (Hess et al., 2003), based on data acquired in 1996, shows enormous difference in vegetation cover classes between the regions upstream and downstream of the city of Manaus. The upper floodplain is mostly covered by forests, while the lower floodplain is predominantly occupied by grasses and shrubs.This study assesses deforestation in the Lower Amazon floodplain over a ~ 30 year period by producing and comparing a historical vegetation map based on MSS/Landsat images acquired in the late 1970s with a recent vegetation map produced from TM/Landsat images obtained in 2008. The maps were generated through the following steps: 1) normalization and mosaicking of images for each decade; 2) application of a linear mixing model transformation to produce vegetation, soil and shade fraction-images; and 3) object-oriented image analysis and classification. For both maps, the following classes were mapped: floodplain forest, non-forest floodplain vegetation, bare soil and open water. The two maps were combined using object-level Boolean operations to identify time transitions among the mapped classes, resulting in a map of the land cover change occurred over ~ 30 years. Ground information collected at 168 ground points was used to build confusion matrices and calculate Kappa indices of agreement. A survey strategy combining field observations and interviews allowed the collection of information about both recent and historical land cover for validation purposes. Kappa values (0.77, 0.75 and 0.75) indicated the good quality of the maps, and the error estimates were used to adjust the estimated deforested area to a value of 3457 km2 ± 1062 km2 (95% CI) of floodplain deforestation over the ~ 30 years.