Imagen de Portada

Mathematical Approaches to Software Quality

Guardado en:

Autor Principal:	O'Regan, Gerard.
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico
Idioma:	English
Publicado:	London : Springer, 2006.
Materias:	Computer science Software engineering Computational complexity Computer Science Software Engineering Mathematics of Computing Discrete Mathematics in Computer Science
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Validated Designs for Object-oriented Systems
por: Fitzgerald, John.
Publicado: (2005)

Software Engineering Techniques: Design for Quality
por: Sacha, Krzysztof.
Publicado: (2007)

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA /
por: Barth, Timothy J.
Publicado: (2005)

Discrete Mathematics Using a Computer
por: ODonnell, John.
Publicado: (2006)

Maple and Mathematica A Problem Solving Approach for Mathematics /
por: Shingareva, Inna.
Publicado: (2007)

Applied Parallel Computing Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 1518, 2002 Proceedings /
por: Fagerholm, Juha.
Publicado: (2006)

Practical Software Factories in .NET
por: Lenz, Gunther.
Publicado: (2006)

The Best Software Writing I
por: Spolsky, Joel.
Publicado: (2005)

Model-Driven Software Development
por: Beydeda, Sami.
Publicado: (2005)

Software Architecture Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers /
por: Gruhn, Volker.
Publicado: (2006)

Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings /
por: Morrison, Ron.
Publicado: (2005)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
por: Donatelli, Susanna.
Publicado: (2006)

Petri Nets and Other Models of Concurrency ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /
por: Kleijn, Jetty.
Publicado: (2007)

Formal Models of Operating System Kernels
por: Craig, Iain D.
Publicado: (2007)

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings /
por: Reussner, Ralf.
Publicado: (2005)

Design and Analysis of Randomized Algorithms Introduction to Design Paradigms /
por: Hromkovi, Juraj.
Publicado: (2005)

Constructing Correct Software
por: Cooke, John.
Publicado: (2005)

Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures /
por: Inverardi, Paola.
Publicado: (2006)

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

Topics in Discrete Mathematics Dedicated to Jarik Neetil on the Occasion of his 60th Birthday /
por: Klazar, Martin.
Publicado: (2006)

Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings /
por: Obbink, Henk.
Publicado: (2005)

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Pozna, Poland, September 11-14, 2005, Revised Selected Papers /
por: Wyrzykowski, Roman.
Publicado: (2006)

Software Process Improvement 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings /
por: Richardson, Ita.
Publicado: (2006)

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings /
por: Abrahamsson, Pekka.
Publicado: (2007)

Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings /
por: Richardson, Ita.
Publicado: (2005)

Agile Software Construction
por: Hunt, John.
Publicado: (2006)

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings /
por: Cao, Jiannong.
Publicado: (2005)

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
por: Xu, Ming.
Publicado: (2007)

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /
por: Robshaw, Matthew.
Publicado: (2006)

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
por: Biryukov, Alex.
Publicado: (2007)

Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers /
por: Gilbert, Henri.
Publicado: (2005)

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings /
por: Iglesias, Andrés.
Publicado: (2006)

Rationale Management in Software Engineering
por: Dutoit, Allen H.
Publicado: (2006)

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers /
por: Hofmeister, Christine.
Publicado: (2006)

Software engineering concepts /
por: Fairley, R. E. 1937-
Publicado: (1985)

Software engineering concepts /
por: Fairley, R. E. 1937-
Publicado: (1985)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
por: Likiewicz, Maciej.
Publicado: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
por: Csuhaj-Varjú, Erzsébet.
Publicado: (2007)

Domain Decomposition Methods Algorithms and Theory
por: Toselli, Andrea.
Publicado: (2005)

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 79 February 2006 /
por: Redmill, Felix.
Publicado: (2006)