Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods)


Mega Sale! Save 26% on the Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods) by Joseph Goguen at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification


Product Description

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties.
As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way.
Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.

Additional Information

Manufacturer:Springer
Brand:Joseph Goguen
Publisher:Springer
Studio:Springer
EAN:9780792377573
Item Weight:1.75 pounds
Item Size:1 x 9.21 x 9.21 inches
Package Weight:1.9 pounds
Package Size:6.38 x 1.18 x 1.18 inches

Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods) by Joseph Goguen

Buy Now:
Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods)

Brand: Joseph Goguen
4.4 out of 5 stars with 35 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$299.00
$222.07
You Save: 26%


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Joseph Goguen, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781441933683, isbn: 1441933689,
Th e vari a t i on al s p li ne t heo ry w h ic h orig i na t es from th e w ell-kn own p ap er b y J. e . Hollid a y ( 1957) i s t od a y a we ll- deve lo pe d fi eld in a p pr o x - mat i o n t he o ry . T he ge ne ra l d efinition of s p l i nes i...

ean: 9781461332879, isbn: 1461332877,
Although the monograph Progress in Optimization I: Contributions from Aus­ tralasia grew from the idea of publishing a proceedings of the Fourth Optimiza­ tion Day, held in July 1997 at the Royal Melbourne Institute of Technology, the focus soon ch...

mpn: biography, ean: 9781461349044, isbn: 1461349044,
"This book collects in one volume the author’s considerable results in the area of the summation of series and their representation in closed form, and details the techniques by which they have been obtained... the calculations are given in plenty ...

mpn: biography, ean: 9781461350125, isbn: 1461350123,
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification le...

mpn: biography, ean: 9781461363972, isbn: 1461363977,
Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. Efficient deterministic parsing algorithms have been developed for parsing programming l...

ean: 9781461379645, isbn: 1461379644,
These are the proceedings of the conference "Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics" held at the Department of Mathematics, University of Florida, Gainesville, from November 11 to 13, 1999. The main emphasis...

ean: 9781614992066, isbn: 1614992061,
Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well...

sku: ~``21mbTj`4069@4Tzi_1999_unk2, mpn: biography, ean: 9781852330927, isbn: 1852330929,
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some...

ean: 9783319574295, isbn: 3319574299,
This book provides a comprehensive overview of digital signal processing for a multi-disciplinary audience. It posits that though the theory involved in digital signal processing stems from electrical, electronics, communication, and control engineer...

ean: 9783540159759, isbn: 3540159754,
Format Paperback 1986 Subject Computers Internet...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.