摘要
ABOWD，G.、ALLEN，R.和GARLAN，D.1995年。 形式化风格以理解软件架构的描述。 ACM事务处理。 柔和。 工程方法。 4月4日（10月）。 谷歌学者 
艾伦，R.J.1997。 软件架构的正式方法。 5月，宾夕法尼亚州匹兹堡卡内基梅隆大学计算机科学学院博士论文。 谷歌学者 布鲁克斯，S.D.和罗斯科，A.W.1985。 通信过程的改进故障模型。 在NSF-SERC并行研讨会的会议记录中。 计算机科学讲义，第197卷。 柏林斯普林格·弗拉格。 谷歌学者 BURCH，J.R.、CLARKE，E.M.、MCMILLAN，K.L.、DILL，D.L.和HWANG，J.1990年。 符号模型检查：1020个状态及以上。 第五届IEEE计算机科学逻辑年会论文集。 IEEE，纽约。 谷歌学者 卡梅隆，J.1989。 JSP和JSD:软件开发的Jackson方法。 IEEE Computer Society Press，加利福尼亚州洛斯阿拉米托斯。 谷歌学者 CLARKE，E.、EMERSON，E.A.和SISTLA，A.P.，1986年。 使用时序逻辑规范对有限状态并发系统进行自动验证。 ACM事务处理。 程序。 语言系统。 8，2（4月），244-263。 谷歌学者 DARPA。 1990.领域特定软件体系结构研讨会论文集。 宾夕法尼亚州匹兹堡软件工程学院。 谷歌学者 埃斯特林·G.、芬希尔·R.S.、拉祖克·R.R.和弗农·M.K.，1986年。 Sara（系统架构师学徒）：为并发系统的设计提供建模、分析和仿真支持。 IEEE传输。 柔和。 工程SE-12，2（2月），293-311。 谷歌学者 正式制度。 1992年。故障分歧改进：用户手册和教程。 1.2版《形式系统（欧洲）》，英国牛津。 谷歌学者 GARLAN，D.，1995年版。 第一届软件系统体系结构国际研讨会论文集（华盛顿州西雅图，4月）。 CMU技术代表CMU-CS-95-151提供。 4月。 谷歌学者 GARLAN，D.和PERRY，D.，1995年版。 软件架构专题。 IEEE传输。 柔和。 工程21、4（4月）。 谷歌学者 GREEN，P.和GRIFFIN，T.1995年。 RTIS HLA/RTI实现规范。 技术代表RTIS10951，实时智能系统公司，马萨诸塞州韦斯特堡，10月。 谷歌学者 哈雷尔，D.1987。 状态图：复杂系统的可视化形式主义。 科学。 计算。 程序。 8, 3, 231-274. 谷歌学者 HOARE，C.A.R.1985年。 通信顺序过程。 新泽西州Englewood Cliffs的Prentice-Hall。 谷歌学者 霍尔兹曼，G.J.1991。 计算机协议的设计和验证。 新泽西州Englewood Cliffs的Prentice-Hall。 谷歌学者 INVERARDI，P.和WOLF，A.1995年。 使用化学抽象机器模型对软件架构进行形式化规范和分析。 IEEE传输。 柔和。 工程21，4（4月），373-386。 谷歌学者 JACOB，J.1989年。 完善共享系统。 《精炼理论与实践》，J.A.McDermid，Ed.Butterworths，英国伦敦。 谷歌学者 吉峰，H.1990。 X.25协议的规范和设计：csp中的一个案例研究。 《并发与通信的发展》，C.A.R.Hoare，Ed.Addison-Wesley，Reading，Mass。 谷歌学者 LAM，S.S.和SHANKAR，A.U.1994年。 接口和模块理论i——组合定理。 IEEE传输。 柔和。 工程20，1（1月）。 谷歌学者 LARSEN，K.G.和MILNER，R.，1986年。 使用相对化双累加进行完整的协议验证。 英国爱丁堡大学计算机科学基础实验室技术代表ECS-LFCS-86-13。 谷歌学者 卢克汉，D.C.，奥古斯丁，L.M.，肯尼，J.J.，维拉，J.，布莱恩，D.和曼恩，W.1995。 使用Rapide规范和分析系统架构。 IEEE传输。 柔和。 工程21，4（4月），336-355。 谷歌学者 林奇，N.A.和塔特尔，M.R.1988。 输入/输出自动机简介。 麻省理工学院计算机科学实验室技术代表MIT/LCS/TM-373。 谷歌学者 MAGEE，J.、DULAY，N.、EISENBACH，S.和KRAMER，J.，1995年。 指定分布式软件架构。 第五届欧洲软件工程会议论文集，ESEC’95。 9月。 谷歌学者 METTALA，E.和GRAHAM，M.H.1992年。 特定于域的软件架构（architecture）程序。 宾夕法尼亚州匹兹堡软件工程研究所技术代表CMU/SEI-92-SR-9。 谷歌学者 MILNER，R.、FARROW，J.和WALKER，D.1992年。 移动进程的微积分。 J.信息计算。 100, 1-77. 谷歌学者 NIERSTRASZ，O.1993年。 活动对象的常规类型。 1993年OOPSLA会议记录。 ACM SIGPLAN非。 10月28日至15日。 谷歌学者 NII，H.P.1986a。 黑板系统。 第1部分：。 AI杂志7、3、38-53。 谷歌学者 NII，H.P.1986b。 黑板系统。 第2部分。 AI杂志7、4、62-69。 谷歌学者 佩里，D.E.1987。 软件互连模型。 《第九届国际软件工程会议论文集》，IEEE计算机社会出版社，加利福尼亚州洛斯阿拉米托斯，61-68。 谷歌学者 彼得森，J.L.，1977年。 Petri网。 ACM计算。 Surv公司。 9，3（9月），223-252。 谷歌学者 PRIETO-DIAZ，R.和邻居们，J.M.，1986年。 模块互连语言。 J.系统。 柔和。 6、4（11月），307-334。 谷歌学者 PURTILO，J.M.，1994年。 POLYLITH软件总线。 ACM事务处理。 程序。 语言系统。 151-174年1月16日。 谷歌学者 REISS，S.P.1990年。 使用现场环境中的消息传递连接工具。 IEEE软件。 7月7日、4日（7月）、57-66日。 谷歌学者 REPS，T.和TEITELBAUM，T.1989。 合成器生成器：一个用于构建基于语言的编辑器的系统。 柏林斯普林格·弗拉格。 谷歌学者 SHAW，M.1993年。 过程调用是系统互连的汇编语言：连接器应具有一流的地位。 软件设计研究研讨会论文集。 五月。 谷歌学者 SHAW，M.和GARLAN，D.1995年。 软件架构中的公式和形式。 《今日计算机科学：最新趋势和发展》，J.van Leeuwen主编，《计算机科学讲义》，第1000卷。 柏林斯普林格·弗拉格。 谷歌学者 SHAW，M.和GARLAN，D.1996年。 软件体系结构：新兴学科的观点。 新泽西州Englewood Cliffs的Prentice-Hall。 谷歌学者 SHAW，M.、DELINE，R.、KLEIN，D.V.、ROSS，T.L.、YOUNG，D.M.和ZELESNIK，G.1995年。 软件架构抽象和支持它们的工具。 IEEE传输。 柔和。 工程21、4（4月）、314-335。 谷歌学者 YELLIN，D.M.和STROM，R.E.1994。 接口、协议和软件适配器的半自动构造。 1994年OOPSLA会议记录。 纽约ACM。 谷歌学者
建议
模型检查软件体系结构设计 HASE’12：2012年IEEE第14届高安全系统工程国际研讨会论文集 软件体系结构在系统设计的高层描述中起着至关重要的作用。 尽管它在软件工程实践中很重要，但缺乏正式的描述和验证支持阻碍了质量管理的发展。。。
评论
