প্রচ্ছদ

Agile-SOFL Agile Formal Engineering Method /

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 whi...

সম্পূর্ণ বিবরণ

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Liu, Shaoying (Author)
সংস্থা লেখক:	SpringerLink (Online service)
বিন্যাস:	বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
ভাষা:	ইংরেজি
প্রকাশিত:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
সংস্করন:	1st ed. 2024.
বিষয়গুলি:	Software engineering. Software Engineering.
অনলাইন ব্যবহার করুন:	https://doi.org/10.1007/978-981-97-2285-3
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

অনুরূপ উপাদানগুলি

Agile Software Engineering Skills
অনুযায়ী: Bass, Julian Michael
প্রকাশিত: (2023)

Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation /
অনুযায়ী: Block, Sascha
প্রকাশিত: (2023)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
প্রকাশিত: (2023)

Agile project management creating innovative products /
অনুযায়ী: Highsmith, Jim
প্রকাশিত: (2009)

ISE Object-Oriented Software Engineering: An Agile Unified Methodology/
অনুযায়ী: Kung, David
প্রকাশিত: (2023)

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings /
প্রকাশিত: (2024)

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings /
প্রকাশিত: (2025)

UML-Based Software Product Line Engineering with SMarty
প্রকাশিত: (2023)

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /
প্রকাশিত: (2023)

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings /
প্রকাশিত: (2023)

Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings /
প্রকাশিত: (2024)

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024, Proceedings /
প্রকাশিত: (2024)

Software Ecosystems Tooling and Analytics /
প্রকাশিত: (2023)

Cloud Computing and Services Science 12th International Conference, CLOSER 2022, Virtual Event, April 27–29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26–28, 2023, Revised Selected Papers /
প্রকাশিত: (2024)

Software Architectures Topics Usually Missed in Textbooks /
অনুযায়ী: Nagl, Manfred, অন্যান্য
প্রকাশিত: (2024)

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques /
অনুযায়ী: Hu, Chenglie
প্রকাশিত: (2023)

End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings /
প্রকাশিত: (2023)

Distributed Applications and Interoperable Systems 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings /
প্রকাশিত: (2023)

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, Part I /
প্রকাশিত: (2023)

Reference Architectures for Critical Domains Industrial Uses and Impacts /
প্রকাশিত: (2023)

Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /
প্রকাশিত: (2023)

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers /
প্রকাশিত: (2023)

Software Architecture Research Roadmaps from the Community /
প্রকাশিত: (2023)

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
প্রকাশিত: (2025)

Intelligent Systems and Advanced Computing Sciences 4th International Conference, ISACS 2023, Taza, Morocco, October 26–27, 2023, Proceedings /
প্রকাশিত: (2025)

Model-Driven Organizational and Business Agility Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12–13, 2023, Revised Selected Papers /
প্রকাশিত: (2023)

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
প্রকাশিত: (2023)

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings /
প্রকাশিত: (2023)

Guide to Software Project Management
অনুযায়ী: O'Regan, Gerard
প্রকাশিত: (2025)

Experimentation in Software Engineering
অনুযায়ী: Wohlin, Claes, অন্যান্য
প্রকাশিত: (2024)

Systems Benchmarking For Scientists and Engineers /
অনুযায়ী: Kounev, Samuel, অন্যান্য
প্রকাশিত: (2025)

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings /
প্রকাশিত: (2025)

Managing Information Technology
অনুযায়ী: Castillo, Francisco, অন্যান্য
প্রকাশিত: (2024)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
প্রকাশিত: (2023)

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences /
প্রকাশিত: (2023)

Software Engineering /
অনুযায়ী: Sommerville, Ian
প্রকাশিত: (2012)

Software Engineering /
অনুযায়ী: Sommerville, Ian
প্রকাশিত: (2012)

Software Engineering /
অনুযায়ী: Sommerville, Ian
প্রকাশিত: (2012)

Software Engineering /
অনুযায়ী: Sommerville, Ian
প্রকাশিত: (2012)

Software Engineering /
অনুযায়ী: Sommerville, Ian
প্রকাশিত: (2012)