<--- Back to Details
First PageDocument Content
Science / Technology / Rational Tau / Telelogic / Nokia / Software development process / Communications protocol / Formal specification / Model-based testing / Formal methods / Software development / Unified Modeling Language
Date: 2008-06-04 08:54:43
Science
Technology
Rational Tau
Telelogic
Nokia
Software development process
Communications protocol
Formal specification
Model-based testing
Formal methods
Software development
Unified Modeling Language

Add to Reading List

Source URL: www.fm2008.abo.fi

Download Document from Source Website

File Size: 306,45 KB

Share Document on Facebook

Similar Documents

OctoberHitachi Presentation

OctoberHitachi Presentation

DocID: 1aIzG - View Document

Sparx Systems Company Profile Sparx Systems specializes in high performance and scalable visual tools for the planning, design and construction of software intensive systems. With customers in industries ranging from aer

Sparx Systems Company Profile Sparx Systems specializes in high performance and scalable visual tools for the planning, design and construction of software intensive systems. With customers in industries ranging from aer

DocID: 185Wt - View Document

PDF Document

DocID: 17qJX - View Document

RD-Move User’s Guide This document applies to Ring-Zero Software RD-Move version 2.2.  RD-MOVE DOCUMENTATION

RD-Move User’s Guide This document applies to Ring-Zero Software RD-Move version 2.2. RD-MOVE DOCUMENTATION

DocID: 14G6f - View Document

RD-Move Technical Specifications

RD-Move Technical Specifications

DocID: 14bXx - View Document