16859 search results - page 55 / 3372 » Generative software development |
101
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
149
click to vote
TOSEM
2008
15 years 1 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
115
click to vote
DAGSTUHL
2009
15 years 2 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
103
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...