Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality

Bibliographic Details
Main Author:	OβRegan, Gerard
Format:	Electronic Kit Book
Language:	English
Published:	London Springer-Verlag London Limited 2006
Subjects:	Software engineering Computer science Computational complexity Computer Science Software Engineering Mathematics of Computing Discrete Mathematics in Computer Science
Online Access:	http://dx.doi.org/10.1007/1-84628-435-X

Similar Items

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Validated Designs for Object-oriented Systems
by: Fitzgerald, John
Published: (2005)

Formal Models of Operating System Kernels
by: Craig, Iain D.
Published: (2007)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
by: Mazzola, Guerino
Published: (2006)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
by: Abramsky, Samson, 1953-
Published: (2010)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
by: Saberi, Amin
Published: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
by: Ehrig, Hartmut
Published: (2010)

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis
by: Iglesias, M.
Published: (2005)

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
by: Lu, Chenyang
Published: (2010)

Fete of Combinatorics and Computer Science
by: Katona, Gyula O. H
Published: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
by: Fukuda, Komei
Published: (2010)

Discrete Mathematics Using a Computer
by: OβDonnell, John
Published: (2006)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by: KratochvΓl, Jan
Published: (2010)

Categories for Software Engineering
by: Fiadeiro, JosΓ© Luiz
Published: (2005)

Transactions on Computational Science XI Special Issue on Security in Computing, Part II
by: Gavrilova, Marina L
Published: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
by: Link, Sebastian
Published: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
by: Wyrzykowski, Roman
Published: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
by: Wyrzykowski, Roman
Published: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
by: Strichman, Ofer
Published: (2010)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
by: Bonanno, Giacomo
Published: (2010)

Innovations in Computing Sciences and Software Engineering
by: Sobh, Tarek
Published: (2010)

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
by: Chen, Bo
Published: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
by: Ebert, Christian
Published: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
by: Governatori, Guido
Published: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
by: Giesl, JΓΌrgen
Published: (2010)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
by: Mazzola, Guerino
Published: (2005)

Mathematical Approaches to Software Quality
by: O'Regan, Gerard
Published: (2006)

Practical Software Factories in .NET
by: Lenz, Gunther
Published: (2006)

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Published: (2005)

Contemporary Cryptology
by: Catalano, Dario
Published: (2005)

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
by: Shin, Sung Y
Published: (2010)

Software Engineering Techniques: Design for Quality
by: Sacha, Krzysztof
Published: (2006)

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
by: Jha, Girish Nath
Published: (2010)

Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
by: Vigneron, Vincent
Published: (2010)

Component-Based Software Testing with UML
by: Gross, Hans-Gerhard
Published: (2005)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
by: Cotta, Carlos
Published: (2007)

Agile Software Construction
by: Hunt, John
Published: (2006)

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
by: G, H J.
Published: (2005)

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