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  []