Las metodologías dirigidas por modelos (MDM) han experimentado un gran impulso en los últimos años, así como su aplicación a las Arquitecturas Orientadas a Servicios (AOS). Sin embargo, su avance no ha ido paralelo a la integración en ellas de técnicas de verificación y validación. En este trabajo se presenta SODM+T, el conjunto de herramientas que apoya a la metodología SODM+Testing que extien...

Uno de los problemas clave en el desarrollo de una línea de productos software es la representación y gestión de la parte común y variable de la misma. La forma habitual de definir ambos aspectos es mediante modelos de características o features que además permiten seleccionar la configuración de cada aplicación concreta dentro de la línea de productos. Sin embargo la trazabilidad entre los mod...

Sunto. Si considera uno spazio omogeneo X = (X, d,m) di dimensione ν ≥ 1 e una forma di Dirichlet locale regolare in L (X,m) . Si dimostra che se una disuguaglianza di Poincaré vale su ogni pseudo-sfera B (x,R) di X , con costanti caratteristiche locali c0 (x) e c1 (r), allora si ricava una stima della funzione di Green da sopra e da sotto. Il principio tipo Saint-Venant viene ottenuto in termi...

ii Acknowledgements I would like to acknowledge and thank my major professor Dr. Gerald LaHoste for his help in this project. I would also like to extend thanks to Dr. Laura Harrison and Dr. David Ruskin for all of their advice and help in the completion of this project. I would also like to say thank-you to everyone at UNO for making my years here very enjoyable and I wish everyone the best in...

This paper presents a low cost educational robotics kit based on the UNO Arduino platform. The prototype is intended to be applied in secondary (high) schools by means of educational workshops on robotics. The project is supported by a step-by-step documentation (e.g. booklet) that addresses basic physics, mathematics, logic programming and robotics concepts. It also offers all the steps for ev...

Si stabilisce l'esistenza di una regolarizzazione per multifunzioni : T ! Z e F : T X ! Y , ove T e uno spazio topologico misurabile e X , Y e Z sono spazi topologici a base numerabile (Teoremi 1 e 3). Utilizzando il Teorema di selezione di Sainte-Beuve ((6]), si forniscono anche teoremi di unicitt a (Teoremi 2 e 4). I risultati conseguiti generalizzano quelli di Rze_ zuchowski in 5].