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 (420)
- 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
- software_architecture
- aspects
- _book
- agents
- formal
- _to_download
- 1995
- ocl
- operational
- b
- umlrt
- _folder_2
- 1996
- transformation
- tool
- bibtex-import
- writing
- No matching items.
- Jan H. Hausmann, and Stuart Kent. SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization, page 169--178. New York, NY, USA, ACM Press, (2003)Jan H. Hausmann, and Stuart Kent. SoftVis '03: Proceedings of the 2003 ACM symposium on Software visualization, page 169--178. New York, NY, USA, ACM Press, (2003)4 years and 3 months agoby leonardo1
- Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Information and Software Technology 46(5):287--292 (April 2004)Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Information and Software Technology 46(5):287--292 (April 2004)4 years and 3 months agoby leonardo1
- Vitus S. W. Lam, and J. Padget. page 137--144. (2003)Vitus S. W. Lam, and J. Padget. page 137--144. (2003)4 years and 3 months agoby leonardo1
- Ninh T. Truong, and Jeanine Souquières. SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, page 1546--1552. New York, NY, USA, ACM Press, (2005)Ninh T. Truong, and Jeanine Souquières. SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, page 1546--1552. New York, NY, USA, ACM Press, (2005)4 years and 3 months agoby leonardo1
- 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
- David Miranda, Marcela Genero, and Mario Piattini. page 101--108. (2005)David Miranda, Marcela Genero, and Mario Piattini. page 101--108. (2005)4 years and 3 months agoby leonardo1
- José, Marcela Genero, Esperanza M. Manso, and Mario Piattini. (2005)José, Marcela Genero, Esperanza M. Manso, and Mario Piattini. (2005)4 years and 3 months agoby leonardo1
- Jim Davies, and Charles Crichton. Formal Aspects of Computing V15(2):118--145 (November 2003)Jim Davies, and Charles Crichton. Formal Aspects of Computing V15(2):118--145 (November 2003)4 years and 3 months agoby leonardo1
- Christian Bunse. Empirical Software Engineering 11(2):227--267 (June 2006)Christian Bunse. Empirical Software Engineering 11(2):227--267 (June 2006)4 years and 3 months agoby leonardo1
- Franck Chauvel, and Jean M. Jézéquel. (2005)Franck Chauvel, and Jean M. Jézéquel. (2005)4 years and 3 months agoby leonardo1
- Elvinia Riccobene, and Patrizia Scandurra. (2005)Elvinia Riccobene, and Patrizia Scandurra. (2005)4 years and 3 months agoby leonardo1
- David Akehurst, Gareth Howells, and Klaus M. Maier. Software and Systems Modeling 6(1):3--35 (March 2007)David Akehurst, Gareth Howells, and Klaus M. Maier. Software and Systems Modeling 6(1):3--35 (March 2007)4 years and 3 months agoby leonardo1
- E. Benowitz, K. Clark, and G. Watney. page 413--417. (2006)E. Benowitz, K. Clark, and G. Watney. page 413--417. (2006)4 years and 3 months agoby leonardo1
- Alexander Egyed. ICSE '06: Proceeding of the 28th international conference on Software engineering, page 381--390. New York, NY, USA, ACM Press, (2006)Alexander Egyed. ICSE '06: Proceeding of the 28th international conference on Software engineering, page 381--390. New York, NY, USA, ACM Press, (2006)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
- Mar\'ia V. Cengarle, and Alexander Knapp. 3rd Intl. Workshop on Critical Systems Development with UML CSDUML '04, Proceedings., page 85--99. Technische Universität München, (2004)Mar\'ia V. Cengarle, and Alexander Knapp. 3rd Intl. Workshop on Critical Systems Development with UML CSDUML '04, Proceedings., page 85--99. Technische Universität München, (2004)4 years and 3 months agoby leonardo1
- Michelle L. Crane, and Jürgen Dingel. Software and Systems Modeling 6(4):415--435 (December 2007)Michelle L. Crane, and Jürgen Dingel. Software and Systems Modeling 6(4):415--435 (December 2007)4 years and 3 months agoby leonardo1
- Friedrich Steimann, and Heribert Vollmer. Software and Systems Modeling V5(1):26--47 (April 2006)Friedrich Steimann, and Heribert Vollmer. Software and Systems Modeling V5(1):26--47 (April 2006)4 years and 3 months agoby leonardo1