An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Category theory (CT) is a branch of mathematics concerned with the representation and composition of structured relationships. Recent interest in systems
Spencer Breiner, Eswaran Subrahmanian, John Dusel, John Foley
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine readable designs increases
Sarala Padi, Spencer J. Breiner, Eswaran Subrahmanian, Ram D. Sriram
In this paper we analyze elements of the Unified Modeling Language (UML), specifically the class diagram, and propose an simplified alternative language based
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is