Software Specification Methods : an Overview Using a Case...

Main
Software Specification Methods : an...

Software Specification Methods : an Overview Using a Case Study

Henri Habrias, Marc Frappier

0 / 0

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

کال:

2006

خپرندویه اداره:

ISTE

ژبه:

english

صفحه:

442

ISBN 10:

1847045847

ISBN 13:

9781847045843

فایل:

PDF, 1.77 MB

IPFS:

,

english, 2006

په آن لاین ډول لوستل

کاپی کول (pdf, 1.77 MB)

ته بدلون په کار دي

ته بدلون ناکام شو

ممکن تاسی علاقمند شی

Martin Wirsing & Dirk Pattinson && Rolf Hennicker — LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

J. Bowen — Formal Specification and Documentation Using Z

Geoff Dromey, or:, R. G. Dromey — Program derivation: development of programs from specifications

Quentin Charatan, Aaron Kans — Formal Software Development: From VDM to Java

Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo PhD (eds.) — Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Brian Oakley CBE (auth.), John E. Nicholls MA (eds.) — Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Jonathan Bowen — Formal Specification and Documentation Using Z: A Case Study Approach

Michael G. Hinchey, Jonathan P. Bowen (eds.) — Industrial-strength formal methods in practice

Henri Habrias, Marc Frappier — Software Specification Methods

Martin Wirsing, Dirk Pattinson & Rolf Hennicker — LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.) — FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Dines Bjorner, C.A.R. Hoare, Hans Langmaack — Formal Methods in Software Development

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.) — FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Mike Spivey (auth.) — ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

مهمي جملي