Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements

  • Authors:

  • Kai-Yuan Cai

  • Affiliations:

  • Beijing University of Aeronautics and Astronautics

  • 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 ...