BibSonomyburst/user/phbaer/softwareBibSonomy RSS feed for /user/phbaer/software2012-02-16T09:26:12+01:00http://www.bibsonomy.org/bibtex/2085e69455f7b5c3c9d6903554327e8b7/phbaerphbaer2008-07-25T11:53:36+02:00carpe development geminga noctem phbaer-diss phbaer-pub phbaer-spica-pubyear:2008 robocup robot software spica <span class="authorEditorList"><a href="/author/Baer">Philipp A. Baer</a>, <a href="/author/Reichle">Roland Reichle</a>, and <a href="/author/Geihs">Kurt Geihs</a> </span><em>IAS-10, </em><em>page 211--220. </em><em>IAS Society, </em><em>Proceedings of the 10th International Conference on Intelligent Autonomous Systems, </em>(<em>2008</em>)Fri Jul 25 11:53:36 CEST 2008IAS-10burgard08ias211--220{The Spica Development Framework -- Model-Driven Software Development for Autonomous Mobile Robots}2008carpe development geminga noctem phbaer-diss phbaer-pub phbaer-spica-pubyear:2008 robocup robot software spica http://www.bibsonomy.org/bibtex/233d515d640509ff01639ef0d2b264657/phbaerphbaer2008-07-21T11:36:44+02:00control open orocos robot software <span class="authorEditorList"><a href="/author/Bruyninckx">Herman Bruyninckx</a> </span><em>ICRA, </em><em>page 2523-2528. </em><em>IEEE, </em>(<em>2001</em>)Mon Jul 21 11:36:44 CEST 2008ICRAconf/icra/20012523-2528Open Robot Control Software: the OROCOS project.2001control open orocos robot software dblphttp://www.bibsonomy.org/bibtex/20194bcfa92f21ac8ea1a6eae482d5cb2/phbaerphbaer2008-07-01T11:20:58+02:00drawback driven evolution harmfull model software <span class="authorEditorList"><a href="/author/Sneed">Harry Sneed</a> </span><em>Workshop on Model-Driven Software Evolution at CSMR, </em><em>Amsterdam, </em>(<em>March 2007</em>)Tue Jul 01 11:20:58 CEST 2008AmsterdamWorkshop on Model-Driven Software Evolution at CSMRMarchThe Drawbacks of Model-Driven Software Evolution2007drawback driven evolution harmfull model software This short paper is an essay on the drawbacks of model driven software evolution which apply equally well to model driven software development. The idea of automatically generating code changes from a UML type model is equally enticing as that of automatically generating whole components from such a model. The drawback is that there is then nothing to test against, since there is only one description of the system, the model. This violates the principles of software verification and validation, according to which correctness can only be demonstrated by comparing two independent descriptions of the same solution. For this reason, the author proposes another interpretation of model driven evolution, one in which the requirements model serves as a basis for propagating changes to both the code and the test, along two independent paths. The UML type system design could then be generated from the code and not [vice] versahttp://www.bibsonomy.org/bibtex/221018e3a17339a135e70a28855dcbd7f/phbaerphbaer2008-06-01T13:36:04+02:00developent heterogeneity imported phbaer-diss phbaer-pub phbaer-spica-pub robot robotic software spica year:2007 <span class="authorEditorList"><a href="/author/Baer">Philipp A. Baer</a>, <a href="/author/Reichle">Roland Reichle</a>, <a href="/author/Zapf">Michael Zapf</a>, <a href="/author/Weise">Thomas Weise</a>, and <a href="/author/Geihs">Kurt Geihs</a> </span><em>Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, </em><em>page 43--52. </em><em>IEEE, </em><em>IEEE, </em>(<em>March 2007</em>)Sun Jun 01 13:36:04 CEST 2008Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous SystemsMarch43--52A Generative Approach to the Development of Autonomous Robot Software2007developent heterogeneity imported phbaer-diss phbaer-pub phbaer-spica-pub robot robotic software spica year:2007