1021 search results - page 13 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
102
click to vote
EUROPLOP
2006
15 years 14 days ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
126
click to vote
COMSIS
2010
14 years 8 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
REFSQ
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
103
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
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 ...
88
Voted
CADE
2001
Springer
15 years 11 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...