BibSonomy :: author  ::

bookmarks

publications

(27)

• Verification of Clinical Guidelines by Model Checking.
  Beatriz Pérez and Ivan Porres CBMS 114-119 (2008)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems.
  Ivan Porres and Eladio Domínguez and Beatriz Pérez and Áurea Rodríguez and María Antonia Zapata ECBS 210-218 (2008)
  to dblp by dblp on 2008-04-30 00:00:00
  | URL | BibTeX  
• Testable Specifications of NoTA-based Modular Embedded Systems.
  Dragos Truscan and Johan Lindqvist and Johan Lilius and Ivan Porres and Timo Eriksson and Juha Rakkola and Antti Latva-Aho ECBS 375-383 (2008)
  to dblp by dblp on 2008-04-30 00:00:00
  | URL | BibTeX  
• A metamodeling language supporting subset and union properties.
  Marcus Alanen and Ivan Porres Software and System Modeling 7 103-124 (2008)
  to dblp by dblp on 2008-03-31 00:00:00
  | URL | BibTeX  
• Basic Operations over Models Containing Subset and Union Properties.
  Marcus Alanen and Ivan Porres MoDELS 469-483 (2006)
  to metamodelling thesis by markus.scheidgen and 1 other person on 2008-03-07 18:31:11
  | URL | BibTeX  
• A Relation between Context-Free Grammars and Meta Object Facility Metamodels
  Marcus Alanen and Ivan Porres (2004)
  to textualmodelling thesis by markus.scheidgen on 2008-02-19 16:31:27
  | BibTeX  
• Statechart Features and Pre-Release Defects in Software Maintenance.
  Jeanette Heidenberg and Andreas Nals and Ivan Porres VL/HCC 223-230 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• Creating and reconciling diagrams after executing model transformations.
  Marcus Alanen and Torbjörn Lundkvist and Ivan Porres Sci. Comput. Program. 68 155-178 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA.
  Ivan Porres and Eladio Domínguez and Beatriz Pérez and Áurea Rodríguez and María Antonia Zapata CAiSE Forum (2007)
  to dblp by dblp on 2007-10-31 00:00:00
  | URL | BibTeX  
• Basic Operations over Models Containing Subset and Union Properties.
  Marcus Alanen and Ivan Porres MoDELS 469-483 (2006)
  to dblp by dblp and 1 other person on 2006-12-07 00:00:00
  | URL | BibTeX