6343 search results - page 93 / 1269 » Development of a Cartographic Language |
143
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...
150
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
245
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
115
click to vote
COLING
2008
15 years 6 months ago
2008
We present a chain of tools used by grammarians and computer scientists to develop grammatical and lexical resources from linguistic knowledge, for various natural languages. The ...
166
Voted
POPL
2012
ACM
14 years 2 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...