On 04/15/2005 08:36 PM, Robert Dewar wrote: [snip]
As I said, templates and Ada generics cause trouble with certification requirements in two respects. First, they have the potential to intefere with required traceability from source to object. Second, there are a number of formal techniques that are used in certification for which support of generics/templates is an issue. Visit the praxis site (www.praxis-his.com) for more insight into this issue.
Robert,
I briefly looked at several papers from:
http://www.praxis-his.com/publications/
but found no mention of generic or templates any of:
c_by_c_better_cheaper.pdf principled_design_oo.pdf systems_not_just_sw.pdf
could you provide a specific link to something on www.praxis-his.com to help us out?
TIA.
-Larry
