Specification, Algebra, and Software

Specification, Algebra, and Software

4.11 - 1251 ratings - Source



This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.Prentice-Hall, Hemel Hampstead (1995) 41 http://www.imm.dtu.dk/~dibj/perd-p. pdf 42 ... 46 http://www.imm.dtu.dk/~dibj/da-s.pdf 47 http://www.imm.dtu.dk/~dibj/ da-fac-p.pdf 48 http://www.imm.dtu.dk/~dibj/da-fac-s.pdf 26. 27. 28. 29. 30. 31. 32.


Title:Specification, Algebra, and Software
Author: Shusaku Iida, José Meseguer, Kazuhiro Ogata
Publisher:Springer - 2014-03-01
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA