2012: J Paul GibsonT&MSP: Mathematical FoundationsMAT7003/Introduction.1 MAT 7003 : Mathematical Foundations (for Software Engineering) J Paul Gibson,
VizzMaintenance Eclipse Plugin Metrics
Don Batory UT-Austin Computer Sciences ASM’071 Feature Modularized Theorems in Software Product Lines Don Batory Department of Computer Sciences University.
Comparative Formal Methods
Feature Modularized Theorems in Software Product Lines