Mark A. J. Song

◀ ▶ joint publications with Sérgio Vale Aguiar Campos

> Home > Persons > Mark A. J. Song

Publications

2007
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/BarrosCSZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/BarrosCSZ07
Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate:
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538
2005
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SongPCZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SongPCZ05
Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate:
Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/webist/SongPC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/SongPC05
Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos:
Formal Verification of Transactional Systems. WEBIST 2005: 194-197
2003
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SongPLGCM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SongPLGCM03
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.:
Extending UML to Specify and Verify E-commerce Systems. SEKE 2003: 306-313
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/serp/SongPLGCM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/SongPLGCM03
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.:
A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice 2003: 419-425
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PereiraSGMC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PereiraSGMC02
Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos:
A Formal Methodology to Specify E-commerce Systems. ICFEM 2002: 180-191

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.