Maria-Cleci Martins

Learn More
Object oriented (OO) programming techniques can be applied to equational specification logics by distinguishing visible data from hidden data (i.e., by distinguishing the output of methods from the objects to which the methods apply), and then focusing on the behavioral equivalence of hidden data in the sense introduced by H. Reichel in 1984. Equational(More)
The search for an online product that matches e-shoppers' needs and preferences can be frustrating and time-consuming. Browsing large lists arranged in tree-like structures demands focused attention from e-shoppers. Keyword search often results in either too many useless items (low precision) or few or none useful ones (low recall). This can cause potential(More)
The algebraic stepwise refinement is a useful process to build implementations that consists in refining, in an admissible way, step-by-step a given specification, by introducing new requirements (implementation decisions) in order to obtain a precise description of an algebra, i. e., the desired implementation. A refinement is a step of this process; that(More)
Behavioral Abstract Algebraic Logic Abstract. We introduce and study a generalization of the theory of abstract algebraic logic (AAL), that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of the traditional theory of AAL towards providing a(More)
  • 1