Version française
Home     About     Download     Resources     Contact us    
Browse thread
Formal Specification Techniques
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alexsandro Soares <a_s_soares@y...>
Subject: Formal Specification Techniques
Hi all,

  I'm trying to implement some Neural Networks in
OCaml, maybe using some generic framework (as in
Fiesler's paper "Neural Network Classification and
Formalization") in order to permit easy expansion to
new models. Did someone try this before? Is a good
idea use functors and/or Object-Orientation? Is there
some formal specification technique more adequated to
Ocaml features (like functors)?

Thanks in advance for any answer.

Cheers,
Alex


	
	
		
_______________________________________________________ 
Yahoo! Acesso Grátis - Internet rápida e grátis. 
Instale o discador agora! http://br.acesso.yahoo.com/