 |
|
People who viewed this item also viewed
Showing Slide 1 of 1 - Carousel
Safety and Reliability of Software Based System, Shaw, Roger,,$148.05Free shippingSeller 98.6% positive
Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (B$162.06Free shippingSeller 99.4% positive
Drywall: Professional Techniques for Great Results [Fine Homebuilding DVD Worksh$4.27Free shippingSeller 99.7% positive
Visit California Farms: Your Guide to Farm Stays, Tours, and Hands-On Worksh...$11.71Free shippingSeller 99.2% positive
Theory and Applications of Formal Argumentation : Second International Worksh...$64.39previous price $72.39Free shippingSeller 98.7% positive
Shop with confidence
Details about Safety And Reliability Of Software Based Systems: Twelfth Annual Csr Worksh...
Be the first to write a review.
Sponsored items from this seller
Showing Slide 1 of 1 - Carousel
eBay item number:
184111186380
Seller assumes all responsibility for this listing.
Last updated on
Jan 20, 2021 03:45:23 PST
View all revisions
Item specifics
| Condition: |
Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller’s
... Read moreabout the condition
|
Format: | Trade Paperback |
| Publisher: | Springer | Publication Year: | 1996 |
| Language: | English | ISBN: |
9783540760344 |
| EAN: |
9783540760344 |
About this product
| Product Information | |
| Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern. This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry. | |
| Product Identifiers | |
| Publisher | Springer |
| ISBN-10 | 3540760342 |
| ISBN-13 | 9783540760344 |
| eBay Product ID (ePID) | 1059111 |
| Product Key Features | |
| Format | Trade Paperback |
| Publication Year | 1996 |
| Language | English |
| Dimensions | |
| Weight | 26.3 Oz |
| Width | 6.1in. |
| Length | 9.3in. |
| Additional Product Features | |
| Number of Volumes | 1 Vol. |
| Dewey Edition | 20 |
| Table of Content | Formal Methods and their Role in the Certification of Critical Systems.- Safety Cases -- How Did We Get Here'.- System Safety -- Challenge and Chance for Automotive Applications.- The SHIP Safety Case Approach: A Combination of System and Software Methods.- Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications.- Safety Case Development: Current Practice, Future Prospects.- Assuring Confidence in Pharmaceutical Software.- Computer-based Safety Systems -- The Elements of an Acceptable Safety Case.- An Assessment Methodology for Safety Critical Computer Based Systems.- The Safety of PES in the Offshore Industry.- The Role of Measurement in Software Safety Assessment.- "Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems".- Improving C Code Quality.- Improving Reuse in Space (IRIS).- Software Based Systems Dependability Requirements in the Process Industries.- Applying the B-Method to Avionics Software: An Initial Report on the MIST Project.- Application of an Integrated, Modular, Metric Based System and Software Test Concept.- Railway Safety Cases.- A Comparison of Different Safety-Critical Approaches used in Industry.- Safety Cases for Software-Based Systems.- Object-Oriented Approach to Safety Analysis.- FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems.- Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared.- Computer Risks and Some Legal Consequences.- Software Design-Faults Simulation.- A Framework for Certifying Critical Software Systems.- A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++.- ARTIE: A Proven Correct Architecture for Safety-Critical Applications.- Author Index. |
| Illustrated | Yes |
| Dewey Decimal | 005.1 |
| Age Level | Scholarly & Professional |
| Copyright Date | 1997 |
| Author | City University Staff |
| Lc Classification Number | Qa75.5-76.95 |
| Lccn | 96-029238 |
Seller assumes all responsibility for this listing.
Shipping and handling
This item will ship to United States, but the seller has not specified shipping options. Contact the seller- opens in a new window or tab and request a shipping method to your location.
Shipping cost cannot be calculated. Please enter a valid ZIP Code.
Item location: USA, United States
Shipping to: United States
Excludes: Alaska/Hawaii, APO/FPO, US Protectorates, Africa, Asia, Central America and Caribbean, Europe, Middle East, Greenland, Mexico, Canada, Saint Pierre and Miquelon, Bermuda, Oceania, Southeast Asia, South America, Angola, Cameroon, Cayman Islands, French Polynesia, Libya, Mongolia, Suriname, Guyana, Panama, Mauritius, Brunei Darussalam, Chad, Madagascar, New Caledonia, Bahamas, Iran, Saint Kitts-Nevis, Western Sahara, Bolivia, Laos, Congo, Republic of the, Seychelles, Sudan, Guadeloupe, Venezuela, Somalia, Burma, Cuba, Republic of, Reunion, Yemen, Barbados, Belize, Liberia, Sierra Leone, Central African Republic, Martinique, Dominica, Niger, French Guiana, Saudi Arabia, Nicaragua, Tajikistan, Anguilla, Antigua and Barbuda, British Virgin Islands, Cape Verde Islands, Honduras, Saint Vincent and the Grenadines, Turks and Caicos Islands, Botswana, Eritrea, Swaziland, Lesotho
|
There are 1 items available. Please enter a number less than or equal to 1.
Select a valid country.
|
Please enter a valid ZIP Code.
Please enter 5 or 9 numbers for the ZIP Code.
|
Shipping and handling |
To |
Service |
Delivery* |
|---|---|---|---|
|
Free shipping
|
United States
|
Economy Shipping
|
On or before Tue. Mar. 09 to
|
* Estimated delivery dates- opens in a new window or tab include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared payment. Delivery times may vary, especially during peak periods.
Return policy
|
After receiving the item, contact seller within
|
Refund will be given as
|
Return shipping
|
|---|---|---|
|
30 days
|
Money back
|
Buyer pays for return shipping
|
Refer to eBay Return policy for more details. You are covered by the eBay Money Back Guarantee if you receive an item that is not as described in the listing.
Payment details
| Payment methods | ||
|---|---|---|
|
||
|
Special financing available
Select PayPal Credit at checkout to have the option to pay over time.
Qualifying purchases could enjoy No Interest if paid in full in 6 months on purchases of $99 or more. Other offers may also be available.
Interest will be charged to your account from the purchase date if the balance is not paid in full within 6 months. Minimum monthly payments are required. Subject to credit approval. See terms
The PayPal Credit account is issued by Synchrony Bank.
|
|
Back to home page
|
See More Details about
"Safety and Reliability of Software Based Systems : Twe..."
Return to top