| 書目名稱 | From Software Engineering to Formal Methods and Tools, and Back | | 副標題 | Essays Dedicated to | | 編輯 | Maurice H. ter Beek,Alessandro Fantechi,Laura Semi | | 視頻video | http://file.papertrans.cn/349/348942/348942.mp4 | | 概述 | Written by well-known experts.High quality selected papers.Honorary volume dedicated to Stefania Gnesi on the occasion of Her 65th birthday | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | .This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,.The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania‘s legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania‘s life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.. | | 出版日期 | Book 2019 | | 關鍵詞 | artificial intelligence; computer architecture; formal logic; formal methods; formal model; formal verifi | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-30985-5 | | isbn_softcover | 978-3-030-30984-8 | | isbn_ebook | 978-3-030-30985-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer Nature Switzerland AG 2019 |
The information of publication is updating
書目名稱From Software Engineering to Formal Methods and Tools, and Back影響因子(影響力)
書目名稱From Software Engineering to Formal Methods and Tools, and Back影響因子(影響力)學科排名
書目名稱From Software Engineering to Formal Methods and Tools, and Back網(wǎng)絡公開度
書目名稱From Software Engineering to Formal Methods and Tools, and Back網(wǎng)絡公開度學科排名
書目名稱From Software Engineering to Formal Methods and Tools, and Back被引頻次
書目名稱From Software Engineering to Formal Methods and Tools, and Back被引頻次學科排名
書目名稱From Software Engineering to Formal Methods and Tools, and Back年度引用
書目名稱From Software Engineering to Formal Methods and Tools, and Back年度引用學科排名
書目名稱From Software Engineering to Formal Methods and Tools, and Back讀者反饋
書目名稱From Software Engineering to Formal Methods and Tools, and Back讀者反饋學科排名
|
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 21:17
發(fā)表于 2025-3-21 18:55:20
