Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality

The now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensive introduction to various mathematical metho...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	O'Regan, Gerard (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London, 2006.
Θέματα:	Computer science. Software engineering. Computer science > Mathematics. Computer Science. Software Engineering/Programming and Operating Systems. Software Engineering. Mathematics of Computing. Discrete Mathematics in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

A Practical Approach to Software Quality
ανά: O’Regan, Gerard
Έκδοση: (2002)

Mathematical Approaches to Software Quality
ανά: OβRegan, Gerard
Έκδοση: (2006)

Introduction to Software Quality
ανά: O’Regan, Gerard
Έκδοση: (2014)

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John, κ.ά.
Έκδοση: (2005)

Concise Guide to Software Engineering From Fundamentals to Application Methods /
ανά: O'Regan, Gerard
Έκδοση: (2017)

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
Έκδοση: (2016)

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /
Έκδοση: (2010)

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA.
Έκδοση: (2005)

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II /
Έκδοση: (2009)

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
Έκδοση: (2014)

Correct Software in Web Applications and Web Services
Έκδοση: (2015)

Constructing Correct Software
ανά: Cooke, John
Έκδοση: (2005)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /
Έκδοση: (2010)

The Algorithm Design Manual
ανά: Skiena, Steven S.
Έκδοση: (2008)

Learning MATLAB A Problem Solving Approach /
ανά: Gander, Walter
Έκδοση: (2015)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings /
Έκδοση: (2006)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings /
Έκδοση: (2007)

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I /
Έκδοση: (2009)

Categories for Software Engineering
ανά: Fiadeiro, José Luiz
Έκδοση: (2005)

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
Έκδοση: (2009)

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /
ανά: O'Regan, Gerard
Έκδοση: (2017)

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /
Έκδοση: (2006)

Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings /
Έκδοση: (2004)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Έκδοση: (2015)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Έκδοση: (2016)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Έκδοση: (2015)

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
Έκδοση: (2008)

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
Έκδοση: (2008)

Transactions on Computational Science II
Έκδοση: (2008)

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John
Έκδοση: (2005)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I /
Έκδοση: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II /
Έκδοση: (2010)

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /
Έκδοση: (2010)

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
Έκδοση: (2005)

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /
Έκδοση: (2010)

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
Έκδοση: (2015)

A Primer on Scientific Programming with Python
ανά: Langtangen, Hans Petter
Έκδοση: (2009)

Software Engineering Techniques: Design for Quality
Έκδοση: (2007)

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
Έκδοση: (2004)

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