comp.lang.ada
 help / color / mirror / Atom feed
* is ada dead?
@ 2001-07-05 21:56 tyler spivey
  2001-07-05 23:11 ` James Rogers
                   ` (8 more replies)
  0 siblings, 9 replies; 198+ messages in thread
From: tyler spivey @ 2001-07-05 21:56 UTC (permalink / raw)



is ada dead?
is it only used in department of defense?
is it easy/hard to learn? wil it die soon?



^ permalink raw reply	[flat|nested] 198+ messages in thread
* Ada and UML
@ 2001-08-04  9:55 Paul Foster
  0 siblings, 0 replies; 198+ messages in thread
From: Paul Foster @ 2001-08-04  9:55 UTC (permalink / raw)


This posting is an extension to my previous posting :
Which OO is in ?? - 02/08/2000

I'd like some addition feedback regarding the use of UML on Ada
projects. For those that have used UML or are currently using UML
what have been the main problems? Which features of UML were
difficult if not impossible to implement and what UML subsets if
any were used to overcome these problems. I'm interested in feedback
for Ada83/95, full-blown and subsets (i.e. SPARK etc).

I'd like to know also what CASE tools are being used or are highly
rated.

Thanks to all respondents





^ permalink raw reply	[flat|nested] 198+ messages in thread
* Ada and UML
@ 2010-08-31 10:12 Yannick Duchêne (Hibou57)
  2010-08-31 11:05 ` Yannick Duchêne (Hibou57)
                   ` (2 more replies)
  0 siblings, 3 replies; 198+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2010-08-31 10:12 UTC (permalink / raw)


Hi all,

A few days ago I get to have a look back at UML after a topic linking to  
an assessment stating graphical representations may help in  
design/application validation. Someone argued there is a lack of semantic  
with UML which dismiss its usage ; one topic I agree on, and after some  
reading to be sure, it seems indeed, there does not have a clearly defined  
semantic (*)

Another topic I oftenly read/heard about Ada and UML, is that it is too  
much oriented toward Java/C++, lacking as an example, handling of class  
and package orthogonality which is typical of Ada.

I've just discovered today it seems there is a kind of package visibility  
with UML expression of classes, which could match Ada concept of package:  
the visibility modifier “~” (the Tilde sign) which seems to means “Private  
at package level”. This should be sufficient for Ada. Nevertheless, there  
is nothing like “friend” or “protected” in Ada, as visibility is only  
handled by packages, so this visibility modifiers could just be  
disallowed. Do you think “~” is OK to express visibility handled by  
packages ?

For you who tried Ada and UML, did you noticed some others unsolvable  
matters to express Ada package in UML ?


(*) TBH, some peoples with interests in UML was aware of that, started  
some research on 1997 to draw a formal definition of the UML semantic, but  
any research in that area seemed to end on 2004, without any successful  
completion.

P.S. As the purpose of UML is clearly underspecification, may be the  
question of this thread does not really matters, as Ada is acting at  
implementation level.



^ permalink raw reply	[flat|nested] 198+ messages in thread

end of thread, other threads:[~2010-09-10 20:13 UTC | newest]

Thread overview: 198+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-07-05 21:56 is ada dead? tyler spivey
2001-07-05 23:11 ` James Rogers
2001-07-06  0:21 ` Gerhard Häring
2001-07-06  2:31 ` wzm
2001-07-06  7:47 ` Pascal Obry
2001-07-06 12:12 ` Martin Dowie
2001-07-06 21:33   ` Bobby D. Bryant
2001-07-06 14:04 ` Marin David Condic
     [not found]   ` <3B45E0E9.E3E7BB55@nokia.com>
