Imagem da capa

Código QR

Software specification methods

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	ebrary, Inc
Outros Autores:	Habrias, Henri, Frappier, Marc, 1965-
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	London ; Newport Beach, CA : ISTE Ltd, 2006.
Edição:	2nd ed.
Assuntos:	Formal methods (Computer science) Computer software > Specifications. Electronic books.
Acesso em linha:	An electronic book accessible through the World Wide Web; click to view
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Formal software development from VDM to Java /
Por: Charatan, Quentin
Publicado em: (2004)

Formal methods applied to complex systems : implementation of the B method /
Publicado em: (2014)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Por: Drusinsky, Doron
Publicado em: (2006)

Teamwork in multi-agent systems a formal approach /
Por: Dunin-Kȩplicz, Barbara
Publicado em: (2010)

Formal method industrial use from model to the code /
Publicado em: (2012)

UML 2 semantics and applications
Publicado em: (2009)

Communicating embedded systems software and design : formal methods /
Publicado em: (2010)

Clojure for domain-specific languages /
Por: Kelker, Ryan D.
Publicado em: (2013)

Groovy for domain-specific languages extend and enhance your Java applications with domain specific languages in Groovy /
Por: Dearle, Fergal
Publicado em: (2010)

Computers in language research
Publicado em: (1983)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Publicado em: (2001)

Static analysis of software the abstract interpretation /
Publicado em: (2012)

Artificial intelligence methods in software testing
Publicado em: (2004)

The art of software testing
Por: Myers, Glenford J., 1946-
Publicado em: (2012)

Computer software : programming systems for digital computers /
Por: Flores, Ivan
Publicado em: (1965)

Software error detection through testing and analysis
Por: Huang, J. C., 1935-
Publicado em: (2009)

Software and systems safety specification and verification /
Publicado em: (2011)

The software audit guide /
Por: Helgeson, John W., 1945-
Publicado em: (2009)

Summary of a workshop on software certification and dependability
Publicado em: (2004)

Scaling a Software Business The Digitalization Journey /
Por: Fitzgerald, Brian, et al.
Publicado em: (2017)

Software testing techniques finding the defects that matter /
Publicado em: (2005)

Guide to advanced software testing
Por: Hass, Anne Mette Jonassen
Publicado em: (2008)

Software testing fundamentals methods and metrics /
Por: Hutcheson, Marnie L., 1951-
Publicado em: (2003)

Scientific applications of language methods
Publicado em: (2011)

Software design methodology
Por: Zhu, Hong, 1961-
Publicado em: (2005)

Software engineering architecture-driven software development /
Por: Schmidt, Richard, 1956-
Publicado em: (2013)

Agile software development evaluating the methods for your organization /
Por: Koch, Alan S.
Publicado em: (2005)

Formal languages, automata and numeration systems 2 /
Por: Rigo, Michel
Publicado em: (2014)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
Por: Rigo, Michel
Publicado em: (2014)

Domain-specific modeling enabling full code generation /
Por: Kelly, Steven
Publicado em: (2008)

Component-based software development case studies /
Por: Lau, Kung-Kiu
Publicado em: (2004)

Software paradigms
Por: Kaisler, Stephen H. (Stephen Hendrick)
Publicado em: (2005)

Software engineering evolution and emerging technologies /
Publicado em: (2005)

Effective prototyping for software makers
Por: Arnowitz, Jonathan
Publicado em: (2007)

The business value of agile software methods maximizing ROI with just-in-time processes and documentation /
Por: Rico, David F., 1964-
Publicado em: (2009)

The Software developer's guide
Por: Hentzen, Whil
Publicado em: (2002)

Software testing : concepts and operations /
Por: Mili, Ali, et al.
Publicado em: (2015)

Software testing with Visual Studio team system 2008 a comprehensive and concise guide to testing your software applications with Visual Studio team system 2008 /
Por: Subashni S.
Publicado em: (2008)

Achieving software quality through teamwork
Por: Evans, Isabel
Publicado em: (2004)

Design for software a playbook for developers /
Por: Klimczak, Erik
Publicado em: (2013)