| 書目名稱 | Language Constructs for Describing Features | | 副標(biāo)題 | Proceedings of the F | | 編輯 | Stephen Gilmore,Mark Ryan | | 視頻video | http://file.papertrans.cn/581/580902/580902.mp4 | | 圖書封面 |  | | 描述 | A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics. | | 出版日期 | Conference proceedings 2001 | | 關(guān)鍵詞 | Feature Interaction; Formal Description Techniques; Pascal; Software Engineering; Turing; algorithms; comm | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-0287-8 | | isbn_softcover | 978-1-85233-392-8 | | isbn_ebook | 978-1-4471-0287-8 | | copyright | Springer-Verlag London 2001 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 12:28
發(fā)表于 2025-3-21 16:30:18
