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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,60e2922351e0e780 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-11-13 23:05:57 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.mathworks.com!wn13feed!wn12feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi.com!attbi_s03.POSTED!not-for-mail From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: Clause "with and use" References: X-Newsreader: Tom's custom newsreader Message-ID: NNTP-Posting-Host: 12.234.124.41 X-Complaints-To: abuse@comcast.net X-Trace: attbi_s03 1068793556 12.234.124.41 (Fri, 14 Nov 2003 07:05:56 GMT) NNTP-Posting-Date: Fri, 14 Nov 2003 07:05:56 GMT Organization: Comcast Online Date: Fri, 14 Nov 2003 07:05:56 GMT Xref: archiver1.google.com comp.lang.ada:2476 Date: 2003-11-14T07:05:56+00:00 List-Id: >> So in a 150 package system with goodness 5, if a package can be split >> with no more than 8 specs that will need to 'with' *both* A1 and A2, and >> no more than 9 such bodies, doing the split will make the system "better". > >You forgot the with clauses on package A. Huh? The old system had a package A, but package A has been eliminated from the new system. Instead there are two new packages A1 and A2. Some places that used to say "with A;" now say "with A1;" or "with A2;", so their total number of "with"s is unchanged. But some that used to say "with A;" now have to have "with A1, A2;" so the number of "with"s (the numerator) has increased. OTOH, the number of packages (the denominator) has increased also. In the 150 package example, N*ln(N) was 751.65, Goodness was 5, so 2*S+B = 3758. After splitting A, we have 2*S+B = 3758+2*8+9= 3783 and 151*ln(151)= 757.57 so the new Goodness is 4.994, an improvement.