Unified Modeling Language (UML).  It is the industry-standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems.

Book: Real time ULM: Developing efficient object for embedded  systems.

CD: Free ULM tutorial

Rational Rose: Object-Oriented Analysis, Modeling, Design, and Construction Tools

Evaluation copie

Software through Pictures

Hi-Lite: Hi-Lite is an Open Source project financially supported by the French Government and the Essone general council in an effort to increase the use of formal methods in developing high-integrity software, particularly to meet the forthcoming DO-178C avionics standard.

Hi-Lite Resources: Tutorials, papers, presentations...

SEI:  Software Engineering Institute (Carnegie Mellon University):

Capability Maturity Model for Software (CMM) - Not a model but a simple tool for identifying areas where an organization's software process needs improvement

The Personal Software Process (PSP):  provides software engineers a way to improve the quality, predictability, and productivity of their work

A comparison of ISO 9001 and the Capability Maturity Model for Software

Software Productivity Center (Vancouver)

Software Development and Project Management Resources: Free Online Tool, Design and Programming, Estimation, Metrics, Product Managemen, Project Management, Requirements, Soft Skills, Software and Internet Development Processes, including ISO and CMM standards, Testing, User Interface and Human Computer Interaction (HCI), etc...

CGLA:  Centre de Génie Logiciel Appliqué (Québec) 

ESI: European Software Institute 

Software Productivity Consortium:  Detail the variety of process improvement models, with a page describing each one. 

Software Technology Support Center: 

Personal Software Process: addresses an individual developer's ability to consistently deliver high quality software products in a timely manner

CRIM: Centre Recherche Informatique de Montréal

five primary life cycle processes:

1. Acquisition  process
2. Supply process
3. Development  process 
4. Operation  process
5. Maintenance process

eight supporting processes:

1. Documentation process
2. Configuration managment process 
3. Quality assurance process 
4. Verification process
5. Validation process
6. Joint review process
7. Audit process 
8. Problem resolution process

four organizational life cycle processes:

1. Management process
2. Infrastructure process
3. Improvement process
4. Training process

Each process is divided intro a set a activities; each activity is divided into a set of tasks.

SPICE:  Software Process Improvement and Capability dEtermination. 

SPICE is a major international initiative to support the development of an International Standard for Software Process Assessment. 

RTCA DO-178B published by RTCA provides guidelines for the production of airborne systems equipment software.

University of South California: Center for Software Engineering:

COnstructive COst MOdels (COCOMO).These models attempt to estimate impacts on software system cost, development schedule, and even return on technology investment associated with a variety of software development approaches and processes.

Software Process Modeling with System Dynamics.

Object-Oriented Metric Publications.

SW Engineering, Swiss Federal Institute of Technology in Lausanne, Switzerland.

Ingénierie du logiciel avec Ada: Ecole Polytechnique de Montréal, Québec

ISO software standard:  development, quality assurance, ...

Next conferences: 

27th International Safety Conference, Huntsville, USA, Alabama, August 3-7 2009

Past conferences's reports:

26th International Safety Conference, Vancouver, British Columbia, Canada, August 25-29 2008