| 期刊全称 | Behavioral Specifications of Businesses and Systems | | 影响因子2023 | Haim Kilov,Bernhard Rumpe,Ian Simmonds | | 视频video | | | 学科分类 | The Springer International Series in Engineering and Computer Science | | 图书封面 |  | | 影响因子 | .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
|
|
发表于 2025-3-21 20:02:26
