Verifying goal-oriented specifications used in model-driven development processes

[EN] Goal-oriented requirements engineering promotes the use of goals to elicit, elaborate, structure, specify, analyze, negotiate, document, and modify requirements. Thus, goal-oriented specifications are essential for capturing the objectives that the system to be developed should achieve. However, the application of goal oriented specifications into model-driven development (MDD) processes is still handcrafted, not aligned in the automated flow from models to code. In other words, the experience of analysts and designers is necessary to manually transform the input goal-oriented models into system models for code generation (models compilation). Some authors have proposed guidelines to facilitate and partially automate this translation, but there is a lack of techniques to assess the adequacy of goal-oriented models as starting point of MDD processes. In this paper, we present and evaluate a verification approach that guarantees the automatic, correct, and complete transformation of goal-oriented models into design models used by specific MDD solutions. In particular, this approach has been put into practice by adopting a well-known goal-oriented modeling approach, the i* framework, and an industrial MDD solution called Integranova.This work has been developed with the support of FONDECYT under the projects AMoDDI 11130583 and TESTMODE 11121395.This work is also supported by EOSSAC project, funded by the Ministry of Economy and Competitiveness of the Spanish government (TIN2013-44641-P).Giachetti Herrera, GA.; Marín, B.; López, L.; Franch, X.; Pastor López, O. (2017). Verifying goal-oriented specifications used in model-driven development processes. Information Systems. 64:41-62. https://doi.org/10.1016/j.is.2016.06.011S41626

Roadmap for Next-Generation Accountability Systems

Offers a framework for designing and implementing state accountability systems that enable consistent, aligned goals to ensure college- and career-readiness; valid measurement, support, and interventions; transparent reporting; and continuous improvement

Promising State Policies for Personalized Learning

This report is a valuable resource for state policymakers—whether they are seeking to create conditions in state policy to support personalized learning, moving forward with initiatives to develop personalized learning pilot programs, hosting task forces to explore policy issues and needs, or taking a comprehensive policy approach for supporting advanced personalized learning models.Personalized learning is where instruction is tailored to each student's strengths, needs, and interests—including enabling student voice and choice in what, how, when, and where they learn—to provide flexibility and supports to ensure mastery of the highest standards possible

A resource management scheme for multi-user GFDM with adaptive modulation in frequency selective fading channels

The topic is "Low-latency communication for machine-type communication in LTE-A" and need to be specified in more detail.This final project focus on designing and evaluating a resource management scheme for a multi-user generalized frequency division multiplexing (GFDM) system, when a frequency selective fading channel and adaptive modulation is used. GFDM with adaptive subcarrier, sub-symbol and power allocation are considered. Assuming that the transmitter has a perfect knowledge of the instantaneous channel gains for all users, I propose a multi-user GFDM subcarrier, sub-symbol and power allocation algorithm to minimize the total transmit power. This work analyzes the performance of using a specific set of parameters for aligning GFDM with long term evolution (LTE) grid. The results show that the performance of the proposed algorithm using GFDM is closer to the performance of using OFDM and outperforms multiuser GFDM systems with static frequency division multiple access (FDMA) techniques which employ fixed subcarrier allocation schemes. The advantage between GFDM and OFDM is that the latency of the system can be reduced by a factor of 15 if independent demodulation is considered.El objetivo de este proyecto final es el de diseñar y evaluar un esquema para administrar los recursos de un sistema multi-usuario donde se utiliza generalized frequency division multiplexing (GFDM), cuando el canal es de frequencia de desvanecimiento selectivo y se utiliza modulación adaptiva. Consideramos un sistema GFDM con subportadora, sub-símbolo i asignación de potencia adaptiva. Asumiendo que el transmisor conoce perfectamente el estado del canal para todos los usuarios, propongo un algoritmo que asigna los recursos de forma que la potencia total de transmisión es mínima. Este trabajo analiza la eficiencia de utilizar un grupo de parámetros concretos para alinear el sistema GFDM con el sistema de LTE. Los resultados muestran que el comportamiento del algoritmo en GFDM es muy similar al de OFDM, pero mucho mayor que cuando se compara con sistemas de asignación de recursos estáticos.L’objectiu d’aquest projecte final es dissenyar i avaluar un esquema per administrar els recursos per a un sistema multi-usuari fent servir generalized frequency division multiplexing (GFDM), quan el canal es de freqüència esvaniment selectiu i es fa servir modulació adaptativa. Considerem un sistema GFDM amb subportadora, sub-símbol i assignació de potencia adaptativa. Assumint que el transmissor coneix perfectament l’estat del canal per tots els usuaris, proposo un algoritme que assigna els recursos de forma que la potencia total de transmissió es la mínima. Aquest treball analitza l’eficiència de fer servir un grup de paràmetres concrets per tal d’alinear el sistema GFDM amb el sistema de LTE. Els resultats mostren que el comportament de l’algoritme en GFDM es molt similar al de OFDM i que millora bastant els resultats quan el comparem amb sistemes d’assignament de recursos estàtics

Design and Fabrication of Components with Optimized Lattice Microstructures

The design and fabrication of components with optimized lattice microstructures is a new approach to creating lightweight high-performance objects. This paper introduces a unique and complete integration of design and fabrication leading to the creation of structural components with complex composite microstructures. Rather than a solid cast component with optimized outer shape this new approach leads to a component with an inner skeleton or microstructure maximizing one or more properties such as the stiffness-to-weight ratio. Three dimensional gradient materials are a natural outcome of this approach. An introduction to the design optimization and hybrid fabrication approach will be provided in addition to research progress and challenges through Spring 2004.Mechanical Engineerin