Aline Maria Santos Andrade

Learn More
The material, including all portions thereof, is protected by copyright; all rights are held exclusively by Springer Science + Business Media. The material is for personal use only; commercial use is not permitted. Unauthorized reproduction, transfer and/or use may be a violation of criminal as well as civil law. Abstract A new tool for integrating formal(More)
Service oriented Architecture (SOA) has been widely used in service computing applications and this fact has been encouraged the publication over the Web in a Web Service format. Whereas the number of Web services published on the Web is growing up, discovery techniques must be improved so as to retrieve more desirable services. Nowadays, the most commonly(More)
We describe the formal specification and verification of a new fault-tolerant real-time communication protocol, called DoRiS, which is designed for supporting distributed real-time systems that use a shared high-bandwidth medium. Since such a kind of protocol is reasonably complex and requires high levels of confidence on both timing and safety properties,(More)
Model Driven Development (MDD) is a softwaredevelopment approach that makes intensive use of modelsallowing not only reuse of code but also reuse of models producedalong the entire software development life cycle. At the core ofMDD is a transformation chain that transforms input modelsinto output models until code generation enabling softwaredevelopment(More)
OBJECTIVE To compare estimation of cardiovascular risk using the Framinghan Risk Score (FRS) and the presence of the metabolic syndrome (MetS) in postmenopausal women to prevent primary cardiovascular disease (CVD). METHODS This cross-sectional study included 497 Brazilian women (aged ≥45 years and amenorrhea >12 months). Cardiovascular risk was(More)
Mechatronic products integrate electrical, software and mechanical engineering, allowing new possibilities in product development. This paper proposes a unified process to guide the development of mechatronic products which includes the rational unified process with some established methods and techniques from electrical and mechanical engineering. The(More)