Paulo César Masiero

Learn More
In this paper we present a navigation-oriented model for hyperdocument specification based on statecharts. The HMBS (Hypertext Model Based on Statecharts) model uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of a hyperdocument. The formal definition of the model is presented,(More)
A pattern language to deal with Business Resource Management is presented. It covers a great number of applications in business systems, including patterns for resource rental, trading and maintenance, and was designed based on practical experience in information systems development. Existing recurring patterns were applied to form patterns in our language,(More)
This paper proposes a family of coverage testing criteria for specifications based on Statecharts. Statecharts are an extension of finite state machines with the capability of expressing parallelism and hierarchy. They have been used to specify the behavior of Reactive Systems. Recently, they have also been used in the context of object oriented software(More)
Resumo. Um dos problemas encontrados no teste de programas orientados a objetos é a ordem em que classes são integradas e testadas. Esse problema também pode ser observado em programas orientados a aspectos. A estraté-gia incremental, que sugere que classes sejam testadas primeiramente e, então, integradas aos aspectos, é frequentemente sugerida como a(More)
This paper presents a formal definition for HMBS (Hypermedia Model Based on Statecharts). HMBS uses the structure and execution semantics of statecharts to specify both the structural organization and the browsing semantics of hypermedia applications. Statecharts are an extension of finite-state machines and the model is thus a generalization of(More)
A confederation of patterns that covers a great number of applications in business systems is proposed. Resource Management is the term used to d efine these a pplications. It i ncludes patterns for Resource Location, Resource Trading and Resource Maintenance. They are applied to examples as medical attendance, video rental, real estate rental, library(More)