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 - Site Statistics
    31 2010 Rank Country Visitors 1 ITALY 22 197 3884 2 FRANCE 9 653 1689 3 UNITED STATES 8 464 1481 4 UNITED KINGDOM 7 498 1312 5 GERMANY 5 772 1010 6 JAPAN 4 372 765 7 CHINA 3 389 593 8 SPAIN 2 880 504 9 INDIA 2 343 410 10 ROMANIA 1 960 343 11 NETHERLANDS 1 937 339 12 BRAZIL 1 915 335 13 PORTUGAL 1 874 328 14 CANADA 1 789 313 15 IRAN ISLAMIC REPUBLIC OF 1 572 275 16 AUSTRALIA 1 549 271 17 AUSTRIA 1 177 206 18 DENMARK 0 949 166 19 SWEDEN 0 846 148 20 KOREA REPUBLIC OF 0 697 122 21 CROATIA 0 669 117 22 SLOVAKIA 0 669 117 23 PAKISTAN 0 663 116 24 RUSSIAN FEDERATION 0 663 116 25 0 623 109 26 ALGERIA 0 623 109 27 BELGIUM 0 611 107 28 NORWAY 0 606 106 29 CZECH REPUBLIC 0 583 102 30 HUNGARY 0 577 101 31 SOUTH AFRICA 0 571 100 32 ARGENTINA 0 549 96 33 LUXEMBOURG 0 531 93 34 TUNISIA 0 526 92 35 MACAO 0 514 90 36 SWITZERLAND 0 509 89 37 MOROCCO 0 497 87 38 GREECE 0 429 75 39 ISRAEL 0 417 73 40 FINLAND 0 366 64 41 MALAYSIA 0 349 61 42 URUGUAY 0 343 60 43 INDONESIA 0 337 59 44 SAUDI ARABIA 0 331 58 45 IRELAND 0 326 57 46 EGYPT 0 309 54 47 POLAND 0 297 52 48 TURKEY 0 291 51 49 SINGAPORE 0 274 48 50 COLOMBIA 0 263 46 51 MEXICO 0 229 40 52 VIET NAM 0 211 37 53 THAILAND 0 206 36 54 LIBYAN ARAB JAMAHIRIYA 0 160 28 55 TAIWAN 0 154 27 56 UKRAINE 0 143 25 57 NIGERIA

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


  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Weather Forecasts
    Maps Search SEFM Site Stats Venue Weather Forecasts Live Webcam Site Translations experimental Credits News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Conference Venue Weather Forecasts Weather Pisa Free service by Weather Webcam www sefm2010 isti

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Live Webcam
    Maps Search SEFM Site Stats Venue Weather Forecasts Live Webcam Site Translations experimental Credits News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Live Venue Webcam Real Time Pisa Webcam Official City Website www sefm2010 isti cnr

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Site Translations
    Live Webcam Site Translations experimental Credits News SEFM 2010 School SEFM Home SEFM 2009 SEFM 2010 Social Event Site Translations Experimental The site translation is provided via the Google Translate Service Click on the corresponding flag to translate the entire

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Credits
    kind permission of Vincent Buller http www vincentbuller com Disclaimer Some images on this web site were found on the internet Any use of copyright material is UN INTENTIONAL and will be removed if required Anyway if the author is glad to partecipate to the site he her and his her work can be cited in this page Please sent an e mail to for immediate removal or for inserting

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Special Track
    method with some of the most widely used system design methods including State Transition Diagrams Algorithmic State Machines Object Oriented Design in some of its various manifestations IDEF0 UML and SysML The comparison draws on the Design Methods Comparison Project undertaken by Bahill et al in 1998 and uses their Traffic Lights case study to illustrate the similarities with and differences from the Behavior Engineering method Kirsten Winter Ian J Hayes Robert Colvin Integrating Requirements The Behavior Tree Approach Abstract Click to Show Hide Abstract Behavior Trees were invented by Geoff Dromey as a graphical modelling notation Their design was driven by the wish to ease the task of capturing functional system requirements and to bridge the gap between informal language description and the formal model Vital to Dromey s intention is the idea of incrementally creating the model out of its building blocks the functional requirements This is done by graphically representing each requirement as a mini Behavior Tree and incrementally merging the trees to form a more complete model of the system In this paper we investigate the essence of this constructive approach to creating a model in general notation independent terms and discuss its advantages and disadvantages The result can be seen as framework of rules and provides us with a semantic underpinning of requirements integration We then use Behavior Trees as an example how this framework can be put into practise Daniel Powell Behavior Engineering A Scalable Modeling and Analysis Method Abstract Click to Show Hide Abstract The impact of failing to develop a shared understanding of the requirements describing and constraining large complex projects and programs with many possibly distributed stakeholders and suppliers is enormous Traditional engineering methods provide little in the way of taming complexity when synthesising analysing and communicating the requirements of such

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

  • SEFM School 2010 - News Page
    Cerone UNU IIST Macau SAR China Applications in security of systems 3 hours Sept 10 afternoon Pierpaolo Degano University of Pisa Italy Roberto Zunino University of Trento Italy Please check the related SEFM 2010 School site page for any further info 08 Jun 2010 18 30 12 0200 2010 08 JUN SEFM 2010 School Registration is now OPEN SEFM 2010 School Registration is now open To register please start from the SEFM 2010 Conference site Registration page and choose whether to use on line Registration or Registration by fax or email Besides the SEFM school Registration you can register for the main conference and for four affiliated workshops too 26 May 2010 18 50 12 0100 2010 26 MAY School Accomodation Special fees In the SEFM 2010 Conference site Accomodation page you can find a list of Hotels providing discounted fees Book your room as soon as possible to benefit from the special School rates specifing the special fee reason SEFM 2010 Special Fee Briefly the hotel list Hotel Leonardo 70 90 2 Km 24 mins walking Hotel S Croce in Fossabanda 70 95 1 5 Km 18 mins walking Hotel Royal Victoria 70 105 2 1 Km walking 25 mins Hotel Verdi 80 100 1 6 Km 20 mins walking Hotel Touring 84 94 2 5 Km 31 mins walking Hotel Repubblica Marinara 88 108 1 3 Km 16 mins walking AC Hotel 90eu 2 6 Km 32 mins walking Hotel San Ranieri 90 119 3 Km 37 mins walking For further info please check the related site page 26 May 2010 17 50 12 0100 2010 26 MAY Website Venue Pages available The Venue pages of the SEFM 2010 Conference and the SEFM 2010 School sites have been updated Now you can find useful information about accomodation and

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

  • SEFM School 2010 - Organisers
    Downloads News Photos School Organisers Antonio Cerone UNU IIST Macau SAR China CHAIR Stefania Gnesi ISTI CNR Pisa Italy Paolo Milazzo University of Pisa Italy www sefm2010 isti cnr it SEFM 2010 School Home News Downloads rss feed css 2

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



  •