PAS - Partitioned Annotations of Software