Context: Template-based code generation (TBCG) is a synthesis technique that produces
code from high-level specifications, called templates. TBCG is a popular technique in model …

Models for predicting software reliability in the early phases of development are of
paramount importance since they provide early identification of cost overruns, software …

This paper presents a requirements elicitation approach that is based on model-driven
prototyping. Model-driven development fits naturally in evolutionary prototyping because …

The discovery of loop invariants is a great challenge for the independent verification of
automatically synthesized programs. This verification is needed to achieve high confidence …

The JPL Rapid Mission Architecture (RMA) capability is a novel collaborative team-based
approach to generate new mission architectures, explore broad trade space options, and …

Automated code generation or automatic programming is a widely researched topic these
days. The auto code generation fascinates the young researchers towards this field more …

Several papers have recently contained reports on applying machine learning (ML) to the
automation of software engineering (SE) tasks, such as project management, modeling and …

A critical step in model-driven engineering (MDE) is the automatic synthesis of a textual
artifact from models. This is a very useful model transformation to generate application code …

Model-driven development (MDD) drastically changes the traditional view of software
modeling, which no longer serves merely as documentation that will be put aside at a certain …

There is empirical evidence supporting the usefulness of screen mockups in improving the
comprehension of use cases. Though a cost-benefit analysis would require an estimate of …