Publication | Closed Access
Experiences with ALMA: Architecture-Level Modifiability Analysis
83
Citations
20
References
2002
Year
Architectural DesignEngineeringArchitecture AnalysisFormal MethodsComputer ArchitectureSoftware EngineeringArchitecture-level Modifiability AnalysisDependable System ArchitectureArchitecture SpecificationSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1