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=0.1 required=5.0 tests=BAYES_05,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
From: Nasser
Subject: Re: Safety-critical development in Ada and Eiffel
Date: 1997/08/20
Message-ID: <5tepdu$g8b@drn.zippo.com>#1/1
X-Deja-AN: 268321127
References: <33E09CD5.634F@flash.net> <EEJ4B7.40p@syd.csa.com.au>
 <33E9ADE9.4709@flash.net> <5siqrr$3of@jupiter.milkyway.org>
 <5smgts$p68$1@miranda.gmrc.gecm.com> <33EFCCE4.4CE0@flash.net>
 <5sskfd$nn5$2@miranda.gmrc.gecm.com> <33F25AA5.49ED@flash.net>
 <5t1fen$c7d$1@miranda.gmrc.gecm.com> <33F52989.38BB@flash.net>
 <33F83585.2FB006C3@munich.netsurf.de> <33FA76D7.21D9@flash.net>
 <33FAB35A.18AA15BB@calfp.co.uk>
Organization: None
Newsgroups: comp.lang.ada
Date: 1997-08-20T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <33FAB35A.18AA15BB@calfp.co.uk>, Nick says...
>
>> Said another way, could you write "War and Peace" as a "top-level"
>> abstraction?
>
>Ok.
>
>A hit B and made up.
>

I dont think This is abstract enough. too much detailes exposed 
to the client. How about representing "war" and "peace" as object instances of
abstract class "Mixed feelings" , and the "making up" part  is a method 
implemented as a generic instantiation of some "human act <>" function?

I think you'll agree this is more abstract than "A hit B and make up" .

Nasser