16859 search results - page 60 / 3372 » Generative software development |
MODELLIERUNG
2001
15 years 2 months ago
2001
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
121
click to vote
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
129
click to vote
PADL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
108
click to vote
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
101
click to vote
SEW
2005
IEEE
15 years 7 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...