3564 search results - page 191 / 713 » Evaluating a Formal Modelling Language |
155
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
149
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
150
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
187
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
172
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...