Journal of Systems and Software · 2006 · 26 citations · 47 references
Software MaintenanceEngineeringSoftware EngineeringArchitecture SpecificationSoftware AnalysisFormal VerificationSoftware ArchitectureHardware SecuritySystems EngineeringArchitectural Control FlowSoftware Re-engineeringSoftware Architecture ModelingComputer ScienceSoftware DesignData SecurityArchitecture AnalysisProgram AnalysisCase StudySystem Software
47