Requirements specifications describe multiple technical concerns of a system and are used throughout the project life-cycle to help sharing a common understanding among the stakeholders. In spite a lot of interest has been given to manage the requirements lifecycle, which resulted in numerous tools and techniques becoming available, however, little work has been done that address the quality of...

Recently, many approaches for automatic information extraction from technical specifications in the area of electronic design automation have been proposed. For this purpose, techniques from natural language processing are used. In order to lower the bars for designers and customers, some approaches do not intend to restrict the natural language that is used to describe the specifications. Howe...

volume is divided into two parts. Part one contains specifications for technical DDT, BHC, met oxyc or^ chlordane, dieldrin, BHC containing 90% or rnore isomer, Pyrethrem extract (cerosol grade), water dispersible powder concentrates containing DDT and BHC and emulsion concentrates containing DDT, BHC and Dieldrin, all being intended for use against vectors of diseases of man. Part two contains...

Abs t rac t . Previous works on assumption/guarantee specifications typically reason about relevant properties at the semantic level or define a special-purpose logic. We feel it is beneficial to formulate such specifications in a more widely used formalism. Specifically, we adopt the lineartime temporal logic (LTL) of Manna and Pnueli. We find that, with past temporal operators, LTL admits a s...

Nonparametric methods are used to measure the impacts of public research expenditures on Australian broadacre agriculture over the 1953-94 period. The data and methods used were unable to recover separate impacts due to extension under several alternative specifications. Preliminary results using both unrestricted and 30 year lagged specifications of the research impacts on productivity suggest...

Data about products and services is of paramount importance in most inter-organizational business processes. For business-to-business (B2B) scenarios, a great number of XML-based message specifications are available, which cover various processes and types of transactions. These specifications support the respective data exchange tasks by providing a common representation for products and servi...

We consider the problem of mechanically constructing abstract machines from operational semantics, producing intermediate-level specifications of evaluators guaranteed to be correct with respect to the operational semantics. We construct these machines by repeatedly applying correctness-preserving transformations to operational semantics until the resulting specifications have the form of abstr...

As all economics data files have weaknesses – measurement error, unmeasured variables, sample survey quirks – and all model specifications are questionable, contaminated by data mining, any 'finding' ought to be replicated on several data sets and under 'plausible' model specifications before one accepts it as valid. Replication with additional data and specifications contrasts sharply with the...

This paper proposes a new photonic-based non-invasive device for managing of Diabetic Foot Ulcers (DFUs) people suffering from diabetes. DFUs are one the main severe complications diabetes, which may lead to major disabilities, such as foot amputation, or even death. The proposed exploits hyperspectral (HSI) and thermal imaging measure status an ulcer, in contrast current practice where invasiv...