{
"item_title" : "Software Specification Methods",
"item_author" : [" Henri Habrias", "Marc Frappier "],
"item_description" : "Key software specification methods are introduced in this practical approach that applies learned techniques to real-life situations. Each method is introduced through a series of questions asked by an imaginary user and presented with the same invoicing-system example, allowing readers to compare and contrast each method. Among the techniques covered are B, Estelle, LOTOS, SAZ, OMT, SDL, TLA+, UML, VHDL, and Z.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/1/90/520/934/1905209347_b.jpg",
"price_data" : {
"retail_price" : "203.95", "online_price" : "203.95", "our_price" : "203.95", "club_price" : "203.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Overview
Key software specification methods are introduced in this practical approach that applies learned techniques to real-life situations. Each method is introduced through a series of questions asked by an imaginary user and presented with the same invoicing-system example, allowing readers to compare and contrast each method. Among the techniques covered are B, Estelle, LOTOS, SAZ, OMT, SDL, TLA+, UML, VHDL, and Z.
This item is Non-Returnable
Customers Also Bought
- 1
Details
- ISBN-13: 9781905209347
- ISBN-10: 1905209347
- Publisher: Wiley-Iste
- Publish Date: April 2006
- Dimensions: 9.28 x 6.32 x 1.12 inches
- Shipping Weight: 1.74 pounds
- Page Count: 418
Related Categories
You May Also Like...
- 1
