Sentence examples for generation of specifications from inspiring English sources

In this work, we present an approach for automatic generation of specifications for any software systems executing on a single host based on the combination of two techniques: specification-based and anomaly-based approaches.

Lou Anne Brossman, marketing director for Juniper's U.S. public sector business, claims her company has taken a lead in getting the government up to speed on hot-button topics like Internet Protocol Version Six, or upgrading networks to the next generation of specifications governing how to send data over the Internet.

As already mentioned, the Vignette Generator is a tool for developing well-defined vignettes and systematic generation of vignette specifications.

The paper describes a method for the generation of tolerance specifications from product data.

The generation of design specifications for a DEMO reactor, including breeding blanket (BB), vacuum vessel (VV) and magnetic field coils (MFC), requires a consistent neutronic optimization of structures between plasma and MFC.

This suggests a new generation of formal specification languages that would combine the concurrent features of process calculi with the standard concepts present in algorithmic languages.

Engineering design is the systematic, intelligent generation and evaluation of specifications for artifacts whose form and function achieve stated objectives and satisfy specified constraints.

Between 2011 and 2014 this has resulted in a second generation of Sensor Web specifications that reflect the lessons learned from early implementation activities [4].

This paper presents a systematic review of the literature related to the generation of textual requirements specifications from software engineering models.

These transformations offer the possibilities of formal verification and testing against formal specifications, as well as automatic generation of executable programs from specifications.

This combination can bring benefits such as reduction of development costs through the application of verification techniques in the initial development phases, when faults are cheaper to be fixed, and automatic generation of tests from formal specifications [17].