Contract-Based Programming for Future Computing with Ada 2012
作者： Bo Wang , Hongbiao Gao , Jingde Cheng
DOI: 10.1109/CBD.2016.062
关键词:
摘要: Future advanced software engineering encounters some new quality evaluation criteria and related challenges on security as well reliability of systems. As the next generation world's premier programming language for safe, secure reliable software, latest version Ada, Ada 2012, has introduced concept contract-based into its international standard. We should utilize with 2012 to solve in future engineering. On other hand, since Contract-Based Programming (CBP) can strictly limit assure correctness programs, we usually use precondition, postcondition subprograms ensure satisfy requirements parameters passing and/or returned values between two components. In many cases, also contracts types building objects, such type invariant, static predicate, dynamic predicate. These conditions improve therefore, CBP challenges. Although is important engineering, there no report about how software. Therefore, this paper investigates may from seven areas, security, continuity, reactive-ability, predictability, anticipatable-ability, self-healing-ability, autonomous-evolution-ability.
computer.org
sci-hub.se 参考文章(13)
Jingde Cheng, New Challenges in Future Software Engineering Springer, Berlin, Heidelberg. pp. 31- 36 ,(2014) , 10.1007/978-3-642-55038-6_5
Jingde Cheng, Shinsuke Nara, Yuichi Goto, FreeEnCal: A Forward Reasoning Engine with General-Purpose international conference on knowledge-based and intelligent information and engineering systems. pp. 444- 452 ,(2007) , 10.1007/978-3-540-74827-4_56
Daniel M. Dubois, Mathematical Foundations of Discrete and Functional Systems with Strong and Weak Anticipations Lecture Notes in Computer Science. pp. 110- 132 ,(2003) , 10.1007/978-3-540-45002-3_7
Jingde Cheng, Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning-Reacting Systems AIP Conference Proceedings. ,vol. 718, pp. 362- 375 ,(2004) , 10.1063/1.1787339
A. G. Ganek, T. A. Corbi, The dawning of the autonomic computing era Ibm Systems Journal. ,vol. 42, pp. 5- 18 ,(2003) , 10.1147/SJ.421.0005
J.O. Kephart, D.M. Chess, The vision of autonomic computing IEEE Computer. ,vol. 36, pp. 41- 50 ,(2003) , 10.1109/MC.2003.1160055
Kai Shi, Bo Wang, Yuichi Goto, Zhiliang Zhu, Jingde Cheng, An anticipatory reasoning-reacting system for defending against malice anticipatorily international conference on software engineering. pp. 732- 737 ,(2013) , 10.1109/ICSESS.2013.6615410
Jingde Cheng, Connecting components with soft system buses: a new methodology for design, development, and maintenance of reconfigurable, ubiquitous, and persistent reactive systems advanced information networking and applications. ,vol. 1, pp. 667- 672 ,(2005) , 10.1109/AINA.2005.139
Jingde Cheng, Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic international conference hybrid intelligent systems. pp. 410- 416 ,(2008) , 10.1109/HIS.2008.118
Jingde Cheng, Comparing Persistent Computing with Autonomic Computing international conference on parallel and distributed systems. ,vol. 2, pp. 428- 432 ,(2005) , 10.1109/ICPADS.2005.110