Imagen de Portada

System design from provably correct constructs : the beginnings of true software engineering /

Guardado en:

Autor Principal:	Martin, James, 1933-
Formato:	Libro
Idioma:	English
Publicado:	Englewood Cliffs, N.J. : Prentice-Hall, c1985.
Materias:	System design. Software engineering.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Engineering theories of software construction /
Publicado: (2001)

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

Standards, guidelines, and examples on system and software requirements engineering /
Publicado: (1990)

Requirements engineering for software and systems /
por: Laplante, Phillip A.
Publicado: (2009)

Software & systems requirements engineering : in practice /
Publicado: (2009)

Building systems from commercial components /
por: Wallnau, Kurt C.
Publicado: (2002)

Requirements engineering for software and systems /
por: Laplante, Phillip A.,
Publicado: (2018)

UML for SOC Design
por: Martin, Grant.
Publicado: (2005)

Design of Systems on a Chip: Design and Test
por: Reis, Ricardo.
Publicado: (2007)

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

Advances and Innovations in Systems, Computing Sciences and Software Engineering
por: Elleithy, Khaled.
Publicado: (2007)

Control Systems Design A New Framework /
por: Zakian, Vladimir.
Publicado: (2005)

Requirements engineering : from system goals to UML models to software specifications /
por: Lamsweerde, A. van
Publicado: (2009)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
por: Borrione, Dominique.
Publicado: (2005)

Software architecture in practice /
por: Bass, Len.
Publicado: (2003)

The art of software modeling /
por: Lieberman, Benjamin A.
Publicado: (2007)

Embedded System Design
por: Marwedel, P.
Publicado: (2006)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
por: Steyaert, Michiel.
Publicado: (2006)

Embedded System Design
por: Marwedel, Peter.
Publicado: (2006)

Algebraic foundations of systems specification /
Publicado: (1999)

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

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
por: Gaudin, Emmanuel.
Publicado: (2007)

Operating system design /
por: Comer, Douglas.
Publicado: (1988)

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

Rapid Prototyping of Digital Systems
por: Hamblen, James O.
Publicado: (2006)

Advanced design techniques for RF power amplifiers
por: Rudiakova, Anna.
Publicado: (2006)

Human performance engineering : designing high quality, professional user interfaces for computer products, applications, and systems /
por: Bailey, Robert W.
Publicado: (1996)

Contextual design : defining customer-centered systems /
por: Beyer, Hugh.
Publicado: (1998)

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Halbwachs, Nicolas.
Publicado: (2005)

Requirements engineering fundamentals : a study guide for the Certified Professional for Requirements Engineering exam : foundation level, IREB compliant /
por: Pohl, Klaus, 1960-
Publicado: (2011)

Design Performance
por: ODonnell, Francis J.
Publicado: (2005)

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

System Level Design of Reconfigurable Systems-on-Chip
por: Voros, Nikolaos S.
Publicado: (2005)

Interconnect-Centric Design for Advanced SoC and NoC
por: Nurmi, Jari.
Publicado: (2005)

Assertion-Based Design
por: Foster, Harry.
Publicado: (2005)

Analog Design Centering and Sizing
por: Graeb, Helmut E.
Publicado: (2007)

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

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
por: Hermanns, Holger.
Publicado: (2006)

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
por: Grumberg, Orna.
Publicado: (2007)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering /
por: U, Seng-Pan.
Publicado: (2006)