16725 search results - page 2886 / 3345 » Engineering Software Correctness |
192
click to vote
OOPSLA
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
165
click to vote
PROFES
2004
Springer
16 years 5 days ago
2004
Springer
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
174
click to vote
UML
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
199
click to vote
ECBS
2010
IEEE
16 years 4 days ago
2010
IEEE
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
172
click to vote
ACSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...