Cargando…

Composing Software Components A Software-testing Perspective /

Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost. Composing Software Components: A Software-testing Perspective describes a 10-year investigation into the underlying principles of CBSD. By r...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Hamlet, Dick (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Temas:	Computer science. Computer-aided engineering. Computers. Computer systems. Theory of Computation. Computer Science. Computer-Aided Engineering (CAD, CAE) and Design. Models of Computation. Hardware Performance and Reliability. Computer System Implementation.
Acceso en línea:	Texto Completo

Ejemplares similares

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings /
Publicado: (2005)

Computational Science and Its Applications -- ICCSA 2009 International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I /
Publicado: (2009)

Computational Science and Its Applications - ICCSA 2009 International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II /
Publicado: (2009)

Introduction to Scientific Visualization
por: Wright, Helen
Publicado: (2007)

Computer-Aided Design of User Interfaces VI
Publicado: (2009)

Growth and Development of Computer Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009, Proceedings /
Publicado: (2009)

Post-Silicon and Runtime Verification for Modern Processors
por: Wagner, Ilya, et al.
Publicado: (2011)

Hardware Software Co-Design of a Multimedia SOC Platform
por: Chen, Sao-Jie, et al.
Publicado: (2009)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings /
Publicado: (2005)

Advances in Self-Organizing Maps 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings /
Publicado: (2011)

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling /
por: Pastor, Oscar, et al.
Publicado: (2007)

Simulation Methods for Reliability and Availability of Complex Systems
Publicado: (2010)

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers /
Publicado: (2016)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Publicado: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results /
Publicado: (2010)

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
por: Nicolescu, G., et al.
Publicado: (2007)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris, et al.
Publicado: (2012)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris
Publicado: (2006)

Interconnect Noise Optimization in Nanometer Technologies
por: Elgamel, Mohamed, et al.
Publicado: (2006)

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria
Publicado: (2006)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
por: Sutherland, Stuart, et al.
Publicado: (2007)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
por: Yuan, Fei
Publicado: (2008)

SystemVerilog for Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling /
por: Sutherland, Stuart, et al.
Publicado: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation /
por: Patel, Hiren, et al.
Publicado: (2005)

Quantifying and Exploring the Gap Between FPGAs and ASICs
por: Kuon, Ian, et al.
Publicado: (2010)

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
por: Morgado, Alonso, et al.
Publicado: (2012)

VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers /
Publicado: (2015)

VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers /
Publicado: (2015)

Cartesian Genetic Programming
Publicado: (2011)

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Publicado: (2011)

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Publicado: (2009)

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software /
por: Diehl, Stephan
Publicado: (2007)

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5, International Conference, June 15-17 2006, Shanghai, China /
Publicado: (2006)

Reconfigurable Computing From FPGAs to Hardware/Software Codesign /
Publicado: (2011)

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
Publicado: (2005)

Solid Modelling and CAD Systems How to Survive a CAD System /
por: Stroud, Ian, et al.
Publicado: (2011)

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications /
por: Zheng Li, Jeremy
Publicado: (2015)

On-Chip Interconnect with aelite Composable and Predictable Systems /
por: Hansson, Andreas, et al.
Publicado: (2011)

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
por: Verhulst, Eric, et al.
Publicado: (2011)

A Practical Introduction to Hardware/Software Codesign
por: Schaumont, Patrick R.
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_fbud695bsc1u98rtq9r4aspiq1