650 search results - page 10 / 130 » Modeling SPARK systems with UML |
UML
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
103
click to vote
UML
2000
Springer
15 years 1 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
DAGSTUHL
2006
14 years 11 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...