19587 search results - page 60 / 3918 » Systems Engineering for software Engineers |
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
127
click to vote
SIGMETRICS
1993
ACM
15 years 8 months ago
1993
ACM
: Performance is critical to the success of today’s software systems. However, many software products fail to meet their performance objectives when they are initially constructe...
142
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
128
click to vote
SIGADA
2005
Springer
15 years 9 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...