Software Design

• Software Architecture
  • Literature Lists on Software Architecture
  • Model Problems in Software Architecture, School of Computer Sceience, Carnegie Mellon University
  • School of Computer Science, Carnegie Mellon University Software Architecture Publications Page
  • SEI Work in Software Architecture
  • Software Architecture Technology Guide
  • Software Architecture Bibliography from University of Waterloo
  • Software Architectures Research Description by Dr. Barry Boehm and Dr. Ahmed Abd-Allah
  • Software Productivity Research, Inc. - Client Server Challenges
• Human-Computer Interface Design
  • Books and Textbooks: Human-Computer Interaction (Morgan Kaufmann Publisher)
  • Collection: Authored Books on HCI
  • Common Font Group: User Interface Design -Contents and Bibliography
  • Human-Computer Interaction Books from Modern Book Company
  • Suggested Books for Dr. Dave Hobbs' Human-Computer Interaction Course
  • STC : Society for Technical Communication - User Interface Design Resources
  • The Art of Human-Computer Interface Design, Edited by Brenda Laurel
• Design Patterns
  • Programming Patterns Overview: Introduction
  • Process Pattern Language from Bell Lab
  • Patterns Home Page
  • Supporting Interdisciplinary Design: Towards a Workplace Pattern Language by Thomas Erickson, Apple Research Laboratories, Apple Computer Inc.
• Formal Design Methods
  • Formal Design Methods, by James Hu and Dr. G. C. Roman.
  • Recent Books in Key Centre of Design Computing
• Object-Oriented Analysis and Design
  • A Comparative Review of OOA and OOD Methods provides detailed analysis of 10 different OOA/OOD methods, by Sjaak Brinkkemper, Shuguang Hong, Arjan Bulthuis, Geert van den Goor.
  • Assessment of Object-Oriented Technology, by Barbara B. Cuthill
  • Dept. of Computer Science, Michigan State University - Integrating Object-Oriented Analysis and Formal Specifications
  • Penn State Astronomy & Astrophysics: An Introductory Tutorial on OOD
  • RSP&A Software Engineering Resources: Object-Oriented Analysis and Design
  • Software Engineering Reading: Object-Oriented Analysis and Design
• Designing the System and Program
  • DACS: Technical Reports, Papers, Abstracts: Design Reports
  • DACS: Technical Reports, Papers, Abstracts: Design Reports
  • Dept. of Computer Science, Virginia Tech.
    • The Therac-25 Incident
    • Therac-25 Software Development and Design
    • Index of Therac_25
  • George Mason University Dept. of Physics and Astronomy
    • Books and Web Resources on Software Design
    • Summary of Software Design Considerations
    • Specific Design Methods
  • MSU Software Engineering: Software Design Methods and Reengineering
  • Programming on Purpose: Essays on Programming, a book written by P. J. Plauger
  • School of Computer Science, Carnegie Mellon University Publications Page: Design Code Analysis
  • Selected Papers From the ABLE Project Library, School of Computer Science, Carnegie Mellon University
  • SERC: Software Engineering Research Center: Software Design
  • SERC: Software Engineering Research Center: Software Development
  • SEweb - Design Tools
  • SingleSource Guide to the BEST: Analysis and Design Publications
  • Software Design & Engineering: Design Issues
  • Top-Down Design, Bottom up Implementation, a lecture in Dept. of CS in Columbia University
• Conferences
  • FMSP98: Formal Methods in Software Proactice(co-located with ISSTA)
  • HCI'97
  • HCI International '97: 7th International Conference on Human-Computer Interaction (jointly w/13th Symposium on Human Interface)
  • HICSS-29: 29th Hawaii Int'l Conference on System Sciences--1996: Volume 1 - Software Technology and Architecture
  • HICSS-30: 30th Hawaii Int'l Conference on System Sciences--1997: Volume 1 - Software Technology and Architecture
  • HICS '96: 3rd Annual Symposium on Human Interaction with Complex Systems
  • ITI97: 19th International Conference on Information Technology Interfaces
  • UIST'97: Tenth Annual Symposium on User Interface Software and Technology
  • Fourth NASA Langley Formal Methods Workshop
  • International Workshop on Development and Evolution of Software Architectures for Product Families

  [Go Back to Top]

CREST home page	News	Research	Seminar Series	Publications	Feedback