3335 search results - page 102 / 667 » A Unified Approach to Modeling and Programming |
171
click to vote
SCAM
2008
IEEE
16 years 23 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
153
click to vote
SERP
2004
15 years 7 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
232
click to vote
WEA
2010
Springer
16 years 26 days ago
2010
Springer
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
165
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
186
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...