BibSonomy :: author  ::

bookmarks

publications

(1131)

• An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
  Leila Jemni Ben Ayed and Fatma Siala MSVVEIS 190-198 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows.
  Oana Otilia Prisecaru MSVVEIS 29-38 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• An Approach to Simulate Enterprise Resource Planning Systems.
  André Bögelsack and Holger Jehle and Holger Wittges and Jörg Schmidl and Helmut Krcmar MSVVEIS 160-169 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• An Aspect for Design by Contract in Java.
  Sérgio Agostinho and Pedro Guerreiro and Hugo Taborda MSVVEIS 119-128 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Approaches to an All-encompassing Formal Semantics for the UML.
  María Victoria Cengarle MSVVEIS 3-4 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.
  Kenro Yatake and Takuya Katayama MSVVEIS 71-80 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
  George Eleftherakis and Ognen Paunovski MSVVEIS 180-189 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• A Case Study in Integrated Quality Assurance for Performance Management Systems.
  Liam Peyton and Bo Zhan and Bernard Stepien MSVVEIS 129-138 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP.
  Amelia Badica and Costin Badica MSVVEIS 9-18 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Active Database System Realized by a Petri Net Approach.
  Lorena Chavarría-Báez and Xiaoou Li MSVVEIS 150-159 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX