摘要： 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
| [1] Le Lann,Gérard．An analysis of the Ariane 5flight 501failure-a system engineering perspective[C]∥ Proceedings of Internatio-nal Conference and Workshop on Engineering of Computer-Based Systems．IEEE,1997:339-346 [2] Leveson N G,Turner C S．An investigation of the Therac-25accidents[J]．Computer,1993,26(7):18-41 [3] Research Z E．GM Recalls Cadillac on SW Glitch．http://www.zacks.com/stock/news/55570/gm-recalls-cadillac-on-sw-glitch,2011-07-21 [4] Boehm B,Turner R．Balancing Agility and Discipline:A Guidefor the Perplexed[M]．Addison-Wesley/Pearson Education,2003 [5] Parnas D L.Precise Documentation:The Key to Better Software[C]∥Nanz S,ed．The Future of Software Engineering． Berlin Heidelberg:Springer,2011:125-148 [6] Alspaugh T A,et al.Software Requirements for the A-7E Aircraft[R]．DTIC Document,1992 [7] Parnas D L,Asmis G,Madey J．Assessment of safety-criticalsoftware in nuclear power plants[J]．Nuclear safety,1991,32(2):189-198 [8] Parnas D L,Madey J．Functional documents for computer systems[J]．Science of Computer Programming,1995,25(1):41-61 [9] Abraham R.Evaluating generalized tabular expressions in software documentation[D]．Dept．of Electronic and Computer Engineering,McMaster University,1997 [10] Parnas D L.Tabular representation of relations[R]．Technical Report CRL 260[38]．McMaster University Canada,1992 [11] Janicki R.Towards a formal semantics of Parnas tables[C]∥Proceedings of the 17th international conference on Software engineering．ACM:Seattle,Washington,United States,1995:231-240 [12] Janicki R,Parnas D L,Zucker J．Tabular Representations in Relational Documents[M]∥ Brink C,Kahl W,Schmidt G,eds． Relational Methods in Computer Science．Springer Vienna,1997:184-196 [13] Janicki R,Wassyng A．Tabular expressions and their relational semantics[M]．Fundamenta Informaticae,2005,67(4):343-370 [14] Kahl W.Compositional syntax and semantics of tables[R]．SQRL Report 15．McMaster University,2003 [15] Jin Y,Parnas D L．Defining the meaning of tabular mathematical expressions[J]．Science of Computer Programming,2010,75(11):980-1000 [16] 金芝,刘璘,金英．软件需求工程原理和方法[M]．北京:科学出版社,2008 [17] Parnas D,Peters D．An Easily Extensible Toolset for TabularMathematical Expressions Tools and Algorithms for the Construction and Analysis of Systems[M]∥Cleaveland W,ed．Springer Berlin/Heidelberg．1999:345-359 [18] Peters,Dennis K,Lawford M．An IDE for software development using tabular expressions[C]∥Proceedings of the 2007confe-rence of the center for advanced studies on collaborative research．IBM Corp.,2007:248-251 [19] Eles,Colin,Lawford M．A tabular expression toolbox for matlab/Simulink[P]．NASA Formal Methods．Springer Berlin Heidelberg,2011:494-499 [20] Heitmeyer C.Formal methods for specifying,validating,andverifying requirements[J]．Journal of Universal Computer Science,2007,13(5):607-618 [21] Heitmeyer,Constance,Archer M,et al.Tools for ConstructingRequirements Specification:The SCR Toolset at the Age of Ten[R]．Naval Research Lab Washington DC Center for High Assurance Computing Systems (CHACS),2005 [22] Heitmeyer C L,Jeffords R D,Labaw B G．Automated consistency checking of requirements specifications[J]．ACM Transactions on Software Engineering and Methodology (TOSEM),1996,5(3):231-261 [23] Heitmeyer C L.Software Cost Reduction[M]．Encyclopedia of Software Engineering,John Wiley & Sons,Inc,2002 [24] Moum G．Procedure for the Specification of Software Require-ments for Safety Critical Software[R]．Report CE-1001-PROC Rev.2．CANDU Computer systems Engineering Centre of Excellence Procedure,April 2000 [25] Wassyng A,Lawford M．Software tools for safety-critical software development[J]．International Journal on Software Tools for Technology Transfer,2005,8(4/5):337-35 |
| No related articles found! |
|
||
首页