Desenvolupament d'una aplicació amb Microsoft.NET per a la gestió acadèmica d'un centre de formació

Aquest treball es base en crear una aplicació per a la gestió a mida d'un centre acadèmic de formació.

Gestió acadèmica d'un centre de formació amb Microsoft .NET

El present treball de final de carrera consisteix en realitzar una aplicació, en Visual Basic Net sota la plataforma .NET i l'entorn de treball Microsoft Visual Studio, juntament amb la biblioteca de classes ADO.NET, per a poder realitzar la gestió administrativa d'un centre de formació per a estudiants.

Essència : Catálogo de productos de perfumería utilizando Microsoft .NET

El projecte Essència, consisteix en el disseny i implementació d'un catàleg de productes de perfumería per a una empresa del ram. Els objectius són crear una aplicació Web ASP.NET amb un tipus de interface d'usuari molt similar als oposats en aplicacions Windows.

Aplicació Microsoft .Net : Hotel Spa

Desenvolupament d'una aplicació amb Microsoft .NET, WCF, WPF, Linq2SQL, d'un Hotel Spa.

Desenvolupament d'una aplicació amb Microsoft.NET per a la gestió d'una protectora d'animals

La memòria de projecte de final de carrera objecte d'aquest document, sintetitza lasolució realitzada d'un portal Web per a la gestió d'una protectora d'animals amb la finalitat de fomentar i facilitar als usuaris, l'adopció d'animals abandonats.El portal Web té com a principals objectius, oferir una interfície gràfica fàcil de ferservir i intuïtiva en la interacció, per tal que tot tipus d'usuaris d'Internet senserestriccions de coneixements puguin gaudir amb comoditat del lloc. El resultat s'haobtingut fent ús de tecnologies basades amb la plataforma .NET de Microsoft com Visual Studio 2010 pel que fa al desenvolupament, AJAX (Asynchronous JavaScript And XML) pel que fa a l'actualització asíncrona dels continguts de les pàgines, i Microsoft SQL Server com a motor de la base de dades.

Aplicación Hotel SPA : desarrollo de una aplicación con Microsoft. NET

Desarrollo de la aplicación Hotel SPA con Microsoft,para un hotel con diferentes instalaciones de ocio y relajación.

Desenvolupament d'una aplicació en Microsoft .NET : Campus formatiu

Es necessita disposar d'una aplicació Web per gestionar un Campus formatiu. L'aplicació s'ha desenvolupat en Microsoft .NET en entorn Web.

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

On the discovery of business processes orchestration patterns

COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Framework, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WSBPEL 2.0

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Aplicación para la situación geográfica del observador mediante posicionamiento astronómico

Proyecto en el que se realiza una aplicación informática, tanto para escritorio de Windows como para Windows Mobile, que permite la orientación y posicionamiento terrestre del usuario mediante el uso de la astronomía. Todo el proyecto se ha realizado haciendo uso de las tecnologías ofrecidas por Microsoft .NET Framework.

Glosario de términos

El proyecto GT (Glosario de Términos) tiene como principal objetivo el desarrollo e implantación de una aplicación orientada al servicio que proporcione un acceso rápido a los significados de todo tipo de conceptos, de tal forma que se pueda considerar un diccionario temático.

Umbra Filtre Web : Aplicació de filtrat de pàgines web

El projecte presentat explora les possibilitats de la tecnologia de Microsoft.NET Framework en el camp del filtratge de pàgines web. Per disseny s'ha escollit una solució relacionada amb xarxes d'ordinadors i el resultat del projecte és una aplicació que utiliza com a base un proxy http, de forma que és capaç de filtrar pàgines web abans de que aquestes arribin al navegador.

Sistema de control y seguimiento de la lectura de contadores en empresa municipal del agua

Trabajo final de carerra sobre Microsoft .NET Framework que desarrolla un sistema gestor de las lecturas de agua para la empresa municipal del agua.