Re: Presentations on-line - Ada&SPARK for Education&Research - Article 778 - go-pugleaf

Article View: nl.comp.programmeren

Article #778

Back to nl.comp.programmeren Previous Next

Re: Presentations on-line - Ada&SPARK for Education&Research

#778

From: Michael Schumacher
Date: Wed, 03 Mar 2010 12:45

28 lines
2611 bytes

Dirk Craeynest wrote:

>                   T e c h n o l o g y   U p d a t e :
>                        A d a   a n d   S P A R K
>           f o r   e d u c a t i o n   a n d   r e s e a r c h
> 
>        State-of-the-art programming language technology with Ada
>             Formal specifications made practical with SPARK
> 
>      http://distrinet.cs.kuleuven.be/events/AdaEvent/abstracts.html

Aus jener URL: "SPARK is a formally-defined programming language based
on Ada, intended to be secure and to support the development of
high-integrity software."

Und dabei wurde doch immer beteuert, Ada sei bereits das Nonplusultra
in Sachen Sicherheit und Hochintegrität bei Software!  Erinnert mich
irgendwie fatal an "WfW, based on DOS" (Fenster für Würggruppen, auf
Denial-of-Service basierend).

Nach "Ruby on Rails" jetzt also "SPARK on Ada" -- da wartet man doch
förmlich schon auf Struwwelkopps ultimativen Gegenschlag: zu Enden
alle Sprachkriege und zu Einen alle erdenklichen Oops^WParadigmen:
"C++ on Steroids" -- dagegen kann sich Goslings "Jahwe on the Rocks"
nur noch in seinen eigenen Containern einpacken!

mike, basierend auf 35 Jahren IT-Werbung und realer Programmierpraxis

Technical Details

Message-ID: <2708469.9hR6408zBT@misc.albasani.net>

Path:

arc1-ca.pugleaf.net!g2news1.google.com!news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!feedme.ziplink.net!nocworld.net!feeder.erje.net!news2.arglkargh.de!news.albasani.net!not-for-mail

References: <hmjvjb$orv$1@asgard.cs.kuleuven.be>

Show Full Headers

Complete Article Headers

X-Google-Thread: 5b6feeba4,2205364e74d68bbf
X-Google-Attributes: gid5b6feeba4,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: GERMAN,UTF8
Path: arc1-ca.pugleaf.net!g2news1.google.com!news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!feedme.ziplink.net!nocworld.net!feeder.erje.net!news2.arglkargh.de!news.albasani.net!not-for-mail
From: Michael Schumacher <misc_@gmx.de>
Newsgroups: nl.comp.programmeren,de.comp.lang.misc,lu.comp,fr.comp.developpement,uk.comp.misc
Subject: Re: Presentations on-line - Ada&SPARK for Education&Research
Followup-To: de.comp.lang.misc,de.talk.unmut
Date: Wed, 03 Mar 2010 13:45:33 +0100
Organization: private Linux site on planet Earth
Lines: 28
Message-ID: <2708469.9hR6408zBT@misc.albasani.net>
References: <hmjvjb$orv$1@asgard.cs.kuleuven.be>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8Bit
X-Trace: news.albasani.net JGUT1zPjw2Yx3JGdyyKDEer5L9MGcWVylTKOyicDLIOsQWiJ6kGG+Qxen9TYDfrHIqDwJE1tXYATQtytPcedF76aiVBFr2/PRqW5hDghUyqI6CEB6nBqIOYpG5ucTfOb
X-Complaints-To: abuse@albasani.net
NNTP-Posting-Date: Wed, 3 Mar 2010 12:45:48 +0000 (UTC)
X-User-ID: HNISRcJqpVrJwudFHgiwrcs+R7GL9H5l6s62N3c6UoA=
Cancel-Lock: sha1:vxLqi4Dly61EBWd1WhfBgcoDUTM=
X-NNTP-Posting-Host: a602SXdRPihMUoYEKkUTvKszxFprLPt3tbHfZxI0/hY=
X-Original-Bytes: 2471

Reply to Parent Message