16859 search results - page 392 / 3372 » Generative software development |
172
Voted
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
181
Voted
CGO
2003
IEEE
16 years 3 days ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
162
click to vote
WSC
2007
15 years 9 months ago
2007
Stochastic simulations involve at least some random inputs. This introductory tutorial is meant to call attention to the need to model and generate such inputs in ways that may no...
179
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
222
click to vote
IJCAT
2010
15 years 5 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...