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
- GRASP : FTP Information
- The Ada95 Booch Components
- AdaBasis (ADA Software For You to Use!)
- Ada Library Reference
- Jerry's Ada on Win32 Page
- Windex (API to Windows)
- Corey's Home Page (Ada Structured Library)
- An Overview of The Ada Generic Library
- Libra (Libary of good stuff)
- Mats Weber's Ada Component Library, version 2.0 (HUGE!)
- Index of /AdaIC/standards/95com/ada-issues (Ada "bugs")
- Contrasting Ada 95 and C++ (at the AdaIC)
- Ada Programming Techniques (A.G Duncun)
- "Concurrent Programming in Ada"
- Q2H611
Concurrent Programming - A great resource about tasking
- Walnut Creek Ada CDROM
- Rationale for the Design of Reusable Abstract Data Types (paper)
- Public Ada Library (PAL)
- AdaPower.com
- Archives of PATTERNS@ACM.ORG (Ada Patterns)
- SIGAda WWW Server Home Page
- Hypertext-Linked Ada 95 Libraries
- Ada Information Clearinghouse - AdaIC
- Ada 95 QUALITY AND STYLE Guide
- Ada 95: The Craft of Object-Oriented Programming
- AdaGIDE Home page (Full Windows development enviroment)
- Free Code from Software Arts & Sciences
- Ada Matrix Package from the Data Fusion Laboratory
- Ada 95 - Ada Standards and Guidelines
- ada resources: ada, AJPO, Ada Joint Program Office.
- Translating C to Ada
- Martin J. Stift's Ada-centred Homepage (Math&Physics)
- Ada and Software Engineering (ASE) Website
- Ainslie Software - AdaJNI, Ada Java Bindings for Native Ada compilers
- Units Facilities, possible solutions
- WG9 Program of Work (Ada Standards)
- Comparing Windex and other Ada GUI/Win32 bindings
- gnuada Homepage
- ISO/IEC JTC1/SC22/WG9 (Ada)
General SE
- Tom Van Vleck Software Engineering
- The lessons of Ariane - A story of how not to reuse software
- Software Engineering Institute (SEI) Home Page
- Criticism of the CMM (at ST Labs)
- SEL: The Software Engineering Laboratory (NASA)
- Software Architecture
- Hotlist: Software process improvement, SQA, ISO 9000-3, SEI CMM, ISO 15504 (SPICE),...
- software engineering resources: software engineering, design engineering, hardware-software co-design.
- Software Engineering (a companion web site to the book)
- The Software Design Companion
- Software Development, Component-Based, Programming Tools: Rational Inc.
- Reuse RKT: The Reuse RKT (Find librarise, code etc.)
- SSC SAN DIEGO SEPO HOME PAGE
- Construx Software (many SE resources)
- RISKS-LIST: RISKS-FORUM Digest
- Test Development Life Cycle
- Software Research, Inc. (SR/Inc.; SR/Institute; QualityLabs, Inc.) Home Page
- Requirements Engineering A Good Practice Guide
- Software Configuration Management Index
- Software QA and Testing Resource Center
- MIL-STD-498 (Software Devl. and Doc.; Obsolete)
- Michael Fagan Associates
- Standards Document Library/DISA Center for Standards (IT standrds US Mil.)
- Software Engineering Coordinating Committee
- Software Engineering - Table of Contents
- 'Investments in Reusable Software:
New Paradigms in SE (open source etc.)
- The Cathedral and the Bazaar (Eric S. Raymond)
- The Open Source Page
- Halloween Papers (Jerry Pournelle's view)
- What is Free Software? - GNU Project - Free Software Foundation (FSF)
- Extreme Programming
- eXtreme Programming
- Aspect-Oriented Programming Home Page
Other Programming Languages sites of Interest
- Programming Language Research
- The Association of Logic Programming WWW Site
- Why Functional Programming Matters
- Programming in C
- C Programming Checklist
- Histoy of C
- Standard Template Library Home Page
- FAQ for comp.lang.functional
- LEDA - Library of Efficient Data Structures and Algorithms
- On-line manuals and technology papers (Eiffel etc.)
- elj.com (Eiffel etc.)
- An Introduction and Tutorial for Common Lisp
- Cecil language
- The History of Simula
- A Brief History of the Green Project (Java)
- Parameterized Types for Java
- Dwight Hughes Website (SMALLTALK-80)
- The Dylan Reference Manual
- Chapter 16 of Smalltalk by Example (MultiTasking in Smalltalk)
- Smalltalk: a Reflective Language
- Erlang in Real Time by Maurice Castro
- Hints on programming language design.
- Advanced Programming Languages
Patterns in SE
- Portland Pattern Repository
- The Israeli Patterns Reading Group
- Huston Design Patterns (example of GoF patterns and more)
- Patterns Home Page
- Design
Patterns: Abstraction and Reuse of Object Oriented Design
- AntiPatterns
Reading
- DONALD KNUTH-CLB Interview 12/13/94
- Classic-hits
Directory (MIT classic reports - MUST READS)
- Go To Statement Considered Harmful
- Stealing from a Limited Private Type (Henry Baker. Sweet article)
- Object Oriented ADA83 no need for ADA95?! (Henry Baker)
- Limited types and Structured Programming (Henry Baker)
- How To
Slove the Santa-Claus Problem (M. Ben-Ari; Ada & Tasking)
- ACM Classic of the Month
- Worse is Better
("Lisp: Good News,Bad News, How to Win Big") - A classic article
- A Summary of Jon Louis Bentley's ``Writing Efficient Programs''
- Dr.
Dobb's Journal interview with Alexander Stepanov (I)
- An Interview with A.
Stepanov for Edizioni Infomedia srl (II)
- Recollections (of
Boehm, the originator of the "Spiral Model")
- Abstract Data Types: Converting from Sequential to Parallel
- How not to Handle Abstractions by Bertrand Meyer
- Constantine And Yourdon - Structured Design - Chapter 7 - Cohesion - Table Of Contents
- Programming the Internet in Ada 95 (submitted to Ada Europe '96)
- How To Write Unmaintainable Code
- An Investigation into the Therac-25 Accidents
- CSE210 - Principles of Software Engineering: Readings
- 20 Most Important People (in the computer industry. From BYTE)
- Technical Resources: Whitepapers (Rational - Design & Architecture)
- Mass produced software components (Doug McIlroy)
- Quotations on Simplicity in Software Design
- ARIANE 5 Failure - Full Report
- Static typing and other mysteries of life
- Confusing Process and Product: Why the Quality is not There Yet - July 99
- IEEE Concurrency Virtual Roundtable
- December 1995 / Cover Story / How Software Doesn't Work (BYTE)
- Orthogonal Persistence and Ada
- Scripting: Higher Level Programming for the 21st Century
- 263 Tentative Reading List for Spring '96
- Martin Fowler
OOP
- The OO SoapBox
- Cetus Links: 13,403 Links on Objects and Components
- Object Mentor Inc. (Robert Martin's Page)
- Object-Oriented System Development: HTML Edition (The book)
- Object Oriented FAQ - Object FAQ
- Distributed Objects
- IBM Application Development : Object Constraint Language (OCL)
- UML Documentation Resources
- CS497: Object-Oriented Programming and Design
User Interface Design (HCI/MMI/Usability)
- The HCI Bibliography: Human-Computer Interaction Publications and Resources
- Usability Evaluation Methods
- Interface Interest and Research Group
- Sparks of Innovation in Human-Computer Interaction
Metrics
- H. Rubin Systems (COOL statistics)
- What Are Function Points? (Capers Jones)
- IFPUG WWW Site (Function Points)
- Whitepapers - Comparing Development Costs of C and Ada, by Stephen F. Zeigler, Ph.D.
- Scientific Toolworks, Inc. - Understand Your Software...
- McCabe and Associates, Inc.
- COCOMO
- PSM Home Page (Practical Software Measurement)
- Resource Standard Metrics, Source Code Quality and Metrics Tool
Misc. and Unsorted
- Computing Dictionary
- The Eleven Rules of Supercomputer Design
- 1999 IEEE Symposium on Security and Privacy
- Computer Architecture: A Quantitative Approach
- Catapults and grappling hooks: The tools and techniques of
- Bjarne Stroustrup Talk about C++ and Design
- Software Engineering Course Program (Newcastle University)
- BURKS 3 Online (set of CD-ROMs for students of Computer Science)
- The World Wide Web Virtual Library: Formal Methods
- Dictionary of Programming Languages
- Data Structures Code Examples (including: reading a web page)
- SWIG (Simplified Wrapper and Interface Generator)
- Handbook of Algorithms and Data Structures
- Definitions of Algorithms, Data Structures, and Problems
- Numerical Recipes Home Page
- Surevey of On-Line Algorithms
- The Memory Management Reference
- Computer Security Division Homepage
- NIST Federal Information Processing Standards on Computer Security
- C R Y P T O N O M I C O N
- Distributed Computing
- The Garbage Collection List
- Ada to C++ (Israeli!)
- Data Structures - Sample Exam Questions
Unsorted