Agile-SOFL: Agile Formal Engineering Method
Autor Shaoying Liuen Limba Engleză Hardback – 6 iun 2024
ABORDAREA PRACTICĂ: Agile-SOFL nu este doar un tratat teoretic despre rigurozitatea matematică, ci un ghid metodologic care demonstrează cum specificațiile formale pot fi integrate în fluxuri de lucru iterative. Găsim în această carte o soluție tehnică la tensiunea clasică dintre viteza dezvoltării agile și necesitatea unor sisteme software critice, unde erorile nu sunt permise. Autorul propune un raport echilibrat între efortul de documentare și cel de codare, utilizând specificațiile ca fundament pentru întreaga suită de verificare: de la inspecție și testare până la verificarea formală automată.
Ca și Bruce Powel Douglass în Agile Systems Engineering, autorul distilează experiență reală în principii acționabile, reușind să facă metodele formale accesibile proiectelor industriale realiste. Spre deosebire de abordările pur teoretice, Shaoying Liu pune accent pe prevenirea defectelor prin construcția sistematică de specificații hibride. Cartea este organizată logic, urmărind ciclul de viață al dezvoltării: începe cu introducerea în limbajul SOFL, trece prin etapele de implementare și inspecție, și culminează cu capitole dedicate testării automate și verificării corectitudinii codului.
Această lucrare reprezintă o evoluție naturală în opera autorului, rafinând conceptele explorate anterior în Structured Object-Oriented Formal Language and Method. Dacă lucrările sale precedente se concentrau pe fundamentul teoretic al limbajului, Agile-SOFL prioritizează aplicabilitatea și eficiența în managementul de proiect. Includerea celor două studii de caz — un sistem ATM și un sistem de carduri SUIC — oferă cititorului contextul necesar pentru a înțelege cum aceste metode pot fi implementate în scenarii de inginerie software complexe, unde fiabilitatea este un parametru non-negociabil.
Preț: 1113.21 lei
Preț vechi: 1391.51 lei
-20%
Carte disponibilă
Livrare economică 09-23 mai
Specificații
ISBN-10: 9819722845
Pagini: 164
Ilustrații: XVII, 143 p. 17 illus., 5 illus. in color.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.43 kg
Ediția:2024
Editura: Springer Nature Singapore
Colecția Springer
Locul publicării:Singapore, Singapore
V-ar putea interesa
-
Agile Estimating and PlanningMike CohnPreț: 381.12 lei -
Clean Code: A Handbook of Agile Software CraftsmanshipRobert Martin-20%Preț: 373.60 lei467.00 lei -
-20%Preț: 596.48 lei745.60 lei -
Modern Software EngineeringDavid Farley-20%Preț: 227.02 lei283.77 lei -
-20%Preț: 354.81 lei443.51 lei -
Succeeding with AgileMike Cohn-20%Preț: 300.03 lei375.05 lei -
-20%Preț: 216.81 lei271.01 lei -
Agile Software RequirementsDean Leffingwell-20%Preț: 348.43 lei435.53 lei -
-41%Preț: 451.68 lei760.81 lei -
Lessons Learned in Software TestingBret Pettichord-20%Preț: 241.72 lei302.15 lei -
Code Complete: A practical handbook of software constructionSteve McConnell-20%Preț: 294.79 lei368.50 lei -
Software in 30 DaysKen SchwaberPreț: 156.38 lei -
-20%Preț: 607.51 lei759.40 lei -
-20%Preț: 587.63 lei734.54 lei -
Agile Project Management For DummiesMark C LaytonPreț: 136.79 lei -
Specification by ExampleGojko Adzic-20%Preț: 266.47 lei333.08 lei -
Testing in ScrumTilo Linz-20%Preț: 246.08 lei307.59 lei -
-20%Preț: 391.93 lei489.91 lei -
-20%Preț: 332.10 lei415.13 lei -
Strategic Software EngineeringFilipe Ximenes-20%Preț: 205.57 lei256.97 lei
De ce să citești această carte
Recomandăm această carte inginerilor software și managerilor de proiect care doresc să depășească limitările specificațiilor textuale tradiționale. Cititorul câștigă o metodologie clară pentru prevenirea defectelor și validarea sistemelor prin metode formale, fără a sacrifica agilitatea. Este un instrument esențial pentru cei care dezvoltă sisteme critice unde corectitudinea codului și productivitatea trebuie să coexiste.
Despre autor
Shaoying Liu este un expert recunoscut la nivel internațional în domeniul metodelor formale, deținând un doctorat de la Universitatea din Manchester. Cu o carieră academică și de cercetare întinsă pe mai bine de patru decenii, acesta a activat în instituții prestigioase precum Universitatea din York și Royal Holloway, University of London. Este creatorul metodei SOFL (Structured Object-Oriented Formal Language), contribuind semnificativ la integrarea matematicii în procesele de inginerie software industrială. Expertiza sa se concentrează pe prevenirea defectelor software și pe dezvoltarea de tehnici de verificare și validare care să răspundă cerințelor actuale de eficiență.
Descriere scurtă
The objective of this book is to help readers learn the latest effective Agile development concepts and techniques and to take them to the point where they can easily apply Agile-SOFL to develop their own software systems with a high productivity and reliability. The reader can also considerably benefit from this book by learning many newly developed concepts and principles in fault prevention, fault detection, verification of code correctness, and efficient project management.