4895 search results - page 396 / 979 » Tools for Grammar Engineering |
193
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
168
click to vote
EWSPT
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a prototype for supporting distributed, mobile software processes. The prototype allows instantiated process models to be distributed in different workspaces, ...
157
click to vote
AUIC
2005
IEEE
15 years 8 months ago
2005
IEEE
User-interface metaphors are not well understood in terms of their relationships and qualities. They are, however, constantly used both consciously and unconsciously in most user-...
154
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
153
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...