Sciweavers

2373 search results - page 89 / 475
» The Design of the Zinc Modelling Language
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 1 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
WWW
2006
ACM
16 years 2 months ago
DemIL: an online interaction language between citizen and government
Electronic democracy should provide information and service for the citizens on the Internet, allowing room for debate, participation and electronic voting. The languages being ad...
Cristiano Maciel, Ana Cristina Bicharra Garcia
SAC
2006
ACM
15 years 7 months ago
KALA: Kernel Aspect language for advanced transactions
Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspe...
Johan Fabry, Theo D'Hondt
DAC
2008
ACM
16 years 2 months ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...
AGTIVE
2007
Springer
15 years 5 months ago
Domain Specific Languages with Graphical and Textual Views
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
Francisco Pérez Andrés, Juan de Lara...