Plácido A. Souza Neto

Learn More
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. This requires runtime verification approach based on Design by Contract to improve the safety of Java Card applications. However(More)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card(More)
Context: The development of distributed software systems has become an important problem for the software engineering community. Service-based applications are a common solution for this kind of systems. Services provide a uniform mechanism for discovering, integrating and using these resources. In the development of service based applications not only the(More)
This paper presents an approach for modeling and associating Policies to services’ based applications. It proposes to extend the SOD-M model driven method with (i) the π-SCM, a Policy services’ composition meta-model for representing non-functional constraints associated to services’ based applications; (ii) the π-PEWS meta-model providing guidelines for(More)
This paper presents the π-SODMmethod an extension to the Service Oriented Development Method (SOD-M) to support the development of services software considering their functional and non-functional requirements. Specifically, π-SODM proposes: (i) meta-models for representing non-functional requirements in different abstraction levels; (ii) model-to-model(More)
  • 1