We investigate how, in a natural deduction setting, we can specify concisely a wide variety of tasks that manipulate programs as data objects. This study will provide us with a better understanding of various kinds of manipulations of programs and also an operational understanding of numerous features and properties of a rich functional programming language. We present a technique, inspired by ...

Because software specifications often serve as a formal contract between the developer and the customer, systems have been proposed ([8], [2], [5]) that help the software client better understand specifications by automatically paraphrasing them in natural language. The REVIEW system [6] applies natural language generation within Metaview [7], a metasystem that facilitates the construction of C...

We present a general process, supported by Object-Process Methodology (OPM) for authoring model-based requirements specifications. This approach is guided by adopting general systems engineering principles to requirements authoring and can be extended and applied broadly for authoring various kinds of technical documents. Requirements specifications are first conceptually analyzed and designed ...

In this paper, we present the development and application of a Technical Feasibility Model (TFM) used in preliminary design to determine: whether or not a set of desired product specifications is technically feasible, and the optimality of those specifications with respect to the Pareto frontier. The TFM is developed by integrating the capabilities of a multidisciplinary design framework, a mul...

We develop foundations for structuring behavioural specifications based on the logic tradition of hidden algebra. This includes an analysis of a number of important technical compositional properties for behavioural signatures, such as pushouts, inclusions and unions, as well as an investigation of algebraic rules for behavioural module composition. As a particularity of behavioural specificati...

This brief provides findings on the observed effect of initial pavement smoothness (also known as initial roughness, or as-constructed roughness) on the long-term pavement roughness progression of asphalt overlays. The relationship can be used as a measure for estimating the long-term effect of pavement smoothness and for consideration when developing smoothness specifications and/or payment ad...

This paper presents aCAT Advanced Cellular Network Vulnerability Assessment Toolkit, a graph based end-to-end vulnerability assessment tool for 3G networks. The novelties of this tool include (1) usage of technical specifications written in the Specification and Description Language (SDL); (2) the definition of a network dependency model for accurate chain derivation; and (3) exhaustive attack ...

This paper presents Executable Use Cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to Model-Driven Development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides ...

This paper presents a concept for analysing the quality of 2 1 2 -D spatial objects. The developed method is based on the evaluation of specific quality parameters. These parameters are determined by a topological and geometrical analysis. The quality parameters are classified into three categories: green=accepted, yellow=uncertain, red=rejected, depending on the specifications. We give confide...

In contrast to industrial practice in logic controller design, where manual, experience-based, and thus error-prone procedures are commonly used, this paper proposes a methodology that aims at systematizing the design procedure as much as possible. Given a set of informal specifications and a technical flowchart, the control program is constructed as a sequential function chart (SFC) by transfo...