Sentence examples for a lightweight formal from inspiring English sources

Java-MaC provides a lightweight formal method solution as a viable complement to the current heavyweight formal methods.

As an executable architecture model leveraging "lightweight" formal methods and the small scope hypothesis, MP supports automatic generation of behavior examples (Use Cases) for early system architecture analysis, testing, verification, and validation.

This research introduces a methodology to extract Unadjusted Function Point (UFP) counts from architectural behavioral models utilizing a framework called Monterey Phoenix (MP), lightweight formal methods, and high level pseudocode for use in cost estimation models such as COCOMO II.

BioXSD is the candidate for a reasonably lightweight, but formal and detailed, standard XML exchange format of commonly used, everyday bioinformatics data.

Choose formal dress slacks made of a lightweight fabric like linen or cotton.

In this article we describe a lightweight validation approach that does not require the use of third-party (formal) languages.

The requisite gala concert (and formal dinner for patrons) will take place on Thursday, a lightweight program featuring Respighi's glittering orchestral suites "Fountains of Rome" and "Pines of Rome" and the popular violinist Itzhak Perlman playing short showpieces.

But a lightweight?

Megyn Kelly is a lightweight.

He's a lightweight.

A lightweight technical setup.