Path-based verification for composition of semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
Industry traction for MAS technology: would a rose by any other name smell as sweet?
International Journal of Agent-Oriented Software Engineering
Conceptual Modeling: Foundations and Applications
Journal of Systems and Software
Hi-index | 0.00 |
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 ...