734 search results - page 14 / 147 » A Method for Teaching a Software Process based on the Person... |
CSCWD
2008
Springer
13 years 10 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
ICITA
2005
IEEE
14 years 2 months ago
2005
IEEE
Supporting a rich array of information sources is a key element to making highly mobile computing devices usable by the wider community. It is our belief that there will not be on...
ICSE
1999
IEEE-ACM
14 years 27 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ESCIENCE
2006
IEEE
14 years 9 days ago
2006
IEEE
Grid is a rapidly growing new technology that will provide easy access to huge amounts of computer resources, both hardware and software. As these resources become available soon,...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...