Technical University of Vienna, Distributed Systems Group A-1040 Vienna, Argentinierstrasse 8/ 184-1;
authorization; access control; security engineering; formal methods; software architecture; architectural style; alloy;
机译:基于样式的系统中具有方花键的适当软件体系结构样式的选择
机译:软件架构设计的正式安全性分析:新兴建筑风格的表现力框架
机译:在基于搜索的软件产品线体系结构设计中保留体系结构样式
机译:DPS:安全软件开发的架构风格
机译:从体系结构原语组成基于样式的软件体系结构。
机译:概念问题和标准。医疗硬件软件和信息交换标准:药物研发的信息技术架构
机译:DPS:安全软件开发的体系结构样式