Publication | Closed Access

Languages for formalizing, visualizing and verifying software architectures

Specification LanguageEngineeringProgram AnalysisVerificationFormal MethodsSoftware VerificationComputer ScienceArchitecture SpecificationSoftware AnalysisSystem SoftwareSoftware DesignFormal VerificationSoftware Architectures