Вы здесь
Paige R. F.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | The Design of a Tool-Supported Graphical Notation for Timed CSP | 2002 | Brooke P. J., Paige R. F. | Lecture Notes in Computer Science | 21.06.2002 | |||
СТ | Metamodeling and Conformance Checking with PVS | 2001 | Paige R. F., Ostroff J. S. | Lecture Notes in Computer Science | 05.05.2001 | |||
СТ | A Comparison of the Business Object Notation and the Unified Modeling Language | 1999 | Paige R. F., Ostroff J. S. | Lecture Notes in Computer Science | 05.11.1999 | |||
СТ | Bunches for Object-Oriented, Concurrent, and Real-Time Specification | 1999 | Paige R. F., Hehner E.C. R. | Lecture Notes in Computer Science | 30.10.1999 | |||
СТ | Integrating a Program Design Calculus and a Subset of UML | 1999 | Paige R. F. | The Computer Journal | 20.08.1999 | |||
СТ | Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space | 1998 | Paige R. F. | Lecture Notes in Computer Science | 08.12.1998 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Software Language Engineering: Proc./6th International Conference, SLE 2013, Indianapolis,IN,USA, October 2013 | 2013 | Lecture Notes in Computer Science |
|
18.11.2013 | |||
СБ | Modelling Foundations and Applications: Proc./7th European Conference, ECMFA 2011, Birmingham, UK, June 2011 | 2011 | Lecture Notes in Computer Science |
|
30.08.2011 | |||
СБ | Model Driven Architecture Foundations and Applications: Proc./5th European Conference, ECMDA-FA 2009. Enschede, The Netherlands, June 2009 | 2009 | Lecture Notes in Computer Science |
|
24.07.2009 | |||
СБ | Model Driveb Architecture - Foundations and Applications: Proc./Third International Conference, ECMDA-FA 2007. Haifa, Israel, June 2007 | 2007 | Lecture Notes in Computer Science |
|
26.06.2007 |