Focal Interest
Focal Interest

Advanced Software Engineering Methodologies

External reference: https://openalex.org/T10639

  1. Spectral metrics predicted requirements integration effort
    Spectral graph metrics derived from NLP-extracted requirement networks predict integration effort with 95% correlation, outperforming traditional structural complexity measures for early-stage.
  2. A type-theoretic account of abstraction functions and cost verification
    Modular verification in dependent type theory using abstraction functions as types, with support for cost analysis and behavior verification while maintaining privacy guarantees.