| 期刊全稱 | 6th Refinement Workshop | | 期刊簡稱 | Proceedings of the 6 | | 影響因子2023 | David Till | | 視頻video | http://file.papertrans.cn/102/101076/101076.mp4 | | 學(xué)科分類 | Workshops in Computing | | 圖書封面 |  | | 影響因子 | The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists | | Pindex | Conference proceedings 1994 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 05:41
發(fā)表于 2025-3-21 16:42:33
