Technical Skills • Programming Languages: Java, Javascript, C++, C, PL/SQL, XML, XSLT, HTML, Groovy, Scala, Pascal, Delphi, Prolog, Lisp, Assembler, Visual Basic, Perl, Shell, etc... • Component Architectures: Java EE (J2EE JEE6), OSGi /Equinox/Felix, Spring, Corba, Quasar • Java Libraries and Frameworks: Eclipse RCP, Eclipse RAP, Swing, Awt, JSF/Facelets, JavaFX, EJB 2.* 3.*, JMS, JAXB, XStrea...

The development of e-business applications often suffers from large and incomprehensible specification documents used for communication between the customer and the software supplier. In this paper we describe our research efforts and results to improve this process by replacing an informal graphical/textual model with a formal one allowing rapid prototyping and test case generation. Since our ...