Márcio Cornélio

Latest

• JML and Aspects: The benefits of instrumenting JML features with AspectJ
• Algebraic reasoning for object-oriented programming
• A refinement algebra for object-oriented programming
• Structuring Mechanisms for an Object-Oriented Formal Specification Language
• Design of an Object-Oriented Formal Specification Language