BibSonomy :: author  ::

bookmarks

publications

(818)

• Encouraging participation in virtual communities
  Joon Koh and Young-Gul Kim and Brian Butler and Gee-Woo Bock Commun. ACM 50 68--73 (2007)
  to community, contribution by brusilovsky and 5 other people on 2008-10-07 21:28:18
  | URL | BibTeX  
• A Pattern Language Verifier for Web-Based Enterprise Applications.
  Bahman Zamani and Sahar Kayhani and Greg Butler MoDELS 553-567 (2008)
  to dblp by dblp on 2008-10-01 00:00:00
  | URL | BibTeX  
• Using EventB to Create a Virtual Machine Instruction Set Architecture.
  Stephen Wright ABZ 265-279 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.
  Jörg Beckers and Daniel Klünder and Stefan Kowalewski and Bastian Schlich ABZ 112-124 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• A Roadmap for the Rodin Toolset.
  Jean-Raymond Abrial and Michael Butler and Stefan Hallerstede and Laurent Voisin ABZ 347 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).
  Margus Veanes and Ando Saabas ABZ 355 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• UML-B: A Plug-in for the Event-B Tool Set.
  Colin F. Snook and Michael Butler ABZ 344 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Exploiting the ASM Method for Validation & Verification of Embedded Systems.
  Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra ABZ 348 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.
  Egon Börger and Bernhard Thalheim ABZ 24-38 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.
  Wolfram Büttner ABZ 1-3 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX