Вы здесь
Mannion M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Theorem Proving for Product Line Moel Verification | 2004 | Mannion M., Camara J. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 13.07.2004 | ||
| СТ | Using First-Order Logic for Product Line Model Validation | 2002 | Mannion M. | Lecture Notes in Computer Science | 30.08.2002 | |||
| СТ | Using Viewpoints to Define Domain Requirements | 1998 | Mannion M., Keepence B., Harper D. | IEEE Software | 28.01.1999 | |||
| СТ | Partnering for Reuse | 1998 | Mannion M., Keepence B. | Software Engineering Notes | 01.07.1998 |