2722 search results - page 509 / 545 » Automating Language Evolution |
127
click to vote
ER
2010
Springer
15 years 26 days ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
177
click to vote
SIES
2010
IEEE
15 years 22 days ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
113
click to vote
UIST
2010
ACM
15 years 22 days ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
150
click to vote
BPM
2009
Springer
15 years 21 days ago
2009
Springer
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
119
Voted
EDM
2009
15 years 20 days ago
2009
Students in introductory programming classes often articulate their questions and information needs incompletely. Consequently, the automatic classification of student questions to...