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 - Keynote by Dimitra Giannakopoulou
    of advanced formal verification techniques that provide desired correctness guarantees In this talk we will discuss two inherently different approaches towards achieving this goal The first approach aims at scaling exhaustive verification techniques by applying divide and conquer principles It involves automated compositional verification algorithms for model checking both finite and infinite state software components The second approach does not perform exhaustive verification but it is more versatile It uses

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


  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Keynote by Dusko Pavlovic
    the question of the unreasonable effectiveness of mathematics in natural sciences After several decades of security research we are tempted to ask the opposite question Are we not unreasonably ineffective Why did we not become more secure from all the security technologies that have been deployed There are of course many answers to this question I shall focus on one of them As computers pervade all areas of social life

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Tutorial by Jayadev Misra
    matrix Each service may be likened to a basic operation in a computer the internet computer An application is a program written over the basic services i e an orchestration of the services This research is directed toward designing implementing and studying an appropriate model of orchestration that would allow us to develop wide area applications succinctly Just as structured programming gave programmers effective tools to organize the control flow of sequential programs our research introduces mechanisms to organize the communication synchronization and coordination in programs that run on wide area networks We have developed a programming model called Orc for structured wide area programming Orc includes constructs to orchestrate the concurrent invocation of services to achieve a goal while managing time outs priorities and failure of sites or communication The talk will give an introduction to Orc and some of the ongoing research on enhancing the model The Orc web page is at http orc csres utexas edu Jayadev Misra Professor and Schlumberger Centennial Chair Dept of Computer Science University of Texas at Austin userweb cs utexas edu users misra Misra s interest is in applying formal methods in practice particularly in the specifications and designs of synchronous and

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Tutorial by David Harel
    motivation for such modeling and the philosophy underlying the techniques for carrying it out as well as the crucial question of when such models are to be deemed valid or complete The examples will be from among the biological modeling efforts my group has been involved in T cell development lymph node behavior organogenesis of the pancreas and fate determination in the reproductive system of the C elegans nematode worm The ultimate long term grand challenge is to produce an interactive dynamic computerized model of an entire multi cellular organism such as the C elegans which is complex but well defined in terms of anatomy and genetics David Harel The Weizmann Institute of Science Israel Professor Dept of Computer Science and Applied Mathematics The William Sussman Professorial Chair www wisdom weizmann ac il harel David Harel has been at the Weizmann Institute of Science in Israel since 1980 He was Department Head from 1989 to 1995 and was Dean of the Faculty of Mathematics and Computer Science between 1998 and 2004 He was also co founder of I Logix Inc He received his PhD from MIT in 1978 and has spent time at IBM Yorktown Heights and sabbaticals at Carnegie

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Tutorial by Yudistira Asnar, Andrea Micheletti and Fabio Massacci
    many believe an outsourcing benefits the organization However in recent years many studies indicate some if not most benefits are just myths and even moves against the business objectives These studies also argue that this phenomenon occurs because of lack of control from the business owner In this tutorial we present a new approach on managing a Business Process Outsourcing BPO that puts more emphasize on Security Governance Risk and

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Tutorial by Manuela L. Bujorianu and Brian White
    variety of autonomous systems is increasing both in industry and academia Such systems must operate with limited human intervention in a changing environment and they must be able to compensate for significant system failure without external intervention In highly autonomous systems the system behavior is normally so complex that it is either impossible or inappropriate to describe it with conventional mathematical system models The complexity of the system model needed

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Workshop: FLACOS 2010
    service oriented architectures but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded just before service provisioning At the programming language level contracts appear as separate concerns that cut across application logic while analysis requires that contracts are abstracted from applications to become amenable to formal reasoning using formal language techniques The aim of this workshop is

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

  • SEFM 2010 - 8th IEEE International Conference on Software Engineering And Formal Methods - Workshop: OpenCert 2010
    Linux distributions Apache and MySQL serve among many other examples as a testimony to its success and resilience However state of the art OSS by the very nature of its open unconventional distributed development model make software quality assessment let alone full certification particularly hard to achieve and raises important challenges both from the technical methodological and the managerial points of view This makes the use of OSS and in particular its integration within complex industrial strength applications with stringent security requirements a risk And simultaneously an opportunity and a challenge for rigourous mathematically based methods in software analysis and engineering In such a context the aim of this workshop is to bring together researchers from academia and industry who are broadly interested in the quality assessment of open source software projects ultimately leading to the establishment of coherent certification processes at different levels Following the success of the three previous editions collocated to ETAPS 07 in Braga OSS 08 at IFIP WCC in Milan and ETAPS 09 in Eindhoven respectively the workshop will focus on formal methods and model based techniques that appear promising to facilitate OSS certification Both foundational methodological and pragmatic issues will be addressed through both

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



  •