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

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

• Relié: 512 pages
• Editeur : ISTE Ltd and John Wiley & Sons Inc (16 juillet 2010)
• Langue : Anglais
• ISBN-10: 184821197X
• ISBN-13: 978-1848211971
• http://eu.wiley.com/WileyCDA/WileyTitle/productCd-184821197X.html?cid=RSS_WILEY2_ENGINEERING

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/