3564 search results - page 255 / 713 » Evaluating a Formal Modelling Language |
180
click to vote
JUCS
2008
15 years 6 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
161
click to vote
ECOOP
2007
Springer
16 years 23 days ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
191
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
175
click to vote
ICECCS
2005
IEEE
16 years 6 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
207
click to vote
AGTIVE
2003
Springer
15 years 12 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...