Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Programming Languages and Compilers
A Longitudinal Metric Study Of Postgresql Software Archeology In Open Source, Terry Franklin Byrum
A Longitudinal Metric Study Of Postgresql Software Archeology In Open Source, Terry Franklin Byrum
Computer Science Theses & Dissertations
Open source software development is credited as the basic fuel powering much of the Internet, especially the Web. While many organizations rely heavily on open source, few studies have focused on the dynamics of development methodology. This document contains the results of a longitudinal metric study of the open source database PostgreSQL representing an 8 year period of community development. This study is software archeology, excavating bits of an Internet community, a cultural group, for understanding. Longitudinally, McCabe's cyclomatic complexity and Halstead's software science change tempo in accordance with PostgreSQL's maturity, though meritocracy practices of open source might suggest greater …
Generic Specifications In Lil And In Ada Via Analogies, George Chester Harrison
Generic Specifications In Lil And In Ada Via Analogies, George Chester Harrison
Computer Science Theses & Dissertations
We address the problem of .making verifiable specifications in generic program units in the Ada Programming Language*. We illustrate the methodologies of LIL proposed by Joseph Goguen and Justify the use of such a specification languages using analogy programming originally proposed by Nachum Dershowitz. The work in these areas is new and noticeably incomplete. We address our concern about the reusability of Ada software in a programming environment that includes a specification language like LIL. * Ada is a registered trademark of the U.S. Government (Ada Joint Program Office)