Open Access. Powered by Scholars. Published by Universities.®
- Keyword
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Engineering
A Catalog Of While Loop Specification Patterns, Aditi Barua, Yoonsik Cheon
A Catalog Of While Loop Specification Patterns, Aditi Barua, Yoonsik Cheon
Departmental Technical Reports (CS)
This document provides a catalog of while loop patterns along with their skeletal specifications. The specifications are written in a functional form known as intended functions. The catalog can be used to derive specifications of while loops by first matching the loops to the cataloged patterns and then instantiating the skeletal specifications of the matched patterns. Once their specifications are formulated and written, the correctness of while loops can be proved rigorously or formally using the functional program verification technique in which a program is viewed as a mathematical function from one program state to another.
Permit Tool: Development Of An Algorithm To Determine Performance Life Of Hma Mixes In Texas, Luis Alberto Torres Escobedo
Permit Tool: Development Of An Algorithm To Determine Performance Life Of Hma Mixes In Texas, Luis Alberto Torres Escobedo
Open Access Theses & Dissertations
A number of hot mix asphalt (HMA) types, such as permeable friction course (PFC), stone mastic asphalt (SMA), performance design mixes and conventional dense graded mixes are currently used to construct or overlay Texas roads. One of the important inputs into current pavement design programs used by the Texas Department of Transportation (TxDOT) is the performance lives of HMA mixes. To determine the best mix type for a particular job or to analyze the performance of a mix or a road, a new system can be developed to rationally quantify the HMA mix performance. This system must have access to …