1481 search results - page 28 / 297 » Enriching the Software Development Process by Formal Methods |
135
click to vote
ZUM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
119
click to vote
IFIP
1989
Springer
15 years 7 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
255
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
141
click to vote
ENTCS
2006
15 years 3 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
127
click to vote
ESE
2008
15 years 3 months ago
2008
The development of methods tools and process improvements is best to be based on the understanding of the development practice to be supported. Qualitative research has been propo...