Search dblp for Publications

export results for "toc:db/conf/rise/rise2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/rise/2004,
  editor       = {Nicolas Guelfi},
  title        = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b136153},
  doi          = {10.1007/B136153},
  isbn         = {3-540-25812-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/AfsharianBAIM04,
  author       = {Sharareh Afsharian and
                  Antonia Bertolino and
                  Guglielmo De Angelis and
                  Paola Iovanna and
                  Raffaela Mirandola},
  editor       = {Nicolas Guelfi},
  title        = {A Model Based Approach to Design Applications for Network Processor},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {93--101},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_9},
  doi          = {10.1007/11423331\_9},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/AfsharianBAIM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/AlpuenteFV04,
  author       = {Mar{\'{\i}}a Alpuente and
                  Moreno Falaschi and
                  Alicia Villanueva},
  editor       = {Nicolas Guelfi},
  title        = {A Symbolic Model Checker for tccp Programs},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {45--56},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_5},
  doi          = {10.1007/11423331\_5},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/AlpuenteFV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/AtkinsonH04,
  author       = {Colin Atkinson and
                  Oliver Hummel},
  editor       = {Nicolas Guelfi},
  title        = {Towards a Methodology for Component-Driven Design},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {23--33},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_3},
  doi          = {10.1007/11423331\_3},
  timestamp    = {Sun, 17 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/AtkinsonH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/BornSKH04,
  author       = {Marc Born and
                  Ina Schieferdecker and
                  Olaf Kath and
                  Chiaki Hirai},
  editor       = {Nicolas Guelfi},
  title        = {Combining System Development and System Test in a Model-Centric Approach},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {132--143},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_13},
  doi          = {10.1007/11423331\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/BornSKH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/CampeasDUV04,
  author       = {Aur{\'{e}}lien Camp{\'{e}}as and
                  Christophe Dony and
                  Christelle Urtado and
                  Sylvain Vauttier},
  editor       = {Nicolas Guelfi},
  title        = {Distributed Exception Handling: Ideas, Lessons and Issues with Recent
                  Exception Handling Systems},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {82--92},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_8},
  doi          = {10.1007/11423331\_8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/CampeasDUV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/IsakssonLT04,
  author       = {Joakim Isaksson and
                  Johan Lilius and
                  Dragos Truscan},
  editor       = {Nicolas Guelfi},
  title        = {A MOF-Based Metamodel for {SA/RT}},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {102--111},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_10},
  doi          = {10.1007/11423331\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/IsakssonLT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/JiangCA04,
  author       = {Shanshan Jiang and
                  Cyril Carrez and
                  Finn Arve Aagesen},
  editor       = {Nicolas Guelfi},
  title        = {Automatic Translation of Service Specification to a Behavioral Type
                  Language for Dynamic Service Verification},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {34--44},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_4},
  doi          = {10.1007/11423331\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/JiangCA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/JongK04,
  author       = {H. A. de Jong and
                  A. Taeke Kooiker},
  editor       = {Nicolas Guelfi},
  title        = {My Favorite Editor Anywhere},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {122--131},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_12},
  doi          = {10.1007/11423331\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/JongK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/LucioPB04,
  author       = {Levi Lucio and
                  Luis Pedro and
                  Didier Buchs},
  editor       = {Nicolas Guelfi},
  title        = {A Methodology and a Framework for Model-Based Testing},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {57--70},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_6},
  doi          = {10.1007/11423331\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/LucioPB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/NelsonK04,
  author       = {Christopher Nelson and
                  Jung Soo Kim},
  editor       = {Nicolas Guelfi},
  title        = {Integration of Software Engineering Techniques Through the Use of
                  Architecture, Process, and People Management: An Experience Report},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_1},
  doi          = {10.1007/11423331\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/NelsonK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/OheC04,
  author       = {Heejung Ohe and
                  Byeong{-}Mo Chang},
  editor       = {Nicolas Guelfi},
  title        = {An Exception Monitoring System for Java},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {71--81},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_7},
  doi          = {10.1007/11423331\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/OheC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/RiccobeneS04,
  author       = {Elvinia Riccobene and
                  Patrizia Scandurra},
  editor       = {Nicolas Guelfi},
  title        = {Modelling SystemC Process Behavior by the {UML} Method State Machines},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {112--121},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_11},
  doi          = {10.1007/11423331\_11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/RiccobeneS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/Savidis04,
  author       = {Anthony Savidis},
  editor       = {Nicolas Guelfi},
  title        = {Supporting Virtual Interaction Objects with Polymorphic Platform Bindings
                  in a User Interface Programming Language},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {11--22},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_2},
  doi          = {10.1007/11423331\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/Savidis04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics