web-archive-it.com » IT » C » CNR.IT

Total: 89

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Program: Turorials
    Day 3 Program Posters Session Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Program Tutorials Day Monday September 13th www

    Original URL path: http://www.sefm2010.isti.cnr.it/program_tutorials.php (2015-08-19)
    Open archived version from archive


  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Program: Day 1
    Day 3 Program Posters Session Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Program Day 1 Tuesday September 14th www

    Original URL path: http://www.sefm2010.isti.cnr.it/program_day1.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Program: Day 2
    Day 3 Program Posters Session Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Program Day 2 Wednesday September 15th www

    Original URL path: http://www.sefm2010.isti.cnr.it/program_day2.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Program: Day 3
    Day 3 Program Posters Session Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Program Day 3 Thursday September 16th www

    Original URL path: http://www.sefm2010.isti.cnr.it/program_day3.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Program: Posters and Tool Demo Session
    2 Program Day 3 Program Posters Session Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Program Posters and Tool Demo Session Posters and Tool Demo Sessions will take place all days from Tuesday September 14th to Friday September 16th during coffee and lunch breaks in Room 28 www sefm2010 isti

    Original URL path: http://www.sefm2010.isti.cnr.it/program_posters.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Program: Day 3
    2 Program Day 3 Program Posters Session Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Program Workshops www sefm2010 isti

    Original URL path: http://www.sefm2010.isti.cnr.it/program_workshops.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Conference Banquet
    Program Workshops Social Event Conference Banquet Keynote Speakers Tutorials Workshops Registration Conference Venue Sponsors Downloads Extras News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Conference Banquet Wednesday September 15th The conference Banquet will take place at Le Arcate Restaurant http www villaposchi it After the guided tour of the city of Lucca we will get by bus to the Le Arcate Restaurant http www villaposchi it

    Original URL path: http://www.sefm2010.isti.cnr.it/program_banquet.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Keynote by Carlo Ghezzi
    control of the application In many cases changes cannot be handled off line but require the software to self react by adapting its behavior dynamically to continue to ensure the desired quality of service The big challenge in front of us is how to achieve the necessary degrees of flexibility and dynamism required by software applications without compromising the needed dependability The talk focuses on quantitative probabilistic requirements It discusses how the initial design of an application may proceed through a model driven process towards an implementation that satisfies requirements Design time parameters characterizing the environment are intrinsically subject to uncertainty both because predictions are intrinsically inaccurate and because the environment is likely to change It is thus necessary to check at run time if these parameters change significantly and may eventually lead to requirements violations To do so we need to extend verification to run time by monitoring the environment in order to get the real data that characterize it and affect the behavior of the application and feeding the model which continues to exist at run time with new parameters replacing the outdated values that were used at development time The updated model can check whether the requirements

    Original URL path: http://www.sefm2010.isti.cnr.it/keynote_carloGhezzi.php (2015-08-19)
    Open archived version from archive



  •