Software & Systems Modeling · 2013 · 29 citations · 35 references
EngineeringInformation SystemsModel-based Systems EngineeringSystems ArchitectureSystems ModelingConceptual ModelingModel-based DesignModel-driven DevelopmentSoftware ModelingUse Case AnalysisUse Case ModelingMeta-modeling LanguagesModel InterchangeModel Structure AnalysisUml ModelingUse Case DiagramsUse Case PatternsUse Cases
35
Goal-directed requirements acquisition
Anne Dardenne, Axel van Lamsweerde, Stephen Fickas · Science of Computer Programming · 1993 · 2K citations
Automated analysis of requirement specifications
William Wilson, Linda Rosenberg, Lawrence E. Hyatt · 1997 · 195 citations · Full text