Re: Bug rate and choice of programming language

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Wed, 11 Aug 2010 07:36:14 +0200, Simon Wright <simon@pushface.org> a  
écrit:
> UML is not a good match for full Ada (not sure it's that good a match
> for Java, come to that; mainly because it's a hotchpotch of
> techniques without a huge amount of semantic precision).

Here is the focus word: semantic. You gave me the idea to come back to the  
semantic point, dropping everything around (tools, methods, and others).

I get some time yesterday to select some document which I will read in the  
coming days to see if a useful semantic is really there or not. My  
requirement is that if there is really a clear semantic, it should be  
abstract enough, as for precisely expressing things, there are already  
many things else (other languages). Otherwise, this would just lead to  
something which would add unexpected complexity (this would be translating  
a language into another, which is just a source of errors, complexity, and  
no an aid).

If ever some ones are interested, here are the documents :

The first two ones are the most accessible.
http://www.ibm.com/developerworks/rational/library/05/317_semantic/semantic_foundations_uml_2_0.pdf
http://www.imamu.edu.sa/DContent/IT_Topics/UML%20Semantics%20FAQ.pdf
The third is from UML authors and is much longer (not well suited for an  
overview)
http://cuiwww.unige.ch/~guyot/TPBD1/UML11/ad970804_UML11_Semantics2.pdf
The fourth looks interresting, because it express a readily understandable  
model (documentations of a Java set of class which express a view of UML  
semantic in a terse way)
http://elmuth.tigris.org/nonav/doc/javadocs/overview-summary.html
And the the fifth last, is interesting in the area of ergonomy and  
usability:
http://isgwww.cs.uni-magdeburg.de/cvse/Forschung/Publikationen/2008-SoftVis-SemanticZooming.pdf

Will be a base material for future personal works


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.