Computer Science ›› 2014, Vol. 41 ›› Issue (1): 1-15.
WU Di and XU Bao-wen
| [1] The Department of Defense Common High Order Language Program．AD-A059444．Department of Defense Requirements for High Order Computer Programming Languages “STEELMAN” [S]．1978 [2] United States Department of Defense．Stoneman:Requirements for Ada Programming Support [S]．1980 [3] Hoare C A R．The Emperor’s Old Clothes[R]．New York,NY,USA．Communications of the ACM,1981 [4] United States Department of Defense．ANSI/MIL-STD-1815A(ISO 8652-1987)．Reference Manual for the Ada Programming Language [S]．Secaucus,NJ,New York,USA:Springer-Verlag,1983 [5] 徐宝文．试论高级程序设计语言的设计与评价标准[J]．南京航空航天大学学报,1987,19(2):114-125 [6] 徐宝文．关于Ada语言的几点修正意见 [J].南京航空航天大学学报,1987,19(3):140-143 [7] Wegner P．麦中凡,姜静波,译．Ada的成就与不足 [J].计算机科学,1988(1):56-61 [8] 徐宝文．Ada语言回顾与展望[J]．计算机应用,1989,3:46-49 [9] 徐宝文．军用计算机语言初论[J]．南京航空航天大学学报,1989,21(2):102-107 [10] 徐宝文．论Ada对DOD国防系统软件开发标准的适应性[J]．南京航空航天大学学报,1990,22(4):66-71 [11] 徐宝文．ANNA语言导论 [M]．北京:中国铁道出版社,1990:20-42 [12] 徐家福,王志坚,翟成祥．对象式程序设计语言[M]．南京:南京大学出版社,1992 [13] Jrgensen II J．A Comparison of the Object-Oriented Features of Ada 9X and C++ [C]∥Proceedings of the 12th Ada-Europe International Conference．Ada Sans Frontières．Paris,France,June 1993 [14] Anderson C．Opening Address:Ada 9X [C]∥Proceedings of the First International Eurospace-Ada-Europe Symposium on Ada in Europe．Copenhagen,Denmark,September 1994 [15] United States Department of Defense．ISO/IEC 8652:1995．Ada Reference Manual [S]．1995 [16] Cohen N．Ada as A Second Language(2nd Edition)[M]．New York,USA:McGraw-Hill Higher Education,1995:9-758 [17] Barnes J．Ada 95 Rationale:The Language-The Standard Libra-ries [M]．Berlin,Germany:Springer,1995:30-97 [18] Mangold K．Ada 95-An Approach to Overcome the SoftwareCrisis? [C]∥Ada in Europe,Second International Eurospace-Ada-Europe Symposium．Frankfurt/Main,Germany,October 1995 [19] Barbey S,Kempe M,Strohmeir A．Advanced Object-OrientedFeatures and Programming in Ada 95[C]∥Tutorial Procee-dings on Ada’s Role in Global Markets:solutions for a changing complex world．Anaheim,CA,USA,November 1995 [20] 徐宝文．程序设计语言发展回顾与展望[N]．计算机世界报,1995(13) [21] Cherry G,Crawford B．The Situation in Object-Oriented Specification and Design [C]∥TRI-Ada’ 96Conference,The annual meeting of the Ada programming world．Philadelphia,Pennsylvania,USA,December 1996 [22] Cross II J,Barowski L,Hendrix T,et al．Control Structure Diagrams for Ada 95[C]∥TRI-Ada’ 96Conference,The annual meeting of the Ada programming world．Philadelphia,Pennsylvania,USA,December 1996 [23] Brosgol B．A Comparison of the Object-Oriented Features ofAda 95and Java [C]∥TRI-Ada’97Conference,The annual meeting of the Ada programming world．St．Louis,Missouri,USA,November 1997 [24] Oh D,Baker T．Optimization of Ada ''95 Tasking Constructs [C]∥TRI-Ada’97 Conference,The annual meeting of the Ada programming world．St．Louis,Missouri,USA,November 1997 [25] 徐宝文．Ada95语言评述 [J]．计算机研究与发展,1997,34(1):53-57 [26] 徐宝文．Ada95与面向对象的程序设计 [J]．计算机研究与发展,1997,34(1):58-65 [27] 徐宝文．Ada95层次库结构与大型软件开发 [J]．计算机研究与发展,1997,34(1):66-71 [28] 徐宝文．Ada95保护对象与面向数据的同步 [J]．计算机研究与发展,1997,34(1):72-77 [29] 徐宝文．关于Ada95变体部分等语法的修正意见 [J]．计算机研究与发展,1997,34(1):78-80 [30] 黄曙萍,徐宝文．Ada95——一个功能强大的军用程序设计语言[J]．情报指挥控制系统与仿真技术,1997,2:50-52 [31] Xu B．Comments On Several Syntax Rules In Ada95[J]．ACM SIGPLAN Notices,1998,33(2):65-67 [32] Li B,Xu B,Yu H．Transforming Ada Serving Tasks into Protected Objects [C]∥SIGAda’98．Proceedings of the ACM SIGAda Annual International Conference on Ada Technology．Washington,DC,USA,November 1998 [33] Burns A．The Ravenscar Profile [J]．ACM SIGAda Ada Let-ters,1999,19(4):49-52 [34] 陈火旺,刘春林,谭庆平．程序设计语言编译原理[M]．北京:国防工业出版社,2000 [35] 李帮清,徐宝文．一种Ada 83服务性任务向Ada 95保护对象变换的方法 [J]．软件学报,2000,11(6):836-840 [36] Amey P．A language for systems not just software [C]∥Proceedings ACM SIGAda Annual International Conference (SIGAda 2001)．Bloomington,MN,USA,September 2001 [37] Brosgol B,Dobbing B．Real-time convergence of Ada and Java [C]∥Proceedings ACM SIGAda Annual International Confe-rence (SIGAda 2001)．Bloomington,MN,USA,September 2001 [38] 王振宇,梁先忠．Ada软件开发技术[M]．北京:国防工业出版社,2001:21-192 [39] Amey P,Chapman R．Industrial strength exception freedom [C]∥Proceedings of the 2002Annual ACM SIGAda International Conference on Ada:The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002．Houston,Texas,USA,December 2002 [40] Neville M,Sibley A．Developing a generic genetic algorithm [C]∥Proceedings of the 2002Annual ACM SIGAda International Conference on Ada:The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002．Houston,Texas,USA,December 2002 [41] Chen Z,Xu B,Yang H．Slicing Tagged Objects in Ada [C]∥Reliable Software Technologies:Ada Europe 2001,6th Ade-Europe International Conference．Leuven,Belgium,May 2002 [42] van Lamsweerde A．Building Formal Requirements Models forReliable Software [C]∥Reliable Software Technologies:Ada Europe 2001,6th Ade-Europe International Conference．Leuven,Belgium,May 2002 [43] Brosgol B,Dobbing B．Can Java Meet Its Real-Time Deadlines? [C]∥Reliable Software Technologies:Ada Europe 2001,6th Ade-Europe International Conference．Leuven,Belgium,May 2002 [44] Sethi R．程序设计语言[M]．裘宗燕,译．北京:机械工业出版社,2002 [45] Xu B,Chen Z,Zhao J．Measuring Cohesion of Packages in Ada95[C]∥Proceedings of the 2003Annual ACM SIGAda International Conference on Ada:The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003．San Diego,CA,USA,December 2003 [46] Riehle R．Ada Distilled-An Introduction to Ada Programmingfor Experienced Computer Programmers [M]．Palo Alto,California,USA:AdaWorks Software Engineering,2003:33-87 [47] Weiskirchner M．Comparison of the Execution Times of Ada,C and Java[Z]．September 2003 [48] Sward R．Extracting Ada 95Objects from Legacy Ada Programs [C]∥Reliable Software Technologies-Ada-Europe 2004,9th Ada-Europe International Conference on Reliable Software Technologies．Palma de Mallorca,Spain,June 2004 [49] Burgstaller B,Blieberger J,Scholz B．On the Tree Width of Ada Programs [C]∥Reliable Software Technologies-Ada-Europe 2004,9th Ada-Europe International Conference on Reliable Software Technologies．Palma de Mallorca,Spain,June 2004 [50] Rivas M,Miranda J,Harbour M．Integrating Application-De-fined Scheduling with the New Dispatching Policies for Ada Tasks [C]∥Reliable Software Technology-Ada-Europe 2005,10th Ada-Europe International Conference on Reliable Software Technologies．York,UK,June 2005 [51] Ruiz J．Ada 2005for deeply embedded systems [J]．Embedded Computing Design,2006,4(2):41-45 [52] Barnes J．High Integrity Software:the SPARK approach toSafety and Security [M]．London,UK:Addison-Wesley,2006:3-53 [53] Kaiser C,Pradat-Peyre J,vangelista S,et al．Comparing Java,C# and Ada Monitors queuing policies:a case study and its Ada refinement [J]．ACM SIGAda Ada Letters,2006,26(2):23-37 [54] Klein J．Use of Ada in Lockheed Martin for air traffic management and beyond [C]∥Proceedings of the 2006Annual ACM SIGAda International Conference on Ada．Albuquerque,New Mexico,USA,November 2006 [55] Carlisle M．Automatic OO parser generation using visitors for Ada 2005[C]∥Proceedings of the 2006Annual ACM SIGAda International Conference on Ada．Albuquerque,New Mexico,USA,November 2006 [56] Dewar R．Ada 2005& high integrity systems [C]∥Proceedings of the 2006Annual ACM SIGAda International Conference on Ada．Albuquerque,New Mexico,USA,November 2006 [57] WG9．ISO/IEC 8652:Ada Reference Manual(Ed．3)[S]．2007 [58] Burns A,Wellings A．Concurrent and Real-Time Programming in Ada 2005[M]．Cambridge,London,UK:Cambridge University Press,2007:451-453 [59] Sward R．Using Ada in a Service-Oriented Architecture [C]∥Proceedings of the 2007Annual ACM SIGAda International Conference on Ada．Fairfax,Virginia,USA,November 2007 [60] Barnes J．Ada 2005Rationale:The Language-The Standard Libraries [M]．Berlin,Germany:Springer,2008:31-237 [61] Tokar J．30years after steelman,does DoD still have a software crisis? [C]∥Proceedings of the 2008Annual ACM SIGAda International Conference on Ada．Portland,OR,USA,October 2008 [62] Brosgol B．From strawman to Ada 2005:a socio-technical retrospective [C]∥Proceedings of the 2008Annual ACM SIGAda International Conference on Ada．Portland,OR,USA,October 2008 [63] Martínez P,Drake J,Pacheco P,et al．An Ada 2005Technology for Distributed and Real-Time Component-Based Applications [C]∥Reliable Software Technologies-Ada-Europe 2008,13th Ada-Europe International Conference on Reliable Software Technologies．Venice,Italy,June 2008 [64] Sebesta R．Concepts of Programming Languages[M]．9th Inter-national Edition．Hong Kong:Pearson Education,2009 [65] Schonberg S．Ada 2012Intrim Report [C]∥Proceedings of the 2010Annual ACM SIGAda International Conference on Ada．Fairfax,Virginia,USA,October 2010 [66] Sward R．The Rise,Fall and Persistence of Ada [C]∥SIGAda’10Proceeding of the ACM SIGAda Annual International Conference on SIGAda．USA,October 2010:71-74 [67] Rosen J．Developing a Profile for Using Object-Oriented Ada in High-Integrity Systems [J]．ACM SIGAda Letters,Fairfax,Virginia,USA,2010,1(1):9-10 [68] Moore B．Parallelism Generics for Ada 2005and Beyond [C]∥SIGAda’10Proceeding of the ACM SIGAda Annual International Conference on SIGAdaUSA,October 2010:41-52 [69] Barnes J．A Brief Introduction to Ada 2012[R]．Edinburgh,UK:The GNAT Pro Company,2011 [70] Saez S,Terrasa S,Crespo A．A Real-Time Framework for Multiprocessor Platforms Using Ada 2012[C]∥Reliable Software Technologies-Ada-Europe 2011-16th Ada-Europe International Conference on Reliable Software Technologies．Edinburgh,UK,June 2011 [71] Chapman R,Jennings T．OOT,DO-178C and SPARK [C]∥Reliable Software Technologies-Ada-Europe 2011-16th Ada-Europe International Conference on Reliable Software Technologies．Edinburgh,UK,June 2011 [72] Rosen J-P．Object Orientation in Critical Systems:Yes,in Mo-deration-Position Paper for the DO178C and Object-Orientation for Critical Systems Panel [C]∥Reliable Software Technologies-Ada-Europe 2011-16th Ada-Europe International Confe-rence on Reliable Software Technologies．Edinburgh,UK,June 2011 [73] Tokar J,Jones F,Black P,et al．Software vulnerabilities precluded by spark [C]∥Proceedings of the 2011Annual ACM SIGAda International Conference on Ada．Denver,Colorado,USA,November 2011 [74] WG9．ISO/IEC 8652:2012(E)．Ada Reference Manual[M]．December 2012 [75] Schonberg E,Pucci V．Implementation of a simple dimensionality checking system in Ada 2012[C]∥Proceedings of the 2012ACM conference on High integrity language technology．New York,NY,USA,December 2012 [76] Ruiz J,Comar C,Moy Y．Source Code as the Key Artifact in Requirement-Based Development:The Case of Ada 2012[C]∥17th Ada-Europe International Conference on Reliable Software Technologies．Stockholm,Sweden,June 2012 [77] Tempelmeier T．Teaching Concepts of Programming Languages'' with Ada[C]∥17th Ada-Europe International Conference on Reliable Software Technologies．Stockholm,Sweden,June 2012 |
| No related articles found! |
|
||
Home