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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2ff5c149712ec0eb
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.germany.com!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 29 May 2007 01:32:50 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
Organization: elsewhere
User-Agent: Thunderbird 1.5.0.10 (Macintosh/20070221)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada Interfaces and the Liskov Substitution Principle
References: <Pine.LNX.4.64.0705232101220.20072@th.informatik.uni-mannheim.de>
 <1179953657.839272.160320@a26g2000pre.googlegroups.com>
 <f32d9o$fi9$1@jacob-sparre.dk>
 <1179991769.376381.252010@m36g2000hse.googlegroups.com>
 <12h6mi42jcha0.7f9vfsnihjwr$.dlg@40tude.net>
 <1180003336.1163.29.camel@kartoffel> <83abvs7sa9.fsf@hod.lan.m-e-leypold.de>
 <465aa5ba$0$23147$9b4e6d93@newsspool1.arcor-online.net>
 <qa3sb6w0a0n9.i2vpzirsrrfc.dlg@40tude.net>
In-Reply-To: <qa3sb6w0a0n9.i2vpzirsrrfc.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <465b6606$0$10188$9b4e6d93@newsspool4.arcor-online.net>
NNTP-Posting-Date: 29 May 2007 01:30:14 CEST
NNTP-Posting-Host: d943b847.newsspool4.arcor-online.net
X-Trace: 
 DXC=O^SVD3KlXK[@@RW1FjIB5S4IUK<Cl32<Q4Fo<]lROoRQ4nDHegD_]RU4NnAmBHB<PQA:ho7QcPOVSR@Q_PXM7iU_k\gAelE4QgY
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15958
Date: 2007-05-29T01:30:14+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:

>> If I had the money, I'd put up a challange that triggers some
>> programming oriented model research (as opposed to research that
>> will move the focus of modelling to formal properties of models
>> only.)
> 
> Difference?

The idealized difference between programming oriented (model) research
and researching formal properties of models is that, in the first case,
you do not start from models only and then find different models,
refine existing models etc.. You start in the programming shop, so to
speak.
  In fact, this is happening. For example, timing properties of
co-operating procedures are captured in mathematical models. This is
different from the ubiquitously alleged mathematicality of programming:
that programs model mathematical functions. Some programs do, but is this
all that matters? Shouldn't the relation between programs and mathematical
functions be reversed? Wait, it is!