Software Verification and Validation An Engineering and Scientific Approach /

Software Verification and Validation An Engineering and Scientific Approach /

The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques t...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Fisher, Marcus S. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2007.
Θέματα:	Computer science. Computer software > Reusability. Software engineering. Computer programming. Artificial intelligence. Computer Science. Software Engineering/Programming and Operating Systems. Programming Techniques. Performance and Reliability. Artificial Intelligence (incl. Robotics). Software Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Requirements Engineering and Management for Software Development Projects
ανά: Chemuturi, Murali
Έκδοση: (2013)

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Έκδοση: (2009)

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Έκδοση: (2009)

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
Έκδοση: (2009)

Software Engineering for Self-Adaptive Systems
Έκδοση: (2009)

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
Έκδοση: (2008)

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Έκδοση: (2009)

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
Έκδοση: (2007)

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers /
Έκδοση: (2006)

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers /
Έκδοση: (2009)

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers /
Έκδοση: (2008)

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers /
Έκδοση: (2005)

Agent-Oriented Software Engineering IV 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers /
Έκδοση: (2004)

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
Έκδοση: (2013)

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project /
Έκδοση: (2013)

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
Έκδοση: (2015)

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
Έκδοση: (2014)

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Έκδοση: (2017)

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /
Έκδοση: (2013)

Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings /
Έκδοση: (2009)

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers /
Έκδοση: (2005)

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /
Έκδοση: (2009)

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
Έκδοση: (2017)

High Assurance Services Computing
Έκδοση: (2009)

Methodologies and Software Engineering for Agent Systems The Agent-Oriented Software Engineering Handbook /
Έκδοση: (2004)

Knowledge-Based Software Engineering
Έκδοση: (1997)

Software Engineering for Multi-Agent Systems II Research Issues and Practical Applications /
Έκδοση: (2004)

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications /
Έκδοση: (2006)

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications /
Έκδοση: (2007)

Software and Network Engineering
Έκδοση: (2012)

Coordination, Organizations, Institutions and Norms in Agent Systems IV COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers /
Έκδοση: (2009)

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers /
Έκδοση: (2007)

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers /
Έκδοση: (2008)

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
Έκδοση: (2008)

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
Έκδοση: (2013)

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings /
Έκδοση: (2010)

Tools for High Performance Computing 2012
Έκδοση: (2013)

Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers /
Έκδοση: (2010)

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Έκδοση: (2010)

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings /
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών