Sciweavers

4469 search results - page 34 / 894
» A Language for Role Specifications
Sort
View
130
Voted
INFSOF
2006
158views more  INFSOF 2006»
15 years 3 months ago
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
Ki Jung Hong, Tag Gon Kim
133
Voted
COORDINATION
2000
Springer
15 years 7 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
150
Voted
UML
2005
Springer
15 years 9 months ago
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
Jacky Estublier, Germán Vega, Anca Daniela ...
111
Voted
ENTCS
2008
71views more  ENTCS 2008»
15 years 3 months ago
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...
Leonard G. C. Hamey, Shirley Goldrei
160
Voted
FP
1992
135views Formal Methods» more  FP 1992»
15 years 7 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....