650 search results - page 2 / 130 » Modeling SPARK systems with UML |
SIGADA
2004
Springer
13 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
COOPIS
2002
IEEE
13 years 10 months ago
2002
IEEE
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi
UML
1998
Springer
13 years 10 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
WOA
2003
13 years 7 months ago
2003
— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...