no help available
no help available
userThe blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications (29)
- browse
- operational as tag from all users
- related tags
- concepts
- 1980s ←
- 1990s ←
- 2000s ←
- to_download ←
- tags
- statecharts
- uml
- 2008
- 2007
- refinement
- 2006
- semantics
- \_pdf
- 2005
- _hardcopy
- 2004
- _to_download_springer
- model_checking
- 2003
- 2002
- _marcia
- _no_doi
- csp
- 2001
- model_transformation
- graph_transformation
- 2000
- refactoring
- tests
- alloy
- 2009
- 1999
- 1998
- \_hardcopy
- requirements
- z
- 1997
- verification
- aspects
- software_architecture
- _book
- agents
- formal
- _to_download
- 1995
- ocl
- umlrt
- operational
- b
- 1996
- transformation
- _folder_2
- tool
- bibtex-import
- writing
- No matching items.
- Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)4 years and 3 months agoby leonardo1
- Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)4 years and 3 months agoby leonardo1
- Mar\'ia V. Cengarle, and Alexander Knapp. Software and Systems Modeling V3(1):9--30 (March 2004)Mar\'ia V. Cengarle, and Alexander Knapp. Software and Systems Modeling V3(1):9--30 (March 2004)4 years and 3 months agoby leonardo1
- Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)4 years and 3 months agoby leonardo1
- John Hughes, and Cliff Jones. Automated Software Engineering 15(3-4):299--312 (December 2008)John Hughes, and Cliff Jones. Automated Software Engineering 15(3-4):299--312 (December 2008)4 years and 3 months agoby leonardo1
- Tobias Nipkow. Formal Aspects of Computing 10(2):171--186 (November 1998)Tobias Nipkow. Formal Aspects of Computing 10(2):171--186 (November 1998)4 years and 3 months agoby leonardo1
- C. H. L. Ong. Handbook of Logic in Computer Science, Vol 4, Oxford University Press, (1995)C. H. L. Ong. Handbook of Logic in Computer Science, Vol 4, Oxford University Press, (1995)4 years and 4 months agoby leonardo1
- Tobias Nipkow. Formal Aspects of Computing 10(2):171--186 (November 1998)Tobias Nipkow. Formal Aspects of Computing 10(2):171--186 (November 1998)4 years and 4 months agoby leonardo1
- Diego Latella, Istv'an Majzik, and Mieke Massink. FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)Diego Latella, Istv'an Majzik, and Mieke Massink. FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)4 years and 4 months agoby leonardo3
- Johan Lilius, and Iv'an Paltor. (1999)Johan Lilius, and Iv'an Paltor. (1999)4 years and 4 months agoby leonardo3
- Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2001)4 years and 4 months agoby leonardo2
- Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)Zhu Huibiao, Jonathan Bowen, and He Jifeng. page 177--184. (2001)4 years and 4 months agoby leonardo2
- Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2002)Zhu Huibiao, Jonathan Bowen, and He Jifeng. (2002)4 years and 4 months agoby leonardo1
- Gregor Engels, Jan Hausmann, Reiko Heckel, and Stefan Sauer. (2000)Gregor Engels, Jan Hausmann, Reiko Heckel, and Stefan Sauer. (2000)4 years and 4 months agoby leonardo2
- Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)4 years and 4 months agoby leonardo2
- Glynn Winskel. The MIT Press, (February 1993)Glynn Winskel. The MIT Press, (February 1993)4 years and 4 months agoby leonardo1
- Mar'ia V. Cengarle, and Alexander Knapp. Software and Systems Modeling V3(1):9--30 (March 2004)Mar'ia V. Cengarle, and Alexander Knapp. Software and Systems Modeling V3(1):9--30 (March 2004)4 years and 4 months agoby leonardo2