QR Code

Software specification methods /

Saved in:

Bibliographic Details
Main Authors:	Habrias, Henri (Author), Frappier, Marc 1965- (Author)
Format:	Book
Language:	English
Published:	London : ISTE, 2006
Edition:	1st ed.
Subjects:	špecifikácia softvéru > počítačový softvér
ISBN:	9781905209347
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Semantics of POOSL. An object-oriented specification language for the analysis and design of hardware/software systems /
by: Voeten, J. P. M.
Published: (1995)

The art of software testing /
by: Myers, Glenford J. 1946-, et al.
Published: (2012)

Software licensing : principles and practical strategies /
by: Rustad, Michael L.
Published: (2010)

Software testing and analysis and co-located workshops MIT'10, PADTAD'10, STOV'10 and WODA'10 : ISSTA'10, proceedings of the 2010 international symposium, Trento, Italy, July 12-16, 2010 /
by: Arcuri, Andrea
Published: (2010)

Program specification and transformation : Proceedings of the IFIP TC2/WG2.1 working conf., Bad Tölz, FRG, 15 - 17 April, 1986 /
by: Meertens, Lambert G. L. T.
Published: (1987)

FSE'10, proceedings of the 18th ACM SIGSOFT symposium, Santa Fe, USA, November 7-11, 2010 / Foundations of software engineering
by: Elkhodary, Ahmed
Published: (2011)

Automated software engineering : ASE'10, proceedings of the 25th IEEE/ACM international conference, Antwerp, Belgium, September 20-24, 2010 /
by: Abdul Khalek, Shadi
Published: (2010)

Effective methods for software testing /
by: Perry, William E. 1931-
Published: (2006)

Science of computer programming : methods of software design: techniques and applications

Fuzzing for software security testing and quality assurance /
by: Takanen, Ari, et al.
Published: (2008)

Software development : an open source approach /
by: Tucker, Allen, et al.
Published: (2011)

Malé a stredné podnikanie /
by: Strážovská, Helena 1934-
Published: (1999)

O teórii korektného programovania /
by: Novitzká, Valerie
Published: (2003)

97 klíčových znalostí softwarového architekta /
by: Monson-Haefel, Richard
Published: (2010)

Řízení kvality softwaru : průvodce testováním /
by: Roudenský, Petr, et al.
Published: (2013)

Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM = SIGSOFT
Published: (1976)

Jak testuje software Microsoft /
by: Page, Alan, et al.
Published: (2009)

Efektivní testování softwaru : klíčové otázky pro efektivitu testovacího procesu /
by: Bureš, Miroslav, et al.
Published: (2016)

Emerging technologies for the evolution and maintenance of software models /
by: Rech, Jörg, et al.
Published: (2012)

Řízení životního cyklu aplikací ve Visual Studiu 2010 /
by: Gousset, Mickey
Published: (2010)

Golden Software. Průvodce programy Surfer a Grapher /
by: René, Miloš
Published: (1992)

Open source : technology and policy /
by: Deek, Fadi P., et al.
Published: (2008)

Deň kvality : Svetový deň kvality, 2. 12. 1998 /
by: Fačková, Tatiana
Published: (1998)

Computer viruses and other malicious software : a threat to the internet economy /
by: Plonk, Audrey, et al.
Published: (2009)

Software testing fundamentals : introduction to software verification theory /
by: Samuelis, Ladislav
Published: (2013)

Modern software engineering concepts and practices : advanced approaches /
Published: (2011)

Innovation in the software sector /
by: Lippoldt, Douglas, et al.
Published: (2009)

What ICT practitioners do : towards a European e-competence framework : summary of a joint European effort involving a wide range of stakeholders across the EU /
Published: (2006)

The ASM Workbench. A tool environment for computer-aided analysis and validation of abstract state machine models /
by: Castillo, Giuseppe Del
Published: (2001)

Čistý kód /
by: Martin, Robert C.
Published: (2009)

Data structures and problem solving using Java /
by: Weiss, Mark Allen
Published: (1998)

Practical C programming /
by: Oualline, Steve
Published: (1997)

Softwarová záchrana. Norton Utilities 8.0 /
by: Kastner, Aleš
Published: (1995)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
by: Jones, C. B.
Published: (1993)

The finite element method for mechanics of solids with ANSYS applications /
by: Dill, Ellis Harold 1932-
Published: (2012)

Knowledge discovery and data : KDD'10, proceedings of the 16th ACM SIGKDD international conference, Washington, USA, July 25-28, 2010 /
by: Lu, Qi
Published: (2010)

Software engineering : proceedings of the 18th international conference, Berlin, Germany, March 25 - 29, 1996 /
by: Demarco, Tom
Published: (1996)

Údržba kódu převzatých programů /
by: Feathers, Michael C.
Published: (2009)

Strategien für die Echtzeit-Programmierung /
by: Hatley, Derek J.
Published: (1993)

Agile testing : how to succeed in an extreme testing environment /
by: Watkins, John
Published: (2009)