Bruno Emerson Gurgel Gomes

Learn More
Metastatic melanoma is the most aggressive skin cancer. Recently, phenotypically distinct subpopulations of tumor cells were identified. Among them, ABCB5-expressing cells were proposed to display an enhanced tumorigenicity with stem cell-like properties. In addition, ABCB5(+) cells are thought to participate to chemoresistance through a potential efflux(More)
This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. In the proposed approach, the specification of the aplication logic needs not be preoccupied with(More)
This paper presents a method for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. In the proposed approach, the specification of the application logic does not need to take into account(More)
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive applications of refinements to derive a concrete implementation from an abstract specification. Refinement theory defines verification conditions to guarantee that such operations(More)
  • 1