Wyniki wyszukiwania:
wyszukanych pozycji: 16
 |
Agile-SOFL
ISBN: 9789819722877 / Angielski / Miękka / 2025 Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approaches are complementary in ensuring high productivity while enhancing reliability. Agile-SOFL offers a highly practical and systematic method that strikes a good balance of efforts for enhancing both software productivity and reliability. Specifically, Agile-SOFL is characterized by five features: (1) systematic approach to constructing hybrid... This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic so... |
cena:
484,18 zł |
 |
Formal Engineering for Industrial Software Development: Using the SOFL Method
ISBN: 9783642058271 / Angielski / Miękka / 2010 / 408 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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... 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 a... |
cena:
201,72 zł |
 |
Structured Object-Oriented Formal Language and Method: 4th International Workshop, Sofl+msvl 2014, Luxembourg, Luxembourg, November 6, 2014, Revised S
ISBN: 9783319174037 / Angielski / Miękka / 2015 / 189 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Languag...
|
cena:
161,41 zł |
 |
Structured Object-Oriented Formal Language and Method: 6th International Workshop, Sofl+msvl 2016, Tokyo, Japan, November 15, 2016, Revised Selected P
ISBN: 9783319577074 / Angielski / Miękka / 2017 / 239 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL ...
|
cena:
201,72 zł |
 |
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
ISBN: 9789819616206 / Angielski / Miękka / 2025 / 289 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2–3, 2024. The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and...
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV ...
|
cena:
234,00 zł |
 |
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31
ISBN: 9783540881933 / Angielski / Miękka / 2008 / 412 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics. This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-C... |
cena:
201,72 zł |
 |
Structured Object-Oriented Formal Language and Method: Third International Workshop, Sofl+msvl 2013, Queenstown, New Zealand, October 29, 2013, Revise
ISBN: 9783319049144 / Angielski / Miękka / 2014 / 193 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSV...
|
cena:
201,72 zł |
 |
Agile-Sofl: Agile Formal Engineering Method
ISBN: 9789819722846 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
685,93 zł |
 |
Formal Engineering for Industrial Software Development: Using the Sofl Method
ISBN: 9783540206026 / Angielski / Twarda / 2004 / 408 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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... 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 a... |
cena:
201,72 zł |
 |
Structured Object-Oriented Formal Language and Method: Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 2012. Revised Selected Pap
ISBN: 9783642392764 / Angielski / Miękka / 2013 / 149 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal La...
|
cena:
185,62 zł |
 |
Structured Object-Oriented Formal Language and Method: 5th International Workshop, Sofl+msvl 2015, Paris, France, November 6, 2015. Revised Selected P
ISBN: 9783319312194 / Angielski / Miękka / 2016 / 219 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Languag...
|
cena:
201,72 zł |
 |
China's Ethical Revolution and Regaining Legitimacy: Reforming the Communist Party Through Its Public Servants
ISBN: 9783319514956 / Angielski / Twarda / 2017 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book examines the many ways in which the Communist Party in China is still revolutionary by focusing on how, in recent years, it has attempted to mobilize Party members to become ethical subjects. In the context of the Party's history of the military revolution, Cultural Revolution and Economic Reform (or economic revolution), the authors argue that under President Xi Jinping the Party has launched an ethical revolution within the Party for the sake of sustaining its legitimacy. This book examines the various combined components of this ethical revolution, including anti-corruption,...
This book examines the many ways in which the Communist Party in China is still revolutionary by focusing on how, in recent years, it has attempted to...
|
cena:
524,53 zł |
 |
China's Ethical Revolution and Regaining Legitimacy: Reforming the Communist Party Through Its Public Servants
ISBN: 9783319846668 / Angielski / Miękka / 2018 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
524,53 zł |
 |
Mathematics in Software Reliability and Quality Assurance
ISBN: 9783036537993 / Angielski / Twarda / 2022 / 218 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
303,00 zł |
 |
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
ISBN: 9783031294754 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification..
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, S...
|
cena:
221,90 zł |
 |
Structured Object-Oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
ISBN: 9783030774738 / Angielski / Miękka / 2021 / 205 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
