|
Below you'll find links to some of my favorite people,
tools, and places on the web. Some have utility, some
entertainment value, and some, well... I just needed more
links to fill this page.
People:
|
|
Rick's
Blog: The personal blog of a long-time
friend, this site chronicles his daily life and observations.
Rick is an historian and an archealogist, with strong
links to his Cherokee heritage. Give him a read.
My
Blog: Okay, while I'm plugging blogs, I guess
I can plug my own. At this writing I haven't yet
begun it, so who knows what I'll have to say.
Dr.
Stephen Case: A friend and fellow
alumni of Nova Southeastern University, Steve now
directs the Center for Pervasive Computing
at Minnesota State University in Mankato.
Jack
Ganssle's Site: Jack Gannsle is
an author, a magazine columnist, and a well-respect
guru in the embedded world. His site is filled
with excellent content for programmers who dare to venture
into the soul of the machine.
Dr.
John Rushby's Site: This guy is
the expert on safety-critical systems.
His research is at the center of many NASA
and FAA policy decisions. If high-integrity
is your bag; you'd do well to read some of his stuff.
|
Favorite Tools:
|
|
Multi-Edit:
Among the best developer productivity tools
is a top notch editor. This is the one I have
used for more than a decade.
Polyspace:
This software analysis suite finds all semantically
unsound executions in C, C++, or Ada. It's truly
powerful.
PathMATE:
This is a model-driven architecture suite for generating
software applications from UML designs. Current
implementations require Rational Rose as a host application.
SPLint:
Secure Programming Lint. A free software
"lightweight formal analysis" tool for
finding problems with C code. Also performs more
powerful checks when used Larch interface specifications.
Subversion:
A fantastic revision control package, designed
to replace the venerable CVS. It has several advantages
over CVS.
Tortoise-SVN:
This front-end for subversion makes it a dream.
This integrates with windows shell to make subversion
revision control easy for anyone via the Windows
Explorer. Suddenly I put virtually EVERY document I
write in revision control. I can look at every
change to my rèsumè in the past 5 years. I STRONGLY
recommend this tool together with subversion for ANY
Windows user who writes documents and would like
to the ability to revert and/or to track the documents' evolution!
|
Developer Resources:
|
|
TextbookRevolution:
A site that offers ebooks for download, and also
lists other sites that do the same.
FreeTechBooks.com:
A collection of links to free, downloadable technical
books.
IBM
Alphaworks: Free first access to emerging technology
from IBM.
|
Aerospace & Safety-critical
Software:
|
|
FAA
Consultants: Todd is a consulting DER, and has
also developed a software suite for automating the DO-254
and DO-178B compliance process.
OOTIA
Handbook: This is the FAA's Handbook of "Object
Oriented Techniques in Aviation"
|
Software Research:
|
|
CiteSeer.IST:
A search engine that searches through scientific
papers and indexes citations, links to relevant work,
etc. A great research tool.
Google
Scholar: A google search beta for
scholarly works.
FactBites:
A search engine that attempts to create an
encyclopedic entry from it's results. Very
interesting.
Computer
Science Scholarly Societies: This site
attempts to maintain a list of all scholarly
societies, and this page is the computer science section.
Their list is not comprehensive, but it is impressive.
|
Organizations:
|
|
ACM:
The Association for Computing Machinery is the premier
organization for computer scientists.
IEEE-CS:
A close second to the ACM is the Computer Society of
the IEEE.
ICCP:
The Institute for Certification of Computer Professionals
is dedicated to the advancement of software professions
through its vendor-neutral certification programs.
WWISA:
The World-Wide Institute of Software Architects
is a professional association dedicated to the establishment
and recognition of the profession of software architecture.
|
also
of Interest:
|
|
Traveler:
Have a voice chat with a buddy while taking an animated
walk through cyberspace. This interesting application
of 3D VRML technology, this program has been around
for over 10 years; yet it still seems cutting edge.
|

Copyright(c) 2006, Max A. Hinkley. All rights reserved.
|