Imagen de Portada

Validated Designs for Object-oriented Systems

Guardado en:

Autor Principal:	Fitzgerald, John.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Formato:	Electrónico
Idioma:	English
Publicado:	London : Springer-Verlag London Limited, 2005.
Materias:	Computer science Software engineering Computational complexity Computer Science Software Engineering/Programming and Operating Systems Software Engineering 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

Reverse Engineering of Object Oriented Code
por: Tonella, Paolo.
Publicado: (2005)

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

Mathematical Approaches to Software Quality
por: O'Regan, Gerard.
Publicado: (2006)

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems /
por: Lanza, Michele.
Publicado: (2006)

Software Verification and Validation An Engineering and Scientific Approach /
por: Fisher, Marcus S.
Publicado: (2007)

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

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

Object-Oriented Programming and Java
por: Poo, Danny.
Publicado: (2007)

Beginning Java Objects From Concepts to Code /
por: Barker, Jacquie.
Publicado: (2005)

Object-oriented requirements analysis and logical design : a software engineering approach /
por: Firesmith, Donald G., 1952-
Publicado: (1993)

Architecting Dependable Systems III
por: Lemos, Rogério.
Publicado: (2005)

Architecting Dependable Systems IV
por: Lemos, Rogério.
Publicado: (2007)

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

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 810, 2006, Como, Italy /
por: Damiani, Ernesto.
Publicado: (2006)

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends /
por: Atkinson, Colin.
Publicado: (2005)

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)

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)

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)

Use Case Driven Object Modeling with UML Theory and Practice /
por: Rosenberg, Doug.
Publicado: (2007)

Software Configuration Management Using Vesta
por: Heydon, Allan.
Publicado: (2006)

Formal Refinement for Operating System Kernels
por: Craig, Iain D.
Publicado: (2007)

Transactions on Aspect-Oriented Software Development IV
por: Rashid, Awais.
Publicado: (2007)

Transactions on Aspect-Oriented Software Development II
por: Rashid, Awais.
Publicado: (2006)

Transactions on Aspect-Oriented Software Development III
por: Rashid, Awais.
Publicado: (2007)

Virtual Machines
por: Craig, Iain D.
Publicado: (2006)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
por: Steffen, Martin.
Publicado: (2005)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
por: Gorrieri, Roberto.
Publicado: (2006)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
por: Bonsangue, Marcello M.
Publicado: (2007)

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

The Career Programmer Guerilla Tactics for an Imperfect World /
por: Duncan, Christopher.
Publicado: (2006)

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

Real-Time Object Uniform Design Methodology with UML
por: Duc, Bui Minh.
Publicado: (2007)

Pro Apache Tomcat 6
por: Moodie, Matthew.
Publicado: (2007)

The Definitive Guide to SOA: BEA AquaLogic® Service Bus
por: Davies, Jeff.
Publicado: (2007)

Design patterns for object-oriented software development /
por: Pree, Wolfgang.
Publicado: (1995)

Guide to Assembly Language Programming in Linux
por: Dandamudi, Sivarama P.
Publicado: (2005)

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
por: Daydé, Michel.
Publicado: (2005)

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
por: Daydé, Michel.
Publicado: (2007)

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)