TemporalAnalysisRainfallSoftware
Requirements缩小DeveloperTechnical
侵入CompositionInvasiveSoftware
软件工程InternationalFundamentalEngineering
医药图书InternationalFoundationsComputation
新兴Practices源码Emerging
Metrics度量CharacterizeOriented
软件工程EngineeringSoftwareDedicate
形式化InternationalVerificationConference
