Wednesday, October 20, 2010

FSEN '11

Fourth International Conference on 
Fundamentals of Software Engineering 2011 
Theory and Practice 
(FSEN '11) 

http://fsen.ir/2011/fsen.ir/2011 

Tehran, Iran 
April 20-22, 2011  

The Space and Motion of Communicating Agents

Robin Milner, Cambridge, 2009
http://www.cambridge.org/gb/knowledge/isbn/item2427683/?site_locale=en_GB

http://www.cl.cam.ac.uk/archive/rm135/
http://www.cl.cam.ac.uk/misc/obituaries/milner/

Cours et exercices corrigés d'algorithmique

Vérifier, tester et concevoir des programmes en les modélisant,
Jacques Julliand
Vuibert, 2010

Utilise la notation B.
http://www.vuibert.com/livre33767.html

Death of Jean-Claude Laprie

Dear colleague,

With deep sadness we bring you the news of Jean-Claude
passing away after a battle with cancer, 
Saturday night (October 17).
The funeral arrangements are not settled yet. 
More information will be provided when
available.

TSF group at LAAS

Thursday, October 7, 2010

Méthodes de spécification de systèmes temps réel en B

http://www.cert.fr/feria/svf/FAC/2004/Papiers/I2.pdf

THE PROGRAMMING LANGUAGE B

"B is a computer language designed by D. M. Ritchie and K. L.
Thompson, for primarily non-numeric applications such as system
programming. These typically involve complex logical decisionmaking,
and processing of integers, characters, and bit strings.
On the H6070 TSS system, B programs are usually much easier to
write and understand than assembly language programsj and object
code efficiency is almost as good. Implementation of simple TSS
subsystems is an especially appropriate use for B."
http://minnie.tuhs.org/Mirrors/Dennis/btut.pdf

B vs. Coq to prove a Garbage Collector

http://www-sop.inria.fr/everest/personnel/Lilian.Burdy/b085.pdf

Processus de validation basée sur la notion de propriété

http://www.rennes.supelec.fr/sic/REUNIONS/SdF/.../Gallardo.ppt

Formal Methods in Safety-Critical Railway Systems

http://deploy-eprints.ecs.soton.ac.uk/8/1/fm_sc_rs_v2.pdf

Vers une méthodologie de Validation et de Vérification multi-formelle des Interfaces Utilisateurs en milieu industriel

http://www.cert.fr/tis/theses/jthese_05/ressources/articles/cortier.pdf

The Development of a Probabilistic B-Method and a Supporting Toolkit

http://www.cse.unsw.edu.au/~carrollm/probs/Papers/Hoang-05a.pdf

Les bases du langage B

http://www.lri.fr/~paulin/B/poly002.html

A formal specification of the javaByte code semantics using the B method

http://www.gemplus.com.mx/smart/rd/publications/pdf/CL99ecop.pdf

Using B Method to Formalize the Java Card Runtime Security Policy for a Common Criteria Evaluation

http://www.gemplus.com/smart/rd/publications/pdf/MT00bjav.pdf

How to formally specify the Java Bytecode semantics using the B method

http://www.imamu.edu.sa/dcontent/IT_Topics/java/lisbonne.pdf

Formalisation and Veri¯cation of the GlobalPlatform Card Speci¯cation Using the B Method

http://software.imdea.org/~szanella/Zanella.2006.CASSIS.pdf

ProB: An Automated Analysis Toolset for the B Method

http://www.stups.uni-duesseldorf.de/publications/overview_final.pdf

Applying the B Formal Method to the Bossa Domain-Specific Language

http://www.diku.dk/hjemmesider/ansatte/julia/Lawall_nwpt05.pdf

Cooperation Between the B Method and the Automata Theory to Check the Component Interoperability

http://www.iist.unu.edu/www/docs/techreports/reports_old/report344/15-Chouali.pdf

PBS, support of the B Method in PVS, Cesar Munoz, SRI

http://research.nianet.org/~munoz/PBS/pbs.pdf

Component-based Development using the B method

http://hal.archives-ouvertes.fr/hal-00105041/

Tutorial on the B method

http://hal.archives-ouvertes.fr/docs/00/09/28/46/PDF/tutorialforte2006mery.pdf

The B Method for Programmers

http://gergo.erdi.hu/blog/2010-02-16-the_b_method_for_programmers_%28part_1%29/

The formal method known as B and a sketch for its implementation

Antti-Juhani Kaijanaho
Master's Thesis
in Information Technology (Software Engineering)
20th December 2002
http://users.jyu.fi/~antkaij/gradu.pdf

Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT))

Emil Sekerinski (Editor), Kaisa Sere (Editor) 
http://www.amazon.com/reader/1852330538?_encoding=UTF8&ref_=sib_dp_pt#reader-link

Security of Computer Architectures, Jean-Louis Boulanger

Le dernier livre d'Umberto Eco en français

http://www.bibliosurf.com/De-l-arbre-au-labyrinthe 
 

Dall'albero al labirinto. Studi storici sul segno e l'interpretazione 

Studi storici sul segno e l’interpretazione

http://bompiani.rcslibri.corriere.it/libro/5902_dall_albero_al_labirinto_studi_eco.html

 
Autore: Umberto Eco  
Titolo: Dall'albero al labirinto. Studi storici sul segno e l'interpretazione  
Editore: BOMPIANI 
Collana: STUDI E STRUMENTI  
Pagine: 640 
Prezzo: 25,00 euro  
Anno prima edizione: 2007  
ISBN: 45259029

FM 2011 (20-24 June 2011, Limerick, Ireland): Call for Tutorials

 http://www.lero.ie/fm2011/