1229 search results - page 32 / 246 » Reflections on the Design of a Specification language |
ENTCS
2010
13 years 8 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
FASE
2008
Springer
13 years 10 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. ...
DAGSTUHL
2006
13 years 9 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
RCC
2002
13 years 8 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
AGTIVE
2007
Springer
14 years 7 days ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...