Misc. Software Engineering and Ada Resources

These are pages I thought interesting.

The list is semi-ordered, but growing to be too long. It will be split up soon, so don't be discouraged!

    Ada related sites

  1. GRASP : FTP Information
  2. The Ada95 Booch Components
  3. AdaBasis (ADA Software For You to Use!)
  4. Ada Library Reference
  5. Jerry's Ada on Win32 Page
  6. Windex (API to Windows)
  7. Corey's Home Page (Ada Structured Library)
  8. An Overview of The Ada Generic Library
  9. Libra (Libary of good stuff)
  10. Mats Weber's Ada Component Library, version 2.0 (HUGE!)
  11. Index of /AdaIC/standards/95com/ada-issues (Ada "bugs")
  12. Contrasting Ada 95 and C++ (at the AdaIC)
  13. Ada Programming Techniques (A.G Duncun)
  14. "Concurrent Programming in Ada"
  15. Q2H611 Concurrent Programming - A great resource about tasking
  16. Walnut Creek Ada CDROM
  17. Rationale for the Design of Reusable Abstract Data Types (paper)
  18. Public Ada Library (PAL)
  19. AdaPower.com
  20. Archives of PATTERNS@ACM.ORG (Ada Patterns)
  21. SIGAda WWW Server Home Page
  22. Hypertext-Linked Ada 95 Libraries
  23. Ada Information Clearinghouse - AdaIC
  24. Ada 95 QUALITY AND STYLE Guide
  25. Ada 95: The Craft of Object-Oriented Programming
  26. AdaGIDE Home page (Full Windows development enviroment)
  27. Free Code from Software Arts & Sciences
  28. Ada Matrix Package from the Data Fusion Laboratory
  29. Ada 95 - Ada Standards and Guidelines
  30. ada resources: ada, AJPO, Ada Joint Program Office.
  31. Translating C to Ada
  32. Martin J. Stift's Ada-centred Homepage (Math&Physics)
  33. Ada and Software Engineering (ASE) Website
  34. Ainslie Software - AdaJNI, Ada Java Bindings for Native Ada compilers
  35. Units Facilities, possible solutions
  36. WG9 Program of Work (Ada Standards)
  37. Comparing Windex and other Ada GUI/Win32 bindings
  38. gnuada Homepage
  39. ISO/IEC JTC1/SC22/WG9 (Ada)

    General SE

  40. Tom Van Vleck Software Engineering
  41. The lessons of Ariane - A story of how not to reuse software
  42. Software Engineering Institute (SEI) Home Page
  43. Criticism of the CMM (at ST Labs)
  44. SEL: The Software Engineering Laboratory (NASA)
  45. Software Architecture
  46. Hotlist: Software process improvement, SQA, ISO 9000-3, SEI CMM, ISO 15504 (SPICE),...
  47. software engineering resources: software engineering, design engineering, hardware-software co-design.
  48. Software Engineering (a companion web site to the book)
  49. The Software Design Companion
  50. Software Development, Component-Based, Programming Tools: Rational Inc.
  51. Reuse RKT: The Reuse RKT (Find librarise, code etc.)
  52. SSC SAN DIEGO SEPO HOME PAGE
  53. Construx Software (many SE resources)
  54. RISKS-LIST: RISKS-FORUM Digest
  55. Test Development Life Cycle
  56. Software Research, Inc. (SR/Inc.; SR/Institute; QualityLabs, Inc.) Home Page
  57. Requirements Engineering A Good Practice Guide
  58. Software Configuration Management Index
  59. Software QA and Testing Resource Center
  60. MIL-STD-498 (Software Devl. and Doc.; Obsolete)
  61. Michael Fagan Associates
  62. Standards Document Library/DISA Center for Standards (IT standrds US Mil.)
  63. Software Engineering Coordinating Committee
  64. Software Engineering - Table of Contents
  65. 'Investments in Reusable Software:

    New Paradigms in SE (open source etc.)

  66. The Cathedral and the Bazaar (Eric S. Raymond)
  67. The Open Source Page
  68. Halloween Papers (Jerry Pournelle's view)
  69. What is Free Software? - GNU Project - Free Software Foundation (FSF)
  70. Extreme Programming
  71. eXtreme Programming
  72. Aspect-Oriented Programming Home Page

    Other Programming Languages sites of Interest

  73. Programming Language Research
  74. The Association of Logic Programming WWW Site
  75. Why Functional Programming Matters
  76. Programming in C
  77. C Programming Checklist
  78. Histoy of C
  79. Standard Template Library Home Page
  80. FAQ for comp.lang.functional
  81. LEDA - Library of Efficient Data Structures and Algorithms
  82. On-line manuals and technology papers (Eiffel etc.)
  83. elj.com (Eiffel etc.)
  84. An Introduction and Tutorial for Common Lisp
  85. Cecil language
  86. The History of Simula
  87. A Brief History of the Green Project (Java)
  88. Parameterized Types for Java
  89. Dwight Hughes Website (SMALLTALK-80)
  90. The Dylan Reference Manual
  91. Chapter 16 of Smalltalk by Example (MultiTasking in Smalltalk)
  92. Smalltalk: a Reflective Language
  93. Erlang in Real Time by Maurice Castro
  94. Hints on programming language design.
  95. Advanced Programming Languages

    Patterns in SE

  96. Portland Pattern Repository
  97. The Israeli Patterns Reading Group
  98. Huston Design Patterns (example of GoF patterns and more)
  99. Patterns Home Page
  100. Design Patterns: Abstraction and Reuse of Object Oriented Design
  101. AntiPatterns

    Reading

  102. DONALD KNUTH-CLB Interview 12/13/94
  103. Classic-hits Directory (MIT classic reports - MUST READS)
  104. Go To Statement Considered Harmful
  105. Stealing from a Limited Private Type (Henry Baker. Sweet article)
  106. Object Oriented ADA83 no need for ADA95?! (Henry Baker)
  107. Limited types and Structured Programming (Henry Baker)
  108. How To Slove the Santa-Claus Problem (M. Ben-Ari; Ada & Tasking)
  109. ACM Classic of the Month
  110. Worse is Better ("Lisp: Good News,Bad News, How to Win Big") - A classic article
  111. A Summary of Jon Louis Bentley's ``Writing Efficient Programs''
  112. Dr. Dobb's Journal interview with Alexander Stepanov (I)
  113. An Interview with A. Stepanov for Edizioni Infomedia srl (II)
  114. Recollections (of Boehm, the originator of the "Spiral Model")
  115. Abstract Data Types: Converting from Sequential to Parallel
  116. How not to Handle Abstractions by Bertrand Meyer
  117. Constantine And Yourdon - Structured Design - Chapter 7 - Cohesion - Table Of Contents
  118. Programming the Internet in Ada 95 (submitted to Ada Europe '96)
  119. How To Write Unmaintainable Code
  120. An Investigation into the Therac-25 Accidents
  121. CSE210 - Principles of Software Engineering: Readings
  122. 20 Most Important People (in the computer industry. From BYTE)
  123. Technical Resources: Whitepapers (Rational - Design & Architecture)
  124. Mass produced software components (Doug McIlroy)
  125. Quotations on Simplicity in Software Design
  126. ARIANE 5 Failure - Full Report
  127. Static typing and other mysteries of life
  128. Confusing Process and Product: Why the Quality is not There Yet - July 99
  129. IEEE Concurrency Virtual Roundtable
  130. December 1995 / Cover Story / How Software Doesn't Work (BYTE)
  131. Orthogonal Persistence and Ada
  132. Scripting: Higher Level Programming for the 21st Century
  133. 263 Tentative Reading List for Spring '96
  134. Martin Fowler

    OOP

  135. The OO SoapBox
  136. Cetus Links: 13,403 Links on Objects and Components
  137. Object Mentor Inc. (Robert Martin's Page)
  138. Object-Oriented System Development: HTML Edition (The book)
  139. Object Oriented FAQ - Object FAQ
  140. Distributed Objects
  141. IBM Application Development : Object Constraint Language (OCL)
  142. UML Documentation Resources
  143. CS497: Object-Oriented Programming and Design

    User Interface Design (HCI/MMI/Usability)

  144. The HCI Bibliography: Human-Computer Interaction Publications and Resources
  145. Usability Evaluation Methods
  146. Interface Interest and Research Group
  147. Sparks of Innovation in Human-Computer Interaction

    Metrics

  148. H. Rubin Systems (COOL statistics)
  149. What Are Function Points? (Capers Jones)
  150. IFPUG WWW Site (Function Points)
  151. Whitepapers - Comparing Development Costs of C and Ada, by Stephen F. Zeigler, Ph.D.
  152. Scientific Toolworks, Inc. - Understand Your Software...
  153. McCabe and Associates, Inc.
  154. COCOMO
  155. PSM Home Page (Practical Software Measurement)
  156. Resource Standard Metrics, Source Code Quality and Metrics Tool

    Misc. and Unsorted

  157. Computing Dictionary
  158. The Eleven Rules of Supercomputer Design
  159. 1999 IEEE Symposium on Security and Privacy
  160. Computer Architecture: A Quantitative Approach
  161. Catapults and grappling hooks: The tools and techniques of
  162. Bjarne Stroustrup Talk about C++ and Design
  163. Software Engineering Course Program (Newcastle University)
  164. BURKS 3 Online (set of CD-ROMs for students of Computer Science)
  165. The World Wide Web Virtual Library: Formal Methods
  166. Dictionary of Programming Languages
  167. Data Structures Code Examples (including: reading a web page)
  168. SWIG (Simplified Wrapper and Interface Generator)
  169. Handbook of Algorithms and Data Structures
  170. Definitions of Algorithms, Data Structures, and Problems
  171. Numerical Recipes Home Page
  172. Surevey of On-Line Algorithms
  173. The Memory Management Reference
  174. Computer Security Division Homepage
  175. NIST Federal Information Processing Standards on Computer Security
  176. C R Y P T O N O M I C O N
  177. Distributed Computing
  178. The Garbage Collection List
  179. Ada to C++ (Israeli!)
  180. Data Structures - Sample Exam Questions

    Unsorted