精彩導(dǎo)讀

《軟件工程》期刊始終以反映軟件工程理論、方法和技術(shù)創(chuàng)新成果，傳播軟件知識(shí)，推廣軟件應(yīng)用為己任，期望可以為促進(jìn)中國(guó)軟件工程學(xué)科和軟件產(chǎn)業(yè)發(fā)展略盡綿薄之力。

本期重點(diǎn)推薦論文

人機(jī)對(duì)話(huà)系統(tǒng)通常只是執(zhí)行用戶(hù)的命令，很少可以主動(dòng)發(fā)起對(duì)話(huà)，或依據(jù)對(duì)話(huà)以外的內(nèi)容進(jìn)行個(gè)性化的人機(jī)交互。本期發(fā)表的論文《主動(dòng)聯(lián)想型對(duì)話(huà)機(jī)器人的設(shè)計(jì)與實(shí)現(xiàn)》提出了聯(lián)想型對(duì)話(huà)機(jī)器人的概念和對(duì)應(yīng)的設(shè)計(jì)方案，以及設(shè)計(jì)所需要的關(guān)鍵技術(shù)和方法。以在線(xiàn)教育系統(tǒng)為例，基于有限狀態(tài)機(jī)構(gòu)建了主動(dòng)聯(lián)想型對(duì)話(huà)機(jī)器人算法模型和聯(lián)想式對(duì)話(huà)生成策略。以用戶(hù)使用產(chǎn)品為背景，使機(jī)器人可以聯(lián)想用戶(hù)的歷史行為，通過(guò)融合用戶(hù)提問(wèn)和個(gè)人特征的方式生成對(duì)話(huà)內(nèi)容。對(duì)話(huà)系統(tǒng)不但可以主動(dòng)發(fā)出對(duì)話(huà)邀請(qǐng)，而且可以個(gè)性化地回答用戶(hù)提問(wèn)，很好地提升了人機(jī)對(duì)話(huà)的滿(mǎn)意度。

優(yōu)秀期刊及其論文推薦

IEEE Transactions on Software Engineering，簡(jiǎn)稱(chēng)TSE，中文譯為《IEEE軟件工程學(xué)報(bào)》，網(wǎng)址為https：//www.computer.org/csdl/journal/ts，1975年創(chuàng)刊（月刊），由IEEE COMPUTER SOCIETY出版，其2019年的影響因子為6.112，排在計(jì)算機(jī)科學(xué)軟件工程領(lǐng)域前列，并被收入《科學(xué)引文索引擴(kuò)展版》（SCIE）。

《IEEE軟件工程學(xué)報(bào)》關(guān)注定義明確的理論結(jié)果和經(jīng)驗(yàn)研究，以及這些結(jié)果和研究對(duì)軟件構(gòu)建、分析或管理的潛在影響，范圍從制定原則的機(jī)制到將這些原則應(yīng)用于特定的環(huán)境，對(duì)軟件工程研究或?qū)嵺`者都是很有價(jià)值的。

《IEEE軟件工程學(xué)報(bào)》重點(diǎn)主題包括開(kāi)發(fā)和維護(hù)方法及模型、評(píng)估方法、軟件項(xiàng)目管理、工具和環(huán)境、系統(tǒng)問(wèn)題等。它涵蓋了軟件系統(tǒng)的規(guī)范、設(shè)計(jì)和實(shí)現(xiàn)的技術(shù)與原則，包括符號(hào)和過(guò)程模型，軟件測(cè)試和驗(yàn)證、可靠性模型，生產(chǎn)率因素、成本模型，特定工具、集成工具環(huán)境，硬件和軟件權(quán)衡，等等。

2021年第47卷01期“Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers”一文討論的是擴(kuò)展?fàn)顟B(tài)機(jī)的符號(hào)優(yōu)化和應(yīng)用。它提出了一種程序，以符號(hào)化的方式修剪給定的擴(kuò)展?fàn)顟B(tài)機(jī)，使其達(dá)到某些用戶(hù)定義的一般目標(biāo)，以及其他特定目標(biāo)的最大子機(jī)，且永遠(yuǎn)不會(huì)達(dá)到失敗狀態(tài)。這個(gè)過(guò)程消除了修剪過(guò)程中可能產(chǎn)生的所有不良死鎖。文中還提供了一些應(yīng)用示例，演示了所建議過(guò)程的多個(gè)方面，包括其有用性和局限性。值得一提的是，文中提出的修剪過(guò)程也適用于修剪不確定的擴(kuò)展?fàn)顟B(tài)機(jī)。文章的另一個(gè)亮點(diǎn)是修剪算法在離散事件系統(tǒng)和子模塊構(gòu)造控制中的應(yīng)用，展示了如何將有限狀態(tài)機(jī)的通用子模塊構(gòu)造算法調(diào)整為擴(kuò)展?fàn)顟B(tài)機(jī)模型。除了某些一般的用戶(hù)定義目標(biāo)外，還考慮了某些傳統(tǒng)上被認(rèn)為是特定的控制目標(biāo)。

《軟件工程》期刊會(huì)持續(xù)為廣大讀者提供軟件工程領(lǐng)域方面的最新學(xué)術(shù)訊息，歡迎大家繼續(xù)支持我刊，我們共同關(guān)注軟件工程領(lǐng)域的發(fā)展動(dòng)向，努力做好學(xué)術(shù)研究和交流工作。