Imagen de Portada

Algebraic foundations of systems specification /

Guardado en:

Otros Autores:	Astesiano, E. 1939-, Kreowski, H.-J., Krieg-Brückner, B.
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer, 1999.
Series:	IFIP state-of-the-art reports
Materias:	Software engineering. Formal methods (Computer science) System design.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Specification of software systems /
por: Alagar, Vangalur S., 1940-
Publicado: (2011)

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

Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003)

Formal methods in computing /
Publicado: (2005)

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

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

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

Engineering theories of software construction /
Publicado: (2001)

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
por: Julliand, Jacques.
Publicado: (2006)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
por: Treharne, Helen.
Publicado: (2005)

Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010)

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

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Publicado: (1993)

Object modeling and design strategies : tips and techniques /
por: Gossain, Sanjiv.
Publicado: (1998)

System design from provably correct constructs : the beginnings of true software engineering /
por: Martin, James, 1933-
Publicado: (1985)

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

The RAISE specification language /
Publicado: (1992)

Logic programming : formal methods and practical applications /
Publicado: (1995)

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

From Specification to Embedded Systems Application
por: Rettberg, Achim.
Publicado: (2005)

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /
por: Gilroy, Stephen W.
Publicado: (2006)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
por: Yi, Kwangkeun.
Publicado: (2005)

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
por: Shao, Zhong.
Publicado: (2007)

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /
por: Kobayashi, Naoki.
Publicado: (2006)

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

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
por: Gokhale, Maya.
Publicado: (2005)

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /
por: Doherty, Gavin.
Publicado: (2007)

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings /
por: Akehurst, David H.
Publicado: (2007)

Model Driven Architecture Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings /
por: Rensink, Arend.
Publicado: (2006)

Model Driven Architecture Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings /
por: Hartman, Alan.
Publicado: (2005)

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

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

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
por: Jones, Cliff B.
Publicado: (2007)

Z : an introduction to formal methods /
por: Diller, Antoni.
Publicado: (1994)

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

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings /
por: Sawyer, Pete.
Publicado: (2007)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
por: Huss, Sorin A.
Publicado: (2007)

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 1315 February 2007 /
por: Redmill, Felix.
Publicado: (2007)

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

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