| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Software engineering best practices:lessons from successful projects in the top companies / |
Capers Jones. |
2010 |
查看
|
回報問題連結 |
| Software quality engineering:a practioner's approach / |
Witold Suryn. |
2014 |
查看
|
回報問題連結 |
| Software quality assurance :in large scale and complex software-intensive systems / |
Ivan Mistrik, Richard Soley, Nour Ali, John Grundy, Bedir Tekinerdogan. |
|
查看
|
回報問題連結 |
| Economics-driven software architecture |
Ivan Mistrik, Rami Bahsoon, Rick Kazman, Yuanyuan Zhang. |
|
查看
|
回報問題連結 |
| LabVIEW:a developer's guide to real world integration / |
Ian Fairweather and Anne Brumfield. |
©2011 |
查看
|
回報問題連結 |
| Software project management:a process-driven approach / |
Ashfaque Ahmed. |
2012 |
查看
|
回報問題連結 |
| Process improvement in practice:a handbook for IT companies / |
Tore Dyba, Torgeir Dingsyr, Nils Brede Moe ; [translated by SK Translation]. |
2004 |
查看
|
回報問題連結 |
| Verification: theory and practice:essays delivered to Zohar Manna on the occasion of his 64th birthday / |
Nachum Dershowitz (ed.) |
2004 |
查看
|
回報問題連結 |
| Model checking software:11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / |
Susanne Graf, Laurent Mounier, eds. |
2004 |
查看
|
回報問題連結 |
| Software product lines:Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings / |
Robert L. Nord (ed.). |
2004 |
查看
|
回報問題連結 |
| Software reuse: methods, techniques, and tools:8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 : proceedings / |
Jan Bosch, Charles Krueger (eds.). |
2004 |
查看
|
回報問題連結 |
| Practical software testing:a process-oriented approach / |
Ilene Burnstein. |
2003 |
查看
|
回報問題連結 |
| Model checking software:10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings / |
Thomas Ball, Sriram K. Rajamani (eds.). |
2003 |
查看
|
回報問題連結 |
| Reliable software technologies-Ada-Europe 2003:8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings / |
Jean-Pierre Rosen, Alfred Strohmeier (eds.). |
2003 |
查看
|
回報問題連結 |
| Software process technology:9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings / |
Flavio Oquendo (ed.). |
2003 |
查看
|
回報問題連結 |
| Software reuse:advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings / |
William B. Frakes (ed.). |
2000 |
查看
|
回報問題連結 |
| TAPSOFT '97:theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / |
Michel Bidoit, Max Dauchet, eds. |
1997 |
查看
|
回報問題連結 |
| Theoretical aspects of computer software:Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / |
Martin Abadi, Takayasu Ito (eds.). |
1997 |
查看
|
回報問題連結 |
| Software process technology:6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / |
Volker Gruhn (ed.). |
1998 |
查看
|
回報問題連結 |
| Partial evaluation:practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / |
John Hatcliff, Torben E. Mogensen, Peter Thiemann (eds.). |
1999 |
查看
|
回報問題連結 |
| Reliable software technologies - Ada-Europe '99:1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / |
Michael Gonzalez Harbour, Juan A. de la Puente (eds.). |
1999 |
查看
|
回報問題連結 |
| Software process:principles, methodology, and technology / |
Jean-Claude Derniame, Badara Ali Kaba, David Wastell, eds. |
1999 |
查看
|
回報問題連結 |
| Theoretical and practical aspects of SPIN model checking:5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / |
Dennis Dams ... [et al.], (eds.). |
1999 |
查看
|
回報問題連結 |
| Reliable software technologies, Ada-Europe 2000:5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings / |
Hubert B. Keller, Erhard Plodereder (eds.). |
2000 |
查看
|
回報問題連結 |
| Software process technology:7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / |
Reidar Conradi (ed.). |
2000 |
查看
|
回報問題連結 |
| SPIN model checking and software verification:7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / |
Klaus Havelund, John Penix, Willem Visser (eds.). |
2000 |
查看
|
回報問題連結 |
| Embedded software:first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / |
Thomas A. Henzinger, Christoph M. Kirsch (eds.). |
2001 |
查看
|
回報問題連結 |
| FME 2001:formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / |
Jose Nuno Oliveira, Pamela Zave (eds.). |
2001 |
查看
|
回報問題連結 |
| Model checking software:8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / |
Matthew Dwyer (ed.). |
2001 |
查看
|
回報問題連結 |
| Software process technology:8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / |
Vincenzo Ambriola (ed.). |
2001 |
查看
|
回報問題連結 |
| Theoretical aspects of computer software:4th international symposium, TACS 2001, Sendai, Japan, October29-31, 2001 : proceedings / |
Naoki Kobayashi, Benjamin C. Pierce (eds.). |
2001 |
查看
|
回報問題連結 |
|
|
