16859 search results - page 2910 / 3372 » Generative software development |
202
click to vote
FMCAD
2009
Springer
16 years 2 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
196
click to vote
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
193
click to vote
ICMT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
235
click to vote
KIVS
2009
Springer
16 years 2 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
214
click to vote
OOPSLA
2009
Springer
16 years 2 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...