software engineering, formal methods
CompInfo - The Computer Information Center
The top one-stop reference resource for corporate IT, computers and communications
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/
Computer
Magazines		 Computer
Books		 Computer
Events		 CompInfo I.T.
Directories		 Site
Search		 Highlight
Your Company		 Downloads, Drivers
and Reviews		 Computer
News		 Keep Informed -
Add Your Interests		 MCSE Certification
Resources		 IT Study
Resources

Software Engineering and Formal Methods - Outline
Topic Outline - KnowledgeBases - Newsgroups and FAQs - Magazines and Ezines - White Papers - Organizations and User Groups - News - Events - Related Topics - Books - Key Manufacturers - Where to Buy - Key Solutions Providers - Where to get Help - Key Service Providers - Key Training Providers
 
Software Engineering and Formal Methods - Knowledge Bases
  • Bayesian Networks and Software Metrics Resources (Agena Ltd.)
  • Formal Methods Publications (Oxford University)
  • IEEE Channel: Software Engineering (IEEE)
  • Software Dioxide: The Ecosystem for Software
  • 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 (Jonathan Bowen)
    • "Traditional engineering disciplines rely heavily on mathematical models and calculation to make judgments about designs. For example, aeronautical engineers make extensive use of computational fluid dynamics (CFD) to calculate and predicte how particular airframe designs will behave in flight. 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." (NASA LARC)
  • 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
  • SEE also Related Topics
..........Back to Top
 
Software Engineering and Formal Methods - Newsgroups and FAQs
  • comp.arch
  • comp.software-eng
  • comp.theory
  • FAQS - comp.software-eng
..........Back to Top
 
Software Engineering and Formal Methods - Magazines and Ezines
  • ACM Transactions on Software Engineering and Methodology (TOSEM)
  • Automated Software Engineering
..........Back to Top
 
Software Engineering and Formal Methods - White Papers
  • If you know of a high quality resource for this sub-category of this topic, please suggest it
..........Back to Top
 
Software Engineering and Formal Methods - Organizations and User Groups
  • If you know of a high quality resource for this sub-category of this topic, please suggest it
..........Back to Top
 
Software Engineering and Formal Methods - News
  • If you know of a high quality resource for this sub-category of this topic, please suggest it
..........Back to Top
 
Software Engineering and Formal Methods - Events
  • If you know of a high quality resource for this sub-category of this topic, please suggest it
..........Back to Top
 
Software Engineering and Formal Methods - Related Topics
3GLs - 4GLs - Active X - Ada - APL - Application Development Environment - Application Development Tools (desktop databases) - Applications Integration - Assemblers - Basic - Borland - CASE - C/C++ - Clarion - CA-Clipper - Client Server - COBOL - CORBA/ORB - Compilers - Cross-Platform Conversion - Database Administration - Database Connectivity - Database Server - Data Conversion - DB2 - Delphi - Desktop Databases - Editors - Eiffel - Fortran - Informix - Ingres - Java - JavaScript - JDBC - Lisp - M ( Mumps ) - Memory Management - Middleware - Modelling Tools - MS Access - mySQL - Object Orientation - Object Oriented Databases - Object Oriented Programming - ODBC - Oracle - Pascal - Perl - PHP - PowerBuilder - Programming Tools - Progress - Project Management - Rapid Applications Development (RAD) - Relational Database Management Systems (RDBMS) - Software Audit - Software Components - Software Development Management - Software Engineering - Software Testing - SQL Server - Sybase - Unified Modelling Language (UML) - Visual Basic - Visual dBase - Visual FoxPro - Visual Studio - Xbase
..........Back to Top
 
Software Engineering and Formal Methods - Books
..........Back to Top
 
Software Engineering and Formal Methods - Key Manufacturers
If your company offers Products applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
..........Back to Top
 
Software Engineering and Formal Methods - Key Solutions Providers
If your company offers Products and/or Services applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
..........Back to Top
 
Software Engineering and Formal Methods - Key Service Providers
If your company offers Services applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
..........Back to Top
 
Software Engineering and Formal Methods - Key Training Providers
If your company offers Training Services applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
..........Back to Top
 
©Copyright The Computer Information Center 1995 - 2002
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, nor for information provided through that site. The ownership of all trademarks, etc. referred to on this site is acknowledged