Search dblp for Publications

export results for "toc:db/conf/vveis/msvveis2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vveis/AlarconPYM10,
  author       = {Pedro Pablo Alarc{\'{o}}n and
                  Jennifer P{\'{e}}rez and
                  Agust{\'{\i}}n Yag{\"{u}}e and
                  David Musat},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Definition of Domain Specific Operation Languages Following {MDD}},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {5--15},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 12:14:12 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/AlarconPYM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/BalzG10,
  author       = {Moritz Balz and
                  Michael Goedicke},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Towards Domain-specific Modeling for Java Enterprise Applications},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {30--39},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/BalzG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Huchard10,
  author       = {Marianne Huchard},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {On Some Complementary Trends in Model Transformation Generation},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {3},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/Huchard10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MendozaCP10,
  author       = {Luis Eduardo Mendoza and
                  Manuel I. Capel and
                  Mar{\'{\i}}a A. P{\'{e}}rez},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Compositional Verification of Business Processes by Model-Checking},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {60--69},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/MendozaCP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MohammedF10,
  author       = {Ammar Mohammed and
                  Ulrich Furbach},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Extending {CTL} to Specify Quantitative Temporal Requirements},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {70--79},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/MohammedF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Prisecaru10,
  author       = {Oana Otilia Prisecaru},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {The Analysis of Resource Constrained Workflows using Petri Nets},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {50--59},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/Prisecaru10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/ScafesB10,
  author       = {Mihnea Scafes and
                  Costin Badica},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Framework for Performance Evaluation of Service Negotiations in Agent
                  Systems},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {19--29},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/ScafesB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/TabatabaiePP10,
  author       = {Malihe Tabatabaie and
                  Fiona A. C. Polack and
                  Richard F. Paige},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {KAOS-{\(\beta\)}: {A} Goal-oriented Process Model for {EIS}},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  pages        = {40--49},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/TabatabaiePP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vveis/2010,
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 8th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
                  Madeira, Portugal, June 2010},
  publisher    = {SciTePress},
  year         = {2010},
  isbn         = {978-989-8425-12-6},
  timestamp    = {Tue, 04 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.