Computer Science ›› 2014, Vol. 41 ›› Issue (3): 23-26.
Previous Articles Next Articles
CHEN Yi-hai and MIAO Huai-kou
[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! |
|