Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications

2011 ◽  
Author(s):  
Gunter Mussbacher ◽  
Jorg Kienzle ◽  
Daniel Amyot
Keyword(s):  
Reactive Systems ◽  
Design Specifications ◽  
Requirements Specifications

Live-Load Girder Distribution Factors for Bridges Subjected to Wide Trucks

2000 ◽  
Vol 1696 (1) ◽  
pp. 144-149 ◽  
Author(s):  
Sami W. Tabsh ◽  
Muna Tabatabai
Keyword(s):  
Finite Element ◽  
The United States ◽  
Live Load ◽  
Wheel Load ◽  
Element Analysis ◽  
Load Effect ◽  
Design Specifications ◽  
Girder Bridges ◽  
Girder Distribution Factors ◽  
Modification Factor

An important problem facing engineers and officials in the United States is the constraint imposed on transportation due to limitations of bridges. These limitations typically constrain vehicles to minimum heights and widths, to minimum and maximum lengths, and to a maximum allowable weight. However, with current demands of society and industry, there are times when a truck must carry a load that exceeds the size and weight of the legal limit. In this situation, the trucking company requests from the state departments of transportation an overload permit. For a truck with a wheel gauge larger than 1.8 m (6 ft), the process of issuing a permit for an overload truck requires a tremendous amount of engineering efforts. This is because the wheel load girder distribution factors (GDFs) in the design specifications cannot be used to estimate the live-load effect in the girders. In some cases, an expensive and time-consuming finite element analysis may be needed to check the safety of the structure. In this study, the finite element method is used to develop a modification factor for the GDF in AASHTO’s LRFD Bridge Design Specifications to account for oversized trucks with a wheel gauge larger than 1.8 m. To develop this factor, nine bridges were considered with various numbers of girders, span lengths, girder spacings, and deck slab thicknesses. The results indicated that use of the proposed modification factor with the GDF in the design specifications can help increase the allowable load on slab-on-girder bridges.

Engineering and Design: Specifications

1998 ◽  
Author(s):  
CORPS OF ENGINEERS WASHINGTON DC
Keyword(s):  
Design Specifications

Development of a Microcontroller-Based 6/12/18/24V Power Inverter Circuit

2017 ◽  
Vol 10 ◽  
pp. 19
Author(s):  
Abiodun Ogunseye ◽  
Daniel Ogheneovo Johnson
Keyword(s):  
Tolerance Limits ◽  
C Language ◽  
Dc Voltage ◽  
Square Wave ◽  
Design Specifications ◽  
Development Tool ◽  
Nominal Voltage ◽  
Single Input ◽  
Inverter Circuit

A power inverter circuits is normally designed to meet its design specifications when the applied input DC voltage is within specified tolerance limits. Thus, single input inverters are usually specified to work from a DC source having a fixed nominal voltage. This limits the usefulness of the inverter circuit when a DC source having the specified nominal voltage is not available. In this work, a modified square wave inverter system that is specified to work properly from batteries with nominal voltages of 6, 12, 18 and 24 V was designed.  A model of the microcontroller-based circuit was developed with Proteus® software and its firmware was written in C language using the MicroC® development tool. A prototype of the circuit was constructed and then tested.  The constructed circuit was found to work properly by producing a 50 Hz modified square waveform when it was powered from batteries having nominal voltages of 6 V, 12 V, 18 V and 24 V.

scholarly journals Design, specifications, and first beam measurements of the compact linear accelerator for research and applications front end

2020 ◽  
Vol 23 (4) ◽  
Author(s):  
D. Angal-Kalinin ◽  
A. Bainbridge ◽  
A. D. Brynes ◽  
R. K. Buckley ◽  
S. R. Buckley ◽  
...  
Keyword(s):  
Linear Accelerator ◽  
Design Specifications ◽  
Front End

scholarly journals On systematically building a controlled natural language for functional requirements

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Alvaro Veizaga ◽  
Mauricio Alferez ◽  
Damiano Torre ◽  
Mehrdad Sabetzadeh ◽  
Lionel Briand
Keyword(s):  
Information System ◽  
Natural Language ◽  
Qualitative Methodology ◽  
Case Study Research ◽  
Empirical Evaluation ◽  
Functional Requirements ◽  
Industrial Case Study ◽  
Requirements Specifications ◽  
Financial Domain

AbstractNatural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issues such as vagueness, ambiguity, and incompleteness. Controlled natural languages (CNLs) have been proposed as a way to prevent quality problems in requirements documents, while maintaining the flexibility to write and communicate requirements in an intuitive and universally understood manner. In collaboration with an industrial partner from the financial domain, we systematically develop and evaluate a CNL, named Rimay, intended at helping analysts write functional requirements. We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research. Our main contributions are: (1) a qualitative methodology to systematically define a CNL for functional requirements; this methodology is intended to be general for use across information-system domains, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to other information-system domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study. Our contributions draw on 15 representative SRSs, collectively containing 3215 NL requirements statements from the financial domain. Our evaluation shows that Rimay is expressive enough to capture, on average, 88% (405 out of 460) of the NL requirements statements in four previously unseen SRSs from the financial domain.

Sign in / Sign up

Export Citation Format

Share Document