Computers and computer software  support - find it on CompInfo
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 http://www.compinfo-center.com/
Manufacturers Technical
Knowledge Bases
News Events Books Magazines Jobs Search Free Newsletter Add URL Add News/Events

 
Search
SEARCH CompInfo
 
Free Newsletters
Keep up-to-date with news, events, resources, and special offers. Subscribe here
 
IT Support Centers
Technical Knowledge bases
Support Desk - Drivers, Documentation, etc.
Introduction Pages to Technologies
Looking for a Job?
Download Software
Computer History, Dictionaries & Encyclopaedias
 
Information Centers
The latest News!
What's On - Computer Events
Find a Book
Technology Futures
Reviews, Evaluations and Reports
Computer Magazines
IT Publishers
 
Business Centers
Business Applications
VAR Business
IT Investors' Center
 
Computer Directories
Manufacturers
Distributors
Resellers
Solution Providers
Consultants
Trainers
Maintenance Companies
Internet Service Providers
Organizations
User Groups
 
And For Leisure ...
Non IT Sites
 
Add Your Information
Add Your Company's URL
Add News
Add Events
Promote Your Products and Services
 
Sundry
Contact Us
Privacy Policy
Feedback on site changes


SOFTWARE - Software Engineering

Beginners, Glossary and Background | Technical Knowledge Bases | News | Events | Books | Magazines | Manufacturers | Products and Reviews | White Papers, Reports and Articles | Training Tools | Where to buy | Where to get help | Trainers | News Groups, Mail Lists and FAQs | User Groups | Trade Associations
 

Technical Knowledge Bases


| Software engineering |
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
 Software Engineering Research Links (Software Methods and Tools)
  This section has links to various academic and industrial groups doing research in application development and software engineering.
 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

Disclaimer

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


Webmaster

15 August, 2000
Find
Reseller Opportunities
Job Opportunities
Competitive prices for products and services
Events
Automated Software Engineering 2000 (Grenoble, France; 11 Sep 2000 to 15 Sep 2000
PLI 2000 - Principles, Logics, and Implementations of high-level programming languages (Montreal, Canada; 17 Sep 2000 to 22 Sep 2000
Software Engineering and Applications (SEA 2000) (Las Vegas, NV, United States; 6 Nov 2000 to 9 Nov 2000
ICCI '2000 - International Conference on Computing and Information (Kuwait, Kuwait; 18 Nov 2000 to 21 Nov 2000
.......... More Events