2001-07-06 16:45     ` Marin David Condic
2001-07-06 18:28 ` Robert Dewar
2001-07-06 19:12 ` Lao Xiao Hai
2001-07-07  1:57   ` Adrian Hoe
2001-07-06 21:36     ` Bobby D. Bryant
2001-07-07 10:53       ` Larry Kilgallen
2001-07-07 18:44         ` James Rogers
2001-07-07 21:19           ` String support (was: is Ada dead?) Larry Kilgallen
2001-07-08  3:15           ` is ada dead? Stephen J. Bevan
2001-07-08  3:46             ` James Rogers
2001-07-08  5:29               ` Stephen J. Bevan
2001-07-09 14:27                 ` Marin David Condic
2001-07-08 11:07             ` Larry Kilgallen
2001-07-08 14:57               ` Stephen J. Bevan
2001-07-08 13:34       ` Me
2001-07-07 18:33     ` James Rogers
2001-07-07 22:41       ` Andrzej Lewandowski
2001-07-08  0:58         ` Larry Kilgallen
2001-07-09  1:33           ` Florian Weimer
2001-07-08  1:45         ` Jeffrey Carter
2001-07-08 17:19           ` Robert C. Leif, Ph.D.
2001-07-08 21:28             ` Larry Kilgallen
2001-07-09  2:46               ` Robert C. Leif, Ph.D.
2001-07-09 10:36                 ` Mandating code quality (was: is Ada dead?) Larry Kilgallen
2001-07-08 10:52         ` is ada dead? Michal Nowak
2001-07-08 22:38           ` Andrzej Lewandowski
2001-07-09  1:20             ` James Rogers
2001-07-09 14:45               ` Marin David Condic
2001-07-09 15:54                 ` Ted Dennison
2001-07-09 20:27                   ` Jerry Petrey
2001-07-09 21:08                     ` Ted Dennison
2001-07-14 16:49                     ` Stefan Skoglund
2001-07-10 23:59                   ` Why " raj
2001-07-14 16:53                     ` Stefan Skoglund
2001-07-14 23:14                       ` James Rogers
2001-07-15 22:57                         ` Stefan Skoglund
2001-07-16 14:00                         ` Trains in the US (was: Why is ada dead?) Ted Dennison
2001-07-10 23:56                 ` Why is ada dead? raj
2001-07-11  2:59                   ` James Rogers
2001-07-09 16:50             ` Michal Nowak
2001-07-15 18:14             ` Lao Xiao Hai
2001-07-16 15:38               ` Marin David Condic
2001-07-16 17:32                 ` Mark Lundquist
2001-07-16 22:18                   ` tmoran
2001-08-01 18:53                     ` "first-mover (dis)advantage" (was Re: is ada dead?) Mark Lundquist
2001-08-02 15:44                       ` Ted Dennison
2001-07-21 16:30                   ` is ada dead? Bertrand Augereau
2001-07-16 18:19                 ` Larry Kilgallen
2001-07-16 18:21                   ` Marin David Condic
2001-07-16 20:14                     ` Gary Scott
2001-07-16 18:26                   ` Mark Lundquist
2001-07-16 21:21               ` Michal Nowak
2001-07-10 23:31         ` raj
2001-07-10 23:32         ` raj
2001-07-10 23:46         ` "garbage dumps are full of superior solutions" raj
2001-07-10 23:47         ` Managers believe that Ada programmers are hard to find raj
2001-07-11  9:38           ` Martin Dowie
2001-07-11 12:39           ` Marc A. Criley
2001-07-11 17:32           ` Jeffrey Carter
2001-07-11 19:05             ` Pat Rogers
2001-07-07 22:37     ` is ada dead? Andrzej Lewandowski
2001-07-08  1:10       ` James Rogers
2001-07-08  1:47       ` Jeffrey Carter
2001-07-08  9:01       ` Pascal Obry
2001-07-08 10:52       ` Michal Nowak
2001-07-08 22:40         ` Andrzej Lewandowski
2001-07-09  1:48           ` James Rogers
2001-07-09 15:11           ` Jerry Petrey
2001-07-09 16:14             ` Al Christians
2001-07-09 19:35               ` Death by analogy Part 1 (was Re: is ada dead?) Michael P. Card
2001-07-09 19:52               ` Death by analogy Part 2 " Michael P. Card
2001-07-09 22:07                 ` Al Christians
2001-07-10  3:38                   ` Michael P. Card
2001-07-10  4:54                     ` Al Christians
2001-07-10 10:54                       ` Robert C. Leif, Ph.D.
2001-07-10 16:58                         ` Al Christians
2001-07-10 17:58                           ` William Dale
2001-07-10 18:39                           ` Michael P. Card
2001-07-10 20:10                             ` Ed Falis
2001-07-10 20:46                               ` Ted Dennison
2001-07-10 20:54                                 ` Ed Falis
2001-07-10 21:15                                   ` Ted Dennison
2001-07-10 21:29                                     ` Ed Falis
2001-07-10 21:10                               ` Al Christians
2001-07-10 21:26                                 ` Marin David Condic
2001-07-10 21:26                                 ` Ed Falis
2001-07-10 21:48                                   ` Ted Dennison
2001-07-10 21:56                                   ` Marin David Condic
2001-07-11  1:59                                     ` Ed Falis
2001-07-11  2:38                               ` DuckE
2001-07-11 21:00                                 ` Ed Falis
2001-07-12  1:42                                   ` DuckE
2001-07-12 10:54                                   ` UML for Ada raj
2001-07-12  8:03                                 ` Death by analogy Part 2 (was Re: is ada dead?) David Humphris
2001-07-13  2:43                                   ` DuckE
2001-07-23 21:53                                     ` Greg Bek
2001-07-20  7:49                                   ` Lao Xiao Hai
2001-07-10 20:26                             ` Ted Dennison
2001-07-10 20:39                             ` Al Christians
2001-07-10 20:42                               ` Ed Falis
2001-07-10 20:53                                 ` Marin David Condic
2001-07-10 21:11                               ` Michael P. Card
2001-07-11  5:25                                 ` Ada and UML raj
2001-07-11  9:40                                   ` David C. Hoos, Sr.
2001-07-13 19:00                                   ` Nick Williams
2001-07-13 19:46                                     ` Ted Dennison
2001-07-17  8:25                                       ` David Humphris
2001-07-16  0:56                                     ` Ken Garlington
2001-07-16  1:57                                       ` Ada and UML - Rational dropping Ada? Jeff Creem
2001-07-16 17:37                                         ` Ken Garlington
2001-07-17 18:59                                       ` Ada and UML Simon Wright
2001-07-23 14:38                                         ` John Kern
2001-08-04  6:29                                           ` Simon Wright
2001-07-11  0:25                             ` Sure FIRM is lost, but really, who cares raj
2001-07-11  0:33                             ` Death by analogy Part 2 (was Re: is ada dead?) Robert C. Leif, Ph.D.
2001-07-10 12:58                     ` John Kern
2001-07-10 13:59                   ` Marin David Condic
2001-07-10  1:21               ` is ada dead? Pat Rogers
2001-07-10  2:29                 ` Al Christians
2001-07-09  1:44       ` Florian Weimer
2001-07-08 21:05         ` Bobby D. Bryant
2001-07-09 10:43           ` One True Language (was: is Ada dead?) Larry Kilgallen
2001-07-09 15:09           ` is ada dead? Ted Dennison
2001-07-14 18:40           ` Stefan Skoglund
2001-07-09  2:37       ` Adrian Hoe
2001-07-07 23:03 ` chris.danx
2001-07-09 15:22   ` Ted Dennison
2001-07-09 16:13     ` chris.danx
2001-07-10  9:02     ` Emmanuel Briot
2001-07-10 10:29       ` Contributing patches to GPL Ada projects (was: Is Ada dead?) Larry Kilgallen
2001-07-10 12:44         ` Emmanuel Briot
2001-07-10 15:24           ` Ted Dennison
2001-07-10 22:33             ` Robert Dewar
2001-07-11  7:46               ` Florian Weimer
2001-07-11 13:07               ` Marc A. Criley
2001-07-11 16:26                 ` Robert Dewar
2001-07-11 13:41               ` Ted Dennison
2001-07-11 16:30                 ` Robert Dewar
2001-07-11 17:45                   ` Ted Dennison
2001-07-14 14:05                     ` Robert Dewar
2001-07-16 15:38                       ` Ted Dennison
2001-07-16 17:37                         ` Ken Garlington
2001-07-11 12:35           ` McDoobie
2001-07-12  8:16             ` Emmanuel Briot
2001-07-14 19:48               ` Stefan Skoglund
2001-07-15  0:16                 ` McDoobie
2001-07-18 16:17                 ` Stephen Leake
2001-07-18 17:55                   ` Pascal Obry
2001-07-19 23:13                   ` Stefan Skoglund
2001-07-20 17:05                     ` Stephen Leake
2001-07-10 13:58       ` is ada dead? Ted Dennison
2001-07-10 17:04       ` Pascal Obry
  -- strict thread matches above, loose matches on Subject: below --
