Computers and computer software  support - find it on CompInfo

Computer software and computers - sitemap

Full Search
Keep Informed!
Visit Our Centers
Technical Topics
Introduction Pages to Technologies
Business Applications
The latest News!
What's On - Computer Events
Find a Book
VAR Business
Looking for a Job?
Support Desk
Year 2000
IT Investors' Center
Technology Futures
Reviews, Evaluations and Reports
Download Software
Computer Magazines
IT Publishers
Computer History, Dictionaries & Encyclopaedias
Computer Directories
Solution Providers
Maintenance Companies
Internet Service Providers
User Groups

Keep Informed - What's New
Add Your Company's URL
Add News and Events
Promote Your Products and Services
Contact Us

And Finally ...
Non IT Sites
The Computer Information Center (CompInfo)
"The definitive directory of the Business side of Computing
It's among the top ten computing-specific sites we've ever seen" - Yahoo Computing
Millions of IT users world-wide rely on our Web-based support resources
Tell your colleagues and friends and bookmark us at
Quick Search CompInfo

SOFTWARE - Software Engineering

Technical Resources

Software engineering |

  Technical Resources  News  Manufacturers  Events
  Where to buy  Where to get help  Books  Magazines

Software engineering
 Bayesian Networks and Software Metrics Resources (Agena Ltd.)
 Compinfo Directory: Software Testing
 Formal Methods Publications (Oxford University)
 IEEE Channel: Software Engineering (IEEE)
 Software engineering FAQs
 What is Formal Methods? (C. Michael Holloway, NASA Langley Reasearch Center)
  We use the term ``formal methods'' to refer to the variety of mathematical modelling techniques that are applicable to computer system (software and hardware) design. That is, formal methods is the applied mathematics of computer system engineering, and, when properly applied, can serve a role in computer system design analogous to the role CFD serves in aeronautical design.
 The World Wide Web Virtual Library: Formal Methods
 The World Wide Web Virtual Library: Safety-Critical Systems (Oxford University)
  This document contains pointers to information on Safety-Critical Systems, where human lives may be at risk, especially involving software and computers, available around the world on the World Wide Web
 WWW Virtual Library - Software Engineering


Keep me informed

©Copyright The Computer Information Center 1995 - 2000

The Computer Information Center provides information in good faith, but does not provide any warranties whatsoever, nor assume any legal liability or responsibility whatsoever, for the accuracy, completeness or usefulness of any of the information supplied. It is not in any way responsible, and has no legal liability, in respect of the contents of any other site referenced from this site. The ownership of all trademarks, etc. referred to on this site is acknowledged