1097 search results - page 56 / 220 » Revision Programming = Logic Programming Integrity Constra... |
115
click to vote
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
120
click to vote
VL
1995
IEEE
15 years 6 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
139
click to vote
JISBD
2003
15 years 4 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
146
click to vote
JUCS
2010
14 years 10 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
242
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...