Sciweavers

622 search results - page 26 / 125
» Joint Language and Domain Engineering
Sort
View
SAC
2008
ACM
13 years 8 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
GREC
2007
Springer
14 years 16 days ago
Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments
Computer understanding of visual languages in pen-based environments requires a combination of lexical analysis in which the basic tokens are recognized from hand-drawn gestures an...
Adrian C. Bickerstaffe, Aidan Lane, Bernd Meyer, K...
AIEDAM
2007
105views more  AIEDAM 2007»
13 years 8 months ago
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...
Ivey Chiu, L. H. Shu
POPL
2009
ACM
14 years 9 months ago
Compositional shape analysis by means of bi-abduction
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
ENTCS
2006
115views more  ENTCS 2006»
13 years 8 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...