Links Articles Intent Specifications: An Approach to Building Human-Centered Specifications Task-Centered User Interface Design: A Practical Introduction Enough About Process: What We Need Are Heroes (Bach) No Cowboy Programmers! (Gray) Does OO Sync With How We Think? (Hatton) A Really Good Idea (Meyer) Examples A sample Intent Specification is online at http://sunnyday.mit.edu/asw-intent.pdf The SpecTRM User Manual includes instructions for the SpecTRM tools and looks at the Altitude Switch example, asw.xpz Software Tools Latest version of Gnat can be downloaded from the FTP site at ftp://www.cs.nyu.edu/pub/gnat/3.14p/winnt The file: gnat-3.14p-nt.exe Emacs is a text editor that integrates Ada CVS is the Concurrent Versions System, the dominant WinCVS/MacCVS/gCVS are a set of GUI front-end for CVS. For tips on using WinCVS, click here. The latest GUI, AdaGide can be downloaded from http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html The history of Ada: http://archive.adaic.com/docs/flyers/history.html Ada - The project: http://archive.adaic.com/pol-hist/history/holwg-93/