Publication | Closed Access

Managing architectural decision models with dependency relations, integrity constraints, and production rules

Software MaintenanceEngineeringVerificationSoftware EngineeringDependable System ArchitectureArchitecture SpecificationSoftware AnalysisFormal VerificationSoftware ArchitectureSocial SciencesIntegrity ConstraintsSystems EngineeringDependency RelationsSoftware Architecture ModelingDesignArchitectural Decision ModelsSoftware DesignArchitectural DesignArchitecture AnalysisFormal MethodsSystem Software