Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality

Mostrar outras versões (2)

Na minha lista:

Detalhes bibliográficos
Autor principal:	O'Regan, Gerard (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	livro eletrônico
Idioma:	English
Assuntos:	Computational complexity Computer science Software engineering
Acesso em linha:	Click here to view the full text content
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Mathematical approaches to software quality
por: O'Regan, Gerard
Publicado em: (2006)

Mathematical approaches to software quality
por: O'Regan, Gerard
Publicado em: (2006)

A practical approach to software quality /
por: O'Regan, Gerard
Publicado em: (2002)

Introduction to software process improvement
por: O'Regan, Gerard
Publicado em: (2011)

Introduction to software quality /
por: O Regan, Gerard
Publicado em: (2014)

Mathematical software - ICMS 2010 third international congress on mathematical software, Kobe, Japan, September 13-17, 2010. Proceedings /
Publicado em: (2010)

Mathematics in computing an accessible guide to historical, foundational and application contexts
por: O'Regan, Gerard
Publicado em: (2013)

Mathematics in computing an accessible guide to historical, foundational and application contexts
por: O'Regan, Gerard
Publicado em: (2013)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Publicado em: (2012)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Publicado em: (2005)

An integrated approach to software engineering
por: Jalote, Pankaj
Publicado em: (2005)

Validated designs for object-oriented systems /
por: Fitzgerald, John

Systems and software quality : The next step for industrialisation /
por: Wieczorek, Martin
Publicado em: (2014)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Publicado em: (2007)

An Approach to modelling software evolution processes
por: Li, Tong
Publicado em: (2009)

A Brief history of computing /
por: O'Regan, Gerard
Publicado em: (2012)

Frontiers in algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings /
Publicado em: (2014)

Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Publicado em: (2013)

Giants of computing : a compendium of select, pivotal pioneers /
por: O'Regan, Gerard
Publicado em: (2013)

Fast software encryption : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
Publicado em: (2007)

Software quality approaches : testing, verification and validation /
Publicado em: (2001)

Software quality approaches : testing, verification, and validation /
Publicado em: (2001)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Publicado em: (2014)

Fast software encryption (vol. # 3557) / 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, revised selected papers

Formal models of operating system kernels /
por: Craig, Iain D.
Publicado em: (2007)

Design and analysis of randomized algorithms introduction to design paradigms /
por: Hromkovič, Juraj
Publicado em: (2005)

Parameterized and exact computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers /
Publicado em: (2014)

Mathematical foundations of computer science 2010 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Publicado em: (2010)

Comprehensive mathematics for computer scientists 2 calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus /
por: Mazzola, Guerino
Publicado em: (2005)

Applications of discrete geometry and mathematical morphology first international workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, revised selected papers /
Publicado em: (2012)

Requirements engineering: foundation for software Quality 15th international working conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
Publicado em: (2009)

Mathematical foundations of computer science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
Publicado em: (2013)

Mathematical foundations of computer science 2012 37th International symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. proceedings /
Publicado em: (2012)

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 /

Mathematical foundations of computer science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Fundamentals of computation theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
por: Csuhaj-Varju, Erzsebet
Publicado em: (2007)

Graph drawing : 21st international symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers /
Publicado em: (2013)

The engineering of software quality
por: O'Brien, Fergus
Publicado em: (2004)

The engineering of software quality
por: O'Brien, Fergus
Publicado em: (2004)