"Flexible Formality Practical Experience with Agile Formal Methods"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Agile Service Development: Combining Adaptive Methods and Flexible Solutions	Marc Lankhorst	2012	Springer Berlin Heidelberg
The Way of Z: Practical Programming with Formal Methods	Jonathan Jacky	1996-11	Cambridge University Press
Practical Formal Methods for Hardware Design	Carlos Delgado Kloos; Werner Damm	1997	Springer Berlin Heidelberg
Agile User Experience Design	Diana Brown	2013	Morgan Kaufmann
Petri Nets in Flexible and Agile Automation	MengChu Zhou	1995	Springer US
User-Centered Agile Methods	Hugh Beyer		Springer International Publishing
Practical flexible sigmoidoscopy /	Cohen, L. B.; Basuk, Paul M.; Waye, Jerome D.,	[1995], ©1995.	Igaku-Shoin,
Practical experience with poultry	George M. Davenport	1886	G. H. Burnham & co., printers
Flexible, Reliable Software: Using Patterns and Agile Development	Henrik B. Christensen	2010	Routledge
Understanding Formal Methods	Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)	2003	Springer-Verlag London
NASA Formal Methods	Clark Barrett and Misty Davies	2017	Springer
An Introduction to Practical Formal Methods Using Temporal Logic	Michael Fisher	2011	John Wiley & Sons
Pakistan's Experience with Formal Law: An Alien Justice	Osama Siddique	2013-06	Cambridge University Press
Non-Formal Education: Flexible Schooling or Participatory Education?	Alan Rogers	2005	Springer US
Formal Methods: An Appetizer	Flemming Nielson; Hanne Riis Nielson	1st ed. 2019	Springer International Publishing
Formal Methods in Manufacturing	Javier Campos; Carla Seatzu; Xiaolan Xie	2014	Routledge
Formal methods in computing	Lajos Rónyai	2005	Akadémiai Kiadó
Applications of formal methods /	Hinchey, Michael G.; Bowen, J. P.	[1995], ©1995.	Prentice Hall,
Formal methods for concurrency /	Fencott, P. C.	1996.	International Thomson Computer Press,
Agile Software Development with HP Agile Manager	Liran Tal	1st ed.	Apress
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Flexible Formality Practical Experience with Agile Formal Methods	Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman; Nicholas Clarke; Jared Corduan et al.	Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers	Aleksander Byrski; John Hughes	1st ed. 2020	Springer International Publishing
Practical Experience with Formal SQL Tuning	Leonid Nossov; Hanno Ernst; Victor Chupis	Formal SQL Tuning for Oracle Databases: Practical Efficiency - Efficient Practice	Leonid Nossov; Hanno Ernst; Victor Chupis	1st ed. 2016	Springer Berlin Heidelberg
Practical experience with a formal verification system	Paul Smith; Nick Bleech	High-Integrity Software	C.T. Sennett	1989	Springer US
Using Agile Methods for Infrastructure Projects: A Practical Experience	C. J. Torrecilla-Salinas; J. Sedeño; M. J. Escalona; M. Mejías	Information System Development: Improving Enterprise Communication	María José Escalona; Gustavo Aragón; Henry Linger; Michael Lang; Chris Barry; Christoph Schneider	2014	Springer International Publishing
Critical Software Technologies’ Experience with Formal Methods	Alex Hill; Jose Reis; Paulo Carvalho	Industrial Deployment of System Engineering Methods	Alexander Romanovsky; Martyn Thomas	2013	Springer Berlin Heidelberg
Succeeding with Agile Methods		Inspired: How To Create Products Customers Love	Marty Cagan	June 18, 2008	SVPG Press
Teaching Experience: Logic and Formal Methods with Coq	Martin Henz; Aquinas Hobor	Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings	Jean-Pierre Jouannaud; Zhong Shao	2011	Springer Berlin Heidelberg
Practical experience with deathbringers	Eduardo de Souza	Living authentically: Daoist contributions to modern psychology/ edited by livia kohn	Livia Kohn	2011	Three Pines Press
A Practical Approach for Deploying Agile Methods	Minna Pikkarainen; Outi Salo	Extreme Programming and Agile Processes in Software Engineering: 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings	Pekka Abrahamsson; Michele Marchesi; Giancarlo Succi	2006	Springer Berlin Heidelberg
A Practical Case for Using Agile Methods	Michelle Accardi-Petersen	Agile Marketing	Michelle Accardi-Petersen	1st ed.	Apress
Agile methods	Bertrand Meyer	Agile!: The Good, the Hype and the Ugly	Bertrand Meyer	2014	Springer International Publishing
Agile Methods	Andrea Janes; Giancarlo Succi	Lean Software Development in Action	Andrea Janes; Giancarlo Succi	2014	Springer Berlin Heidelberg
Agile Methods		The Project Manager's Guide to Health Information Technology Implementation	Susan Houston	2021	Productivity Press
Agile Methods		Balancing Agility and Discipline: a Guide for the Perplexed	Boehm, Barry; Turner, Richard	2003;2004	Addison-Wesley Professional
agile methods		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Agile Methods		Connected intelligent automated: the definitive guide to digital transformation and quality 4. 0	N. M. Radziwill	2018-02-28	Quality Press
Agile Methods		CSSLP Certification All-in-One Exam Guide	Arthur Conklin	2014	McGraw-Hill Education
Agile Methods		Introduction to Information Systems	Wallace, Patricia	2014	Pearson
Agile methods		Fundamentals of agile project management: an overview	Marcus Goncalves, Raj Heda, Marcus Goncalves	2010	ASME Press
Agile Methods		Performance-Based Earned Value	Paul Solomon; Ralph Young	2006	Wiley-IEEE Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Flexible Formality Practical Experience with Agile Formal Methods" - similar Books and Chapters