James Brawer

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
To more esficiently cover the wide spectrum of conceptual modeling applications (CAD, I.S., multi-media, etc), we envision multi-paradigm design environments that have the reasoning capability to support specification of " correct " schemata. Any system of this kind should have a sound and complete formal basis, This paper introduces a formal system for(More)
  • 1