2001-08-04  9:55 Ada and UML Paul Foster
2010-08-31 10:12 Yannick Duchêne (Hibou57)
2010-08-31 11:05 ` Yannick Duchêne (Hibou57)
2010-08-31 11:54   ` Yannick Duchêne (Hibou57)
2010-08-31 16:34     ` Matteo Bordin
2010-08-31 21:20       ` nobody
2010-09-02  0:19         ` Yannick Duchêne (Hibou57)
2010-09-02  6:14           ` Simon Wright
2010-09-02 20:33           ` nobody
2010-08-31 23:14       ` Yannick Duchêne (Hibou57)
2010-08-31 23:31         ` Yannick Duchêne (Hibou57)
2010-09-01  8:20         ` Matteo Bordin
2010-09-01 18:44           ` Simon Wright
2010-09-01 21:56             ` Simon Wright
2010-09-02  1:18             ` Yannick Duchêne (Hibou57)
2010-09-02 10:25               ` Brian Drummond
2010-09-02  0:43           ` Yannick Duchêne (Hibou57)
2010-09-02  7:50             ` Georg Bauhaus
2010-09-02 23:05               ` Yannick Duchêne (Hibou57)
2010-09-03  4:19                 ` Yannick Duchêne (Hibou57)
2010-09-03  6:54                   ` Matteo Bordin
2010-09-03 10:20                     ` Yannick Duchêne (Hibou57)
2010-09-03 11:33                       ` sjw
2010-09-03 13:18                   ` Hibou57 (Yannick Duchêne)
2010-09-03 16:14                     ` Matteo Bordin
2010-09-04 14:51                       ` Yannick Duchêne (Hibou57)
2010-09-06  9:21                         ` Matteo Bordin
2010-09-07 18:25                         ` Yannick Duchêne (Hibou57)
2010-09-03 16:16                     ` Matteo Bordin
2010-09-03 19:39                       ` Simon Wright
2010-08-31 18:25 ` Martin Krischik
2010-09-01  8:40   ` sjw
2010-09-02  0:22   ` Yannick Duchêne (Hibou57)
2010-09-02  4:48     ` J-P. Rosen
2010-09-02 10:34       ` Brian Drummond
2010-09-02 13:00         ` Robert A Duff
2010-09-02 13:24           ` Yannick Duchêne (Hibou57)
2010-09-10 20:13 ` Yannick Duchêne (Hibou57)

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox