Formal Engineering for Industrial Software Development
Language: English
Published by Springer, 2004
- Hardcover
- Used
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
AbeBooks seller since April 28, 2005
Condition: Used - Good
£ 32.68
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # Z1-B-032-02106
- Title
- Formal Engineering for Industrial Software Development
- Author
- Liu, Shaoying
- Publisher
- Springer
- Publication year
- 2004
- Condition
- Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3540206027
- ISBN 13
- 9783540206026
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.
Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry.
This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.
"Synopsis" may belong to another edition of this title.
About the Author
Shaoying Liu holds a B.Sc and a M.Sc degree in Computer Science from Xi'an Jiaotong University, China, and a Ph.D in Formal Methods from the University of Manchester, U.K. He worked as an Assistant Lecturer and then Lecturer at Xi'an Jiaotong University, a Research Associate at the University of York, and a Research Assistant at the Royal Holloway and Bedford New College of the University of London, respectively, in the period of 1982 -- 1994. He joined the Department of Computer Science at Hiroshima City University as an Associate Professor in April 1994, and then became a faculty member of the Department of Computer Science of the Faculty of Computer and Information Sciences at Hosei University in April 2000. In April 2001 he was promoted to a full Professor . He was invited as a Visiting Research Fellow by The Queen's University of Belfast from December 1994 to February 1995, and a Visiting Professor to Oxford University from December 1998 to February 1999. He is a member of IEEE Computer Society.
"About the title" may belong to another edition of this title.
Phatpocket Limited
Waltham Abbey, HERTS, United Kingdom
AbeBooks seller since April 28, 2005
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 19 business days | 1 to 3 business days |
|---|---|---|
| First item | £ 10.64 | £ 26.98 |
Payment methods
Store description
Specialty
Used books, Used textbooksSeller's business information
Phatpocket Limited
67 Newland Street
Witham, United Kingdom CM8 1AA
Terms of sale
Books are usually shipped within two working days. All of our books have a 14 or 30 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.
Your satisfaction is extremely important to us and we would be happy to work with you to try and resolve any issues with your order. Please contact us via the Abe messaging centre regarding any problems and we will respond asap.
Please kindly send any return requests or reports of defects, damage, or material differences within 7 days of receipt of your order or 30 days from the date of shipment.
If you are making a return we will need to receive the item within 30 days from the date of shipment for UK orders or 90 days from the date of shipment for international orders. Similarly, we require that non-deliveries be reported within 30 days from the date of shipment for UK orders or 90 days from the date of shipment for international orders.
If your parcel is returned by the postal service due to being unclaimed, refused, or having an undeliverable or insufficient address, we will contact you to try and resolve the issue. If this is not possible, or if we do not hear back, we will refund you the cost of your order minus the original postage paid.
Right of withdrawal
If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.
Information regarding the right of withdrawal
Statutory right to withdraw
You have the right to withdraw from this contract within 14 days without giving any reason.
The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.
To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.
To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.
Effects of withdrawal
If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).
We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.
We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.
We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.
You shall send back the goods or hand them over to Phatpocket Limited, Waltham Abbey, ESSEX, United Kingdom, without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of withdrawal
The right of withdrawal does not apply to:
- The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
- The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.
Shipping terms
Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
In spite of our best efforts, a small number of the items in our catalogue may be mispriced or out of stock. If an item's correct price is higher than our stated price, we will, at our discretion, either contact you for instructions before shipping or cancel your order and notify you of such cancellation.