From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,486d4972706e99db
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
From: =?iso-8859-15?Q?Yannick_Duch=EAne_=28Hibou57=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Bug rate and choice of programming language
Date: Mon, 16 Aug 2010 19:48:17 +0200
Organization: Ada At Home
Message-ID: <op.vhjk2ru0xmjfy8@garhos>
References: <9b242840-3400-4d5c-aa1e-db238701aebe@l6g2000yqb.googlegroups.com>
 <3e1c5adb-a0b8-4ffd-9268-fcaa2e3ad13c@v15g2000yqe.googlegroups.com>
 <op.vg8y581rxmjfy8@garhos> <m2eie5zp69.fsf@pushface.org>
NNTP-Posting-Host: k3GxHhLOzON8NRi+WQWeSw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.61 (Win32)
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feed.ac-versailles.fr!news.ecp.fr!aioe.org!not-for-mail
Xref: g2news1.google.com comp.lang.ada:13422
Date: 2010-08-16T19:48:17+02:00
List-Id: <comp.lang.ada>

Le Wed, 11 Aug 2010 07:36:14 +0200, Simon Wright <simon@pushface.org> a =
 =

=E9crit:
> 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 t=
he  =

semantic point, dropping everything around (tools, methods, and others).=


I get some time yesterday to select some document which I will read in t=
he  =

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 translati=
ng  =

a language into another, which is just a source of errors, complexity, a=
nd  =

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/seman=
tic_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 understandab=
le  =

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-Soft=
Vis-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.