Formal Engineering for Industrial Software Development
Sprache: Englisch
Verlag: Springer, 2004
- Hardcover
- Gebraucht

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer:in bei AbeBooks seit 19. Januar 2007
Zustand: Gebraucht
EUR 58,97
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung des Verkäufers
pp. 436 Illus.
Bestandsnummer des Verkäufers 7585898
- Titel
- Formal Engineering for Industrial Software Development
- Autor
- Liu Shaoying
- Verlag
- Springer
- Erscheinungsjahr
- 2004
- Zustand
- Used
- Einband
- Hardcover
- Sprache
- Englisch
- 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.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Über die Autorin bzw. den Autor
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.
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Majestic Books
Hounslow, Vereinigtes Königreich
Verkäufer:in bei AbeBooks seit 19. Januar 2007
Versandkosten von Vereinigtes Königreich nach USA
| Artikel | 14 bis 45 Werktage | 5 bis 10 Werktage |
|---|---|---|
| Erster Artikel | EUR 7,76 | EUR 11,76 |
Zahlungsarten
Shopbeschreibung
We specialise in General Interest Books from South Asian countries.
Spezialisierung
Art, Economics, Buddhism, Religion, Sociology, PaintingUnternehmensdaten der Verkäuferin bzw. des Verkäufers
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, Vereinigtes Königreich TW3 3UD
Verkaufsbedingungen
Returns accepted if you are not satisfied with the Service or Book.
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an Majestic Books, Hounslow, United Kingdom, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
Best packaging and fast delivery