Agents, Case-Based Reasoning and their relation to the Mexican Software Process Model (MoProSoft)

  • Authors:

  • Elena Cardenas Vargas;Hanna Oktaba;Silvia Guardati;Ana Lilia Laureano

  • Affiliations:

  • UNAM, Mexico;UNAM, Mexico;Instituto Tecnológico Autónomo de México;UAM-A, Mexico.

  • Venue:
  • COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying ...