Вы здесь
Cheng B.H. C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Requirements Patterns-Driven Approach to Specify Systems and Check Properties | 2003 | Konrad S., Campbell L. A., Cheng B.H. C., Deng M. | Lecture Notes in Computer Science | 29.05.2003 | |||
| СТ | A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations | 1994 | Sharnowski J. L., Cheng B.H. C. | Lecture Notes in Computer Science | 25.08.1994 | |||
| СТ | A Two-Phase Approach to Reverse Engineering Using Formal Methods | 1993 | Gannod G. C., Cheng B.H. C. | Lecture Notes in Computer Science | 20.11.1993 | |||
| СТ | Using Formal Methods to Construct a Software Component Library | 1993 | Jeng J. -J., Cheng B.H. C. | Lecture Notes in Computer Science | 21.10.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Globalizing Domain-Specific Languages: Revised Papers/International Fagstuhl Seminar, Dagstuhl Castle, Germany, October 2014 | 2015 | Lecture Notes in Computer Science |
|
12.01.2016 | |||
| СБ | Models@run.time: Foundations, Applications, and Roadmaps | 2014 | Lecture Notes in Computer Science |
|
29.08.2014 | |||
| СБ | Software Engineering for Self-Adaptive Systems | 2009 | Lecture Notes in Computer Science |
|
26.02.2010 |