Re: SproutMethod.pdf

From: Universe (universe_at_covad.net)
Date: 11/21/03 

Date: Fri, 21 Nov 2003 16:37:08 -0500

"Bruno Desthuilliers" <bdesth.nospam@removeme.free.fr> wrote in message

> Tsolak Petrosian wrote:

> > Bruno Desthuilliers <bdesth.nospam@removeme.free.fr> wrote in message

> >>Tsolak Petrosian wrote:
> >>>The key purpose of software is to simulate real world which inherently
> >>>makes it to behave like real world (human psychology etc) which
> >>>implies that applying math to software is equal to applying math to
> >>>real world.

> >>Err... I'd really like to see you mathematically prove what you assert.
> >>
> >>(snip)
> >>
> >>Bruno

> > x=y => x*z=y*z or x+z=y+z
> >
> > :)

> tss.... you're not proving anything here. Please prove that :

Right, there *is* a smiley present. :- }

> A : "The key purpose of software is to simulate real world"

The purpose of software is to fulfill client use cases.

> B : "software behaves like real world"

After a deep breath, and honest reflection, most should agree that whatever
we do we want to do it with the least complexity. That is unless the
context is something like an "obfuscation" contest.

Nygaard and Dahl right up until they recently passed emphasized that they
created OO in the first place to reduce complexity. The use cases they were
tackling, begged for a greater reduction in conceptual complexity than
existing sw engineering paradigms like the formal grammars, logic based
models, pure Abstract Data Types, and Structured could provide.

This led Nygaard and Dahl to extend and grow suitable nuggets from the
foregoing paradigms into a parafigm where:
    ~ objects that expressed central domain roles are the core granule of
            abstraction
    ~ these objects are set in motion by assigning the relevant
properties of the
            interaction between domain key roles to relationships between
the model
            objects
    ~ emphasis was placed upon creating families of similar ADT like
types and
            ability to easily swap amongst family types during program
run-time. I.e
            polymorphism

> C : "real world is 'human psychology etc'"

The "real world pyschology" is significant insofar as the nature of model
ling with collaborating objects was intended to be closer to less complexity
for human cognition.

> D : (A implies B) and C

I think with honest effort one can see how A, B and C are related and make
sense in terms of each other.

> E : D implies that "applying math to software is equal to applying math
> to real world".

For a well, competent, or optimally designed program based upon the OO
paradigm as explained in A, B, and C, whose scope or use cases taken as a
whole is to do math processing, what is going on should be evident in terms
of the math and parts of the world the math is being applied to.

> Unless you prove A and B and C and D and E, your argument is not valid.

Whatcha' think? Huhhhh? OK, we're at least *very*, *very* close! :- }
C'mon now! :- }

Elliott 

--
Though types are contextually based, they are **objectively true** for
the context
--
Be bold, be artistically imaginative, yet scientifically grounded -- DO
GREAT  OO  MODELLING  WITH  OBJECTS  OF  ALL  TYPES!!

Relevant Pages

  • Re: JSH: One of the great relations?
    ... but must not that complexity must grow by time to avoid repetition of old math. ... about the obsolete work of dead people who used to do ...
    (sci.math)
  • Re: ...Why Space Solar Power should be the future of NASA!
    ... I spent the four years needed to get a math degree. ... predicting a stock market crash is like ... You can't even grasp the core idea in complexity science which allows ... is now analogous to uncertainty. ...
    (sci.space.policy)
  • Re: TDD and Refactoring
    ... Replacing temps with queries produced method explosions in the key ... As complexity increases, I'd expect that there is something to do about ... besides Extract Method, as you know, and Extract Method alone does tend to add ... I'm also wondering why there were special cases in the math. ...
    (comp.object)
  • Re: A Question about Number Theory - A Newbie
    ... Does it have any complexity? ... Number theory is an advanced field of math, ... particularly useful in cryptography are prime numbers, ... numbers, and modular groups. ...
    (comp.security.misc)