TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To: Samuel Mize <[log in to unmask]>
Date: Mon, 30 Nov 1998 22:58:36 -0800
From: Rich Hilliard <[log in to unmask]>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii
Organization: Integrated Systems and Internet Solutions, INC.
MIME-Version: 1.0
Parts/Attachments: text/plain (32 lines)
Samuel Mize wrote:

> One often uses a particular "pattern" or "paradigm" or "idiom"
> to develop a "chunk" of software.  (Intentionally vague.)
> Such paradigms, among other things, always impose constraints
> on how the code should be written.

. . .

> Is there existing work on this kind of semantic support tool?
> Surely so.  Can you give me a pointer to newsgroups, web sites,
> or good key words to search on (like names of prototype tools)?

As in most of computer science, there seem to be two approaches, the
declarative and the procedural :-)
For an example of the declarative approach, see the work at Utrecht:
For an example of the procedural approach, see Alencar and Lichtner's

Rich Hilliard
Director of Architecture
Integrated Systems and Internet Solutions, Inc.
[log in to unmask]
+1 978 318 0000

IEEE Architecture Working Group  []