Sciweavers

1021 search results - page 20 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
122
Voted
HCI
2009
15 years 1 months ago
Tooling the Dynamic Behavior Models of Graphical DSLs
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
Tihamer Levendovszky, Tamás Mész&aac...
134
Voted
MATA
2000
Springer
104views Communications» more  MATA 2000»
15 years 7 months ago
Modeling an OMG-MASIF Compliant Mobile Agent Platform with the RM-ODP Engineering Language
In order to model telecommunications services as mobile agent system, we are defining a methodology based on the RM-ODP standards. Our approach makes the distinction between the se...
Florin Muscutariu, Marie-Pierre Gervais
115
Voted
ENGL
2008
100views more  ENGL 2008»
15 years 3 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
121
Voted
C++
1994
128views more  C++ 1994»
15 years 5 months ago
Implementing Signatures for C++
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
Gerald Baumgartner, Vincent F. Russo
131
Voted
CPAIOR
2004
Springer
15 years 7 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz