UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

Computer-aided categorisation and quantification of connectives in English and Arabic (based on newspaper text corpora).

This study presents a detailed contrastive description of the textual functioning of connectives in English and Arabic. Particular emphasis is placed on the organisational force of connectives and their role in sustaining cohesion. The description is intended as a contribution for a better understanding of the variations in the dominant tendencies for text organisation in each language. The findings are expected to be utilised for pedagogical purposes, particularly in improving EFL teaching of writing at the undergraduate level. The study is based on an empirical investigation of the phenomenon of connectivity and, for optimal efficiency, employs computer-aided procedures, particularly those adopted in corpus linguistics, for investigatory purposes. One important methodological requirement is the establishment of two comparable and statistically adequate corpora, also the design of software and the use of existing packages and to achieve the basic analysis. Each corpus comprises ca 250,000 words of newspaper material sampled in accordance to a specific set of criteria and assembled in machine readable form prior to the computer-assisted analysis. A suite of programmes have been written in SPITBOL to accomplish a variety of analytical tasks, and in particular to perform a battery of measurements intended to quantify the textual functioning of connectives in each corpus. Concordances and some word lists are produced by using OCP. Results of these researches confirm the existence of fundamental differences in text organisation in Arabic in comparison to English. This manifests itself in the way textual operations of grouping and sequencing are performed and in the intensity of the textual role of connectives in imposing linearity and continuity and in maintaining overall stability. Furthermore, computation of connective functionality and range of operationality has identified fundamental differences in the way favourable choices for text organisation are made and implemented.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Gestiód'events : rumbo

L'objectiu principal del projecte de final de carrerà és aprendre i entendre com es desenvolupen i mantenen aplicacions en tecnologia J2EE. Ja que és una tecnologia que esta molt de moda i que utilitza la gran part del mercat de desenvolupament de programari. L'altre objectiu era desenvolupar una aplicació de gestió d'esdeveniments que permetes els usuaris enregistrarse els esdeviments i les empreses oferir i controlar l'assistència d'aquests esdeveniments.

Gesevent. Gestió d'events. Desenvolupament d'aplicacions amb tecnologies J2EE.

Treball de final de carrera on s'explica com s'ha realitzat el desenvolupament d'una aplicació de gestió d'events utilitzant la plataforma J2EE: Struts2, EJB.

Intranet clinica

Intranet clinica para la historia electronica de pacientes.

J2EE: Botiga virtual

Aquest Treball de Final de Carrera conté el projecte de creació i desenvolupament d'una botiga virtual de venda de llibres, pel·lícules, música i videojocs.

Aplicació gestió : GCANEC

Aplicació de gestió per al manteniment dels paquets de software distribuïts als usuaris de l'Ajuntament de Barcelona. El treball consisteix en el disseny i anàlisi de la base de dades, juntament amb el desenvolupament de l'aplicació.

Disseny i implementació d'un marc de treball de presentació per a aplicacions J2EE

Construcció d'un marc de treball per a implementar el patró de disseny model-vista-controlador en aplicacions J2EE.

Disseny i implementació d'un marc de treball (framework) de presentació per aplicacions J2EE : Jewel Framework

El present projecte tracta sobre el desenvolupament d'un marc de treball o framework per la capa de presentació d'aplicacions J2EE.En un primer bloc, s'analitzen els frameworks més utilitzats al món empresarial a dia d'avui: Struts 2, Spring MVC i JavaServer Faces. S'estudia com funcionen i les característiques principals de cada un, comparant-les per veure quines són comuns a tots i es consideren imprescindibles per un framework d'aquest tipus. A més, es fa un anàlisi exhaustiu dels patrons J2EE i les bones pràctiques que poden aportar al projecte.El segon bloc del projecte és el desenvolupament de Jewel Framework, el marc de treball que s'ha creat. Primer, s'analitza quines són les funcionalitats que ha de complir el framework i es fa un disseny de l'arquitectura i estructura que segueix. Després, s'implementa seguint el disseny i tenint cura que es compleixin tots els requisits, tant funcionals com de qualitat del producte. Finalment, es dissenya i desenvolupa una aplicació d'exemple que demostra la usabilitat i bon funcionament de Jewel.

JWQ : Java WebQuest

L¿objectiu principal d¿aquest projecte és el de donar resposta a la necessitat de uncol·lectiu de professors i alumnes de magisteri de disposar d¿una eina de pràctiques per larealització de WebQuests.

Sistema de Gestión deOperaciones Comerciales deFinanciación

L'objectiu consisteix en el desenvolupament d'un sistema d'informació (una aplicació java empresarial) que satisfaci les necessitats d'una empresa financera respecte a la gestió de les operacions comercials de finançament que realitza.

Projecte Matic : Una eina d' ensenyament assistit per ordinador via internet

El projecte Matic vol crear un entorn d'EAO apte per a treballar qualsevol contingut acadèmic i personalitzat per a cada estudiant, seguint les directrius marcades pel professor, que en podrà fer el seguiment acadèmic.