Sciweavers

1613 search results - page 148 / 323
» Model-Driven Constraint Engineering
Sort
View
FSTTCS
1993
Springer
15 years 8 months ago
Compact Location Problems
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
Venkatesh Radhakrishnan, Sven Oliver Krumke, Madha...
PEPM
1993
ACM
15 years 7 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
PEPM
1995
ACM
15 years 7 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
Michael Leuschel, Danny De Schreye
SIGSOFT
2007
ACM
16 years 4 months ago
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
Macneil Shonle, William G. Griswold, Sorin Lerner
AGILEDC
2009
IEEE
15 years 10 months ago
Experiences Applying Agile Practices to Large Systems
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
Harry Koehnemann, Mark Coats