351 search results - page 29 / 71 » Prototyping a Visual Formalism for System Modelling |
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
JOT
2010
13 years 7 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
TOOLS
1999
IEEE
14 years 27 days ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
GIS
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
FOIS
2001
13 years 10 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...