BibSonomy :: author  ::

bookmarks

publications

(167)

• Proceedings of the 12th International Workshop on Abstract Data Types (WADT'97)
  Francesco Parisi-Presicce (eds.). (1998)
  to diss by acbullinger and 1 other person on 2008-12-01 17:41:36
  | BibTeX  
• On Combing Semi-Formal and Formal Object Specification Techniques
  Martin Gogolla and Mark Richters Proceedings of the 12th International Workshop on Abstract Data Types (WADT'97) 238-252 (1998)
  to diss by acbullinger and 1 other person on 2008-12-01 17:41:36
  | BibTeX  
• Termination of Algebraic Rewriting with Inhibitors.
  Paolo Bottoni and Kathrin Hoffmann and Francesco Parisi-Presicce ECEASST 4 (2006)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Coordinated Distributed Diagram Transformation for Software Evolution
  Paolo Bottoni and Francesco Parisi-Presicce and Gabriele Taentzer (2002)
  to imported by pdeleenh and 3 other people on 2008-07-07 16:45:32
  | BibTeX  
• Specifying Integrated Refactoring with Distributed Graph Transformations
  Paolo Bottoni and Francesco {Parisi Presicce} and Gabriele Taentzer 220-235 (2003)
  to imported by pdeleenh and 3 other people on 2008-07-07 16:45:32
  | BibTeX  
• Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
  Paolo Bottoni and Francesco Parisi-Presicce and Simone Pulcini and Gabriele Taentzer Electr. Notes Theor. Comput. Sci. 211 87-98 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Risky trust: risk-based analysis of software systems.
  Zaid Dwaikat and Francesco Parisi-Presicce ACM SIGSOFT Software Engineering Notes 30 1-7 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Special section: International Conference on Graph Transformation ICGT 2004.
  Francesco Parisi-Presicce Software and System Modeling 6 267-268 (2007)
  to dblp by dblp on 2008-03-31 00:00:00
  | URL | BibTeX  
• UML specification of access control policies and their formal verification.
  Manuel Koch and Francesco Parisi-Presicce Software and System Modeling 5 429-447 (2006)
  to dblp by dblp on 2008-03-13 00:00:00
  | URL | BibTeX  
• Coordinated Distributed Diagram Transformation for Software Evolution
  Paolo Bottoni and Francesco Parisi-Presicce and Gabriele Taentzer Electronic Notes in Theoretical Computer Science 72 (2002)
  to imported by kimmens and 3 other people on 2007-09-26 12:09:12
  | BibTeX