Search results for "Programming"

Unified Modeling Language

2005

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling lang…

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine

2005

Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…

Min-max control of uncertain multi-inventory systems with multiplicative uncertainties

2001

In this note, we consider production-distribution systems with buffer and capacity constraints. For such systems, we assume that the model is not known exactly. More precisely, the entries of the matrix representing the system structure may be affine functions of some uncertain time-varying parameters that take values within assigned bounds. We give stabilizability conditions that can be checked, in principle, by solving a min-max problem on the surface of the state-space (buffer level space) unit ball. Then, we consider a special case in which each uncertain parameter affects a single column of the system matrix and is independent of all the other ones. In this case, we propose a mixed int…

Teaching Programming to Large Student Groups through Test Driven Development - Comparing Established Methods with Teaching based on Test Driven Devel…

2016

This paper presents an approach for teaching programming in large university classes based on test driven development (TDD) methods. The approach aims at giving the students an industry-like environment already in their education and introduces full automation and feedback programming classes through unit testing. The focus for this paper is to compare the novel approach with existing teaching methods. It does so by comparing introduction to programming classes in two institutions. One university ran a TDD teaching process with fully automated assessments and feedback, while the other ran a more traditional on-line environment with manual assessments and feedback. The TDD approach has clear…

2010

Research has noticed that imparting TDD-like testing to an early computing curriculum is challenging because it increases technical and cognitive load for the students. This paper addresses the challenge with a software-based solution constructed to facilitate the process of writing tests. The solution allows using a compact while efficient syntax for formulating tests, writing tests into JavaDoc comments, thus close to the source code that implements intended functionalities, and automates the generation of actual test code. The constructed solution -- the ComTest tool -- has now been used in four introductory level programming course offerings. The paper presents the tool and concludes wi…

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

The Orchestra of Multiple Model Repositories

2013

This paper motivates and encourages the simultaneous use of multiple model repositories in model-driven software. A multi-repository mechanism is proposed for that. With this mechanism, multiple model repositories residing in the same or different technical spaces can be mounted into a single repository (in the same sense as file systems are mounted in UNIX) and accessed in a uniform way. Relations (including generalizations) between elements from the mounted repositories are supported. Some of the repositories may be “computable” (virtual), which leads to the on-the-fly model transformation concept.

Improving mRNA-Based Therapeutic Gene Delivery by Expression-Augmenting 3' UTRs Identified by Cellular Library Screening.

2019

Synthetic mRNA has emerged as a powerful tool for the transfer of genetic information, and it is being explored for a variety of therapeutic applications. Many of these applications require prolonged intracellular persistence of mRNA to improve bioavailability of the encoded protein. mRNA molecules are intrinsically unstable and their intracellular kinetics depend on the UTRs embracing the coding sequence, in particular the 3′ UTR elements. We describe here a novel and generally applicable cell-based selection process for the identification of 3′ UTRs that augment the expression of proteins encoded by synthetic mRNA. Moreover, we show, for two applications of mRNA therapeutics, namely, (1) …

Collaborative Content Downloading in VANETs with Fuzzy Comprehensive Evaluation

2019

Vehicle collaborative content downloading has become a hotspot in current vehicular ad-hoc network (VANET) research. However, in reality, the highly dynamic nature of VANET makes users lose resources easily, and the transmission of invalid segment data also wastes valuable bandwidth and storage of the users&rsquo

Secure Group Communication Using Fractional Public Keys

2010

Published version of a paper presented at the ARES '10 International Conference on Availability, Reliability, and Security (c) 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Paper also available from the publisher:http://dx.doi.org/10.1109/ARES.2010.13 In this paper, we present the novel concept of fractional public keys and an efficient zero-round multi-party Diffie-Hellman key agreement sc…