532 search results - page 76 / 107 » The UML as a Formal Modeling Notation |
172
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
136
click to vote
IFM
2009
Springer
16 years 22 days ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
161
click to vote
IFM
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
174
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
138
click to vote
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...