Page 299 - 《软件学报》2026年第3期

1262 软件学报 2026 年第 37 卷第 3 期

Language and Automata Theory and Applications. Tarragona: Springer, 2009. 152–163. [doi: 10.1007/978-3-642-00982-2_13]
[72] Bhaduri P, Stierand I. A proposal for real-time interfaces in speeds. In: Proc. of the 2010 Design, Automation & Test in Europe Conf. &
Exhibition. Dresden: IEEE, 2010. 441–446. [doi: 10.1109/DATE.2010.5457163]
[73] Stierand I, Reinkemeier P, Gezgin T, Bhaduri P. Real-time scheduling interfaces and contracts for the design of distributed embedded
systems. In: Proc. of the 8th IEEE Int’l Symp. on Industrial Embedded Systems. Porto: IEEE, 2013. 130–139. [doi: 10.1109/SIES.2013.
6601485]
[74] Anand M, Fischmeister S, Lee I. A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.
ACM Trans. on Embedded Computing Systems, 2013, 13(1): 2. [doi: 10.1145/2501626.2501629]
[75] Phan LTX, Lee J, Easwaran A, Ramaswamy V, Chen SJ, Lee I, Sokolsky O. CARTS: A tool for compositional analysis of real-time
systems. ACM SIGBED Review, 2011, 8(1): 62–63. [doi: 10.1145/1967021.1967029]
[76] Easwaran A, Lee I, Sokolsky O, Vestal S. A compositional scheduling framework for digital avionics systems. In: Proc. of the 15th
IEEE Int’l Conf. on Embedded and Real-time Computing Systems and Applications. Beijing: IEEE, 2009. 371–380. [doi: 10.1109/
RTCSA.2009.46]
[77] Reinkemeier P, Stierand I. Real-time contracts —A contract theory considering resource supplies and demands. Technical Report,
SFB/TR 14 AVACS, Automatic Verification And Analysis of Complex Systems, 2014.
[78] Delahaye B. Modular specification and compositional analysis of stochastic systems [Ph.D. Thesis]. Rennes: Université Rennes, 2010.
[79] Delahaye B, Caillaud B, Legay A. Probabilistic contracts: A compositional reasoning methodology for the design of stochastic systems.
In: Proc. of the 10th Int’l Conf. on Application of Concurrency to System Design. Braga: IEEE, 2010. 223–232. [doi: 10.1109/ACSD.
2010.13]
[80] Caillaud B, Delahaye B, Larsen KG, Legay A, Pedersen ML, Wasowski A. Compositional design methodology with constraint Markov
chains. In: Proc. of the 7th Int’l Conf. on the Quantitative Evaluation of Systems. Williamsburg: IEEE, 2010. 123–132. [doi: 10.1109/
QEST.2010.23]
[81] Lu RQ, Jin Z. From knowledge based software engineering to knowware based software engineering. Scientia Sinica (Series E):
Information Sciences, 2008, 38(6): 843–863 (in Chinese with English abstract). [doi: 10.1360/zf2008-38-6-843]
[82] Lu RQ. From hardware to software to knowware: IT’s third liberation? IEEE Intelligent Systems, 2005, 20(2): 82–85. [doi: 10.1109/
MIS.2005.27]
[83] State Administration for Market Regulation, National Standardization Administration. GB/T 36455-2018 Software component model.
Beijing: Standards Press of China, 2018 (in Chinese).
[84] Crnkovic I, Sentilles S, Vulgarakis A, Chaudron MRV. A classification framework for software component models. IEEE Trans. on
Software Engineering, 2011, 37(5): 593–615. [doi: 10.1109/TSE.2010.83]
[85] Xu X, Wang SL, Zhan BH, Jin XY, Talpin JP, Zhan NJ. Unified graphical co-modeling, analysis and verification of cyber-physical
systems by combining AADL and Simulink/Stateflow. Theoretical Computer Science, 2022, 903: 1–25. [doi: 10.1016/j.tcs.2021.11.008]
[86] He JF. From CSP to hybrid systems. In: Roscoe AW, ed. A Classical Mind: Essays in Honour of C. A. R. Hoare. New York: Prentice
Hall Int’l (UK) Ltd., 1994. 171–189.
[87] Sheng HH, Bentkamp A, Zhan BH. HHLPy: Practical verification of hybrid systems using Hoare logic. In: Proc. of the 25th Int’l Symp.
on Formal Methods. Lübeck: Springer, 2023. 160–178. [doi: 10.1007/978-3-031-27481-7_11]
[88] Cosler M, Hahn C, Mendoza D, Schmitt F, Trippel C. nl2spec: Interactively translating unstructured natural language to temporal logics
with large language models. In: Proc. of the 35th Int’l Conf. on Computer Aided Verification. Paris: Springer, 2023. 383–396. [doi: 10.
1007/978-3-031-37703-7_18]
[89] Churchill BR, Padon O, Sharma R, Aiken A. Semantic program alignment for equivalence checking. In: Proc. of the 40th ACM
SIGPLAN Conf. on Programming Language Design and Implementation. Phoenix: ACM, 2019. 1027–1040. [doi: 10.1145/3314221.
3314596]
[90] Jain N, Vaidyanath S, Iyer A, Natarajan N, Parthasarathy S, Rajamani S, Sharma R. Jigsaw: Large language models meet program
synthesis. In: Proc. of the 44th IEEE/ACM Int’l Conf. on Software Engineering. Pittsburgh: IEEE, 2022. 1219–1231. [doi: 10.1145/
3510003.3510203]
[91] Li YJ, Choi D, Chung J, et. al. Competition-level code generation with AlphaCode. Science, 2022, 378(6624): 1092–1097. [doi: 10.1126/
science.abq1158]
[92] Ross SI, Martinez F, Houde S, Muller MJ, Weisz JD. The programmer’s assistant: Conversational interaction with a large language
model for software development. In: Proc. of the 28th Int’l Conf. on Intelligent User Interfaces. Sydney: ACM, 2023. 491–514. [doi: 10.
1145/3581641.3584037]
[93] Perry N, Srivastava M, Kumar D, Boneh D. Do users write more insecure code with AI assistants? In: Proc. of the 2023 ACM SIGSAC
Conf. on Computer and Communications Security. Copenhagen: ACM, 2023. 2785–2799. [doi: 10.1145/3576915.3623157]