TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Mime-Version:
1.0
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Subject:
From:
Ada Marketing <[log in to unmask]>
Date:
Wed, 13 Dec 2000 15:28:17 -0500
Content-Type:
multipart/mixed; boundary="------------59A3EB4AE1DE17210EE14B0A"
Reply-To:
Ada Marketing <[log in to unmask]>
Parts/Attachments:
text/plain (345 bytes) , adamark.vcf (171 bytes)

The PolySpace Verifier tool will generate task call graph and scheduleability
graphs.  These are different from pure design diagrams.  This is a French
company but also available through Aonix.  Currently the tool only supports
Ada83, but general task constructs are of course the same in Ada95.  It would
mean however that protected objects are not considered.




ATOM RSS1 RSS2