| 期刊全稱(chēng) | Behavioral Specifications of Businesses and Systems | | 影響因子2023 | Haim Kilov,Bernhard Rumpe,Ian Simmonds | | 視頻video | http://file.papertrans.cn/183/182894/182894.mp4 | | 學(xué)科分類(lèi) | The Springer International Series in Engineering and Computer Science | | 圖書(shū)封面 |  | | 影響因子 | .Behavioral Specifications of Businesses and Systems. dealswith the reading, writing and understanding of specifications. Thepapers presented in this book describe useful and sometimes elegantconcepts, good practices (in programming and in specifications), andsolid underlying theory that is of interest and importance to thosewho deal with increased complexity of business and systems. Mostconcepts have been successfully used in actual industrial projects,while others are from the forefront of research. Authors includepractitioners, business thinkers, academics and appliedmathematicians. These seemingly different papers address differentaspects of a single problem - taming complexity. ..Behavioral Specifications of Businesses and Systems. emphasizessimplicity and elegance in specifications without concentrating onparticular methodologies, languages or tools. It shows how to handlecomplexity, and, specifically, how to succeed in understanding andspecifying businesses and systems based upon precise and abstractconcepts. It promotes reuse of such concepts, and of constructs basedon them, without taking reuse for granted. ..Behavioral Specifications of Businesses and Systems. is thesecon | | Pindex | Book 1999 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 07:21
發(fā)表于 2025-3-21 20:02:26
