BibSonomy :: author  ::

bookmarks

publications

(182)

• Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks.
  Paulo Sérgio Sausen and Pedro Fernandes Ribeiro Neto and Angelo Perkusich and Antonio Marcus Nogueira de Lima and Maria Ligia B. Perkusich and Fabiano Salvadori MSVVEIS 49-57 (2005)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• 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