Español
¡Hola a todos! Primero que nada, ¡les deseo un Feliz Año Nuevo 2012! Ahora bien, es un placer para mí, y estoy muy feliz de presentarles el primer lanzamiento de XJML, es decir XJML 1.0. XJML es la arquitectura de Verificación y Validación resultante de mi tesis de maestría titulada "Verificación y validación modular externa de Sistemas Orientados a Objetos empleando Diseño por Contrato".
La X en XJML es por XML (es decir, podemos escribir contratos para las clases Java que deseemos verificar) y la JML es el acrónimo para Java Modeling Language, el lenguaje subyacente y soportado por XJML.
¡Pero basta de hablar! Puede acceder todos los recursos de XJML (código fuente, librerías, documentación, tesis, etc.) a través de SourceForge: https://sourceforge.net/p/xjml/.
Los desarrolladores que deseen contribuir con el proyecto XJML pueden acceder a través de SVN: https://xjml.svn.sourceforge.net/svnroot/xjml/ or https://sourceforge.net/p/xjml/code/
Por último, pero no menos importante, puede encontrar en https://sourceforge.net/p/xjml/tickets/ algunas tareas con las que nos puede ayudar a mejorar XJML.
Esperamos sus opiniones sobre el proyecto, aportaciones, dudas, comentarios, críticas constructivas, todo aquello que persiga el objetivo de aportar conocimiento en esta área nos será valioso.
English
Hi everybody! First at all, I wish you a Happy New Year 2012! Now, is a pleasure for me, and I'm so glad to introduce you the first release of XJML, I mean XJML 1.0. XJML is the Verification and Validation architecture resulting from my master thesis called "Verification and validation modular external for Object Oriented Systems using Design By Contract".
The X in XJML is for XML (so, we can write contracts for the Java classes which want to verify) and the JML is the acronym for Java Modeling Language, the underlying language and supported by XJML.
Enough talk! You can access all the XJML resources (source code, libraries, documentation, thesis, etc.) through SourceForge: https://sourceforge.net/p/xjml/.
The developers who want contribute with the XJML project can access through SVN: https://xjml.svn.sourceforge.net/svnroot/xjml/ or https://sourceforge.net/p/xjml/code/
Last but not least, you can find in https://sourceforge.net/p/xjml/tickets/ tickets describing some tasks where you can help us to improve XJML.
We welcome your views on the project, contributions, questions, comments, constructive criticism, all that work towards the goal of providing knowledge in this area it will be valuable.
