<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Thomas A. Alspaugh's personal bibliography</title>
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
<link rev="made" href="mailto:liinwwwa@ira.uka.de" />
<link rel="copyright" href="../Copyright.html" />
<link rel="up" href="index.html" />
<link rel="home" href="../index.html" />
<link rel="top" href="../index.html" />
<meta name="description" content="Thomas A. Alspaugh's personal bibliography. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Thomas A. Alspaugh's personal bibliography. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
, Requirements engineering" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
, Requirements engineering" />
<meta name="robots" content="noarchive,nofollow" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<meta name="copyright" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.COPYRIGHT" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
</head>
<body>
<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html" title="Home page of The Collection of Computer Science Bibliographies">Collection Home</a></li>
<li><a href="index.html">Up: Bibliographies on Software/Hardware Engineering and Formal Methods</a></li>
</ul>
<h1 class="subcollectiontitle">Thomas A. Alspaugh's personal bibliography</h1>
<p style="text-align:center; font-size:small">[ &nbsp; <a href="#about">About</a> &nbsp; | &nbsp;<a href="#browse">Browse</a> &nbsp; | &nbsp; <a href="#stats">Statistics</a> &nbsp; ]</p><table width="100%" cellpadding="0"><colgroup span="4" width="1*" /><tr><th align="right">Number of references:</th><td align="left">2001</td><th align="right">Last update:</th><td align="left">December 5, 2008</td></tr><tr><th align="right">Number of online publications:</th><td align="left">1140</td><th align="right">Supported:</th><td align="left">yes</td>
</tr><tr><th align="right">Most recent reference:</th><td align="left">August 2009</td>
<th> </th><td> </td></tr></table>

<!-- short form -->
<!-- short search form -->
<h2 class="h2bar"><a id="about">Information on the Bibliography</a></h2>
<dl>
<dt><strong>Author:</strong></dt>
<dd><a href="http://www.ics.uci.edu/~alspaugh">Thomas A. Alspaugh</a> &lt;alspaugh @ ics . uci . edu&gt; <i>(email mangled to prevent spamming)</i><br />
<a href="http://www.uci.edu">University of California</a>, Irvine
</dd><dt><strong>Copyright:</strong></dt><dd>
Thomas A. Alspaugh</dd>
<dt><strong>Abstract:</strong></dt><dd>
Requirements engineering and software engineering; formal methods in those areas; object-oriented languages, types, and development methodologies.</dd>
<dt><strong>Keywords:</strong></dt><dd>
Requirements engineering</dd>
<dt><strong>Author Comments:</strong></dt><dd>
This supersedes my bibliography formerly accessible at North Carolina State University.</dd>

</dl>
<h2 class="h2bar"><a id="browse">Browsing the bibliography</a></h2>
<ul><li><dl>
<dt><strong>Original source:</strong></dt>
<dd><a href="http://www.ics.uci.edu/~alspaugh/alspaugh.bib.gz">http://www.ics.uci.edu</a>...
(Format: bibtex, compressed with gzip) 
</dd></dl></li></ul>
<h2 class="h2bar"><a id="stats">Bibliographic Statistics</a></h2>
<dl>
<dt><strong>Types:</strong></dt>
<dd>inproceedings(825), article(809), book(106),
proceedings(93), techreport(78), incollection(37),
 misc(24), inbook(11), phdthesis(10), manual(5),
 mastersthesis(3)</dd><dt><strong>Fields:</strong></dt>
<dd>title(2001), year(2001), author(1889), pages(1591),
abstract(1414), booktitle(968), doi(930), doi-url(930),
 number(844), volume(830), journal(804), month(742),
 location(375), publisher(349), address(182), day(163),
 url(157), keywords(108), editor(81), note(70),
 series(66), institution(63), isbn(47), annote(31),
 type(30), organization(26), references(26), lccn(23),
 edition(19), school(12), howpublished(8), chapter(2),
 mon(1)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="alspaugh.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="alspaugh.years.stats.png" alt="Distribution of publication dates" title="Distribution of publication dates" />
</object></dd>
</dl>
<p class="footer">
<a href="http://liinwww.ira.uka.de/bibliography/Copyright.html">Copyright</a> &copy; 1995-2008 Alf-Christian Achilles, All rights reserved.
<br />
This service is brought to you by
<a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> 
and <a href="http://3miasto.net.pl/~ortylp">Paul Ortyl</a>
<br />
Please direct <a href="http://liinwww.ira.uka.de/bibliography/Comments.html" title="Send your comments via form.">comments</a> 
to <kbd><a href="mailto:liinwwwa@ira.uka.de" title="Send your comments via email.">liinwwwa@ira.uka.de</a></kbd>
</p>

<p>
<a href="http://validator.w3.org/check?uri=referer"><img src="/valid-xhtml11.png" alt="Valid XHTML 1.1!" /></a>&nbsp;
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="/vcss.png" alt="Valid CSS!" /></a>
</p>
</body>
</html>
