Software Engineering - Application and System - Language - resources selection for computer professionals.

Bayesian Networks and Software Metrics Resources (Agena Ltd.)
Introduction
Formal Methods Publications (Oxford University)
Introduction
IEEE Channel: Software Engineering (IEEE)
Introduction
Software Dioxide: The Ecosystem for Software
Introduction
Software engineering FAQs
Introduction
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.
Introduction
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, fo
Introduction
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 computa
Introduction
The World Wide Web Virtual Library: Formal Methods
Introduction
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
Introduction
WWW Virtual Library - Software Engineering
Introduction
comp.arch
Introduction
comp.software-eng
Introduction
comp.theory
Introduction
FAQS - comp.software-eng
Introduction
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction
Automated Software Engineering
Introduction
Keywords: Software Engineering - Application and System - Language
Nb of links = 17

Please Login or Register.