1481 search results - page 56 / 297 » Enriching the Software Development Process by Formal Methods |
137
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper depicts the evolution of enterprise architectures to their today often used service-oriented form and presents a state-of-the-art development process for this kind of a...
155
click to vote
TSE
2010
15 years 1 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
125
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
114
click to vote
SDE
1991
15 years 6 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
147
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...