Concept: Advanced Software Engineering Methodologies
Measuring Complexity at the Requirements Stage: Spectral Metrics as Development Effort Predictors
Using graph metrics to predict effort required for integrating complex system requirements
Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
Using types to verify that software implementations match their abstract specifications
