762 search results - page 12 / 153 » Performance-oriented software architecture engineering: an e... |
AGILEDC
2003
IEEE
15 years 2 months ago
2003
IEEE
This experience report describes our efforts to introduce agile development techniques incrementally into our customer’s organization in the National Cancer Institute and develo...
122
click to vote
CCR
2011
14 years 4 months ago
2011
This document collects together reports of the sessions from the 2010 ACM SIGCOMM Conference, the annual conference of the ACM Special Interest Group on Data Communication (SIGCOM...
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
175
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
109
click to vote
ICSM
2008
IEEE
15 years 3 months ago
2008
IEEE
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...