Search for Author All Reviews
	Derrick, John     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Refinement in Z and Object-Z: foundations and advanced applications (2nd ed.) Derrick J., Boiten E., Springer Publishing Company, Incorporated, London, UK, 2014. 499 pp.  Type: Book (978-1-447153-54-2) The current success of agile methods in software development has eclipsed the stage-based software life cycle in which specifications assumed a critical role. Agility, a modern slogan for quick and dirty, seems to have the upper hand o...... Jan 24 2014     Temporal-logic property preservation under Z refinement Derrick J., Smith G. Formal Aspects of Computing 24(3): 393-416, 2012.  Type: Article Monotonic properties are known to be preserved under software refinement, and there are counterexamples when an operator such as negation is introduced. The authors of this paper show that monotonic temporal logic properties are preser...... Sep 27 2012     Formal methods for distributed processing: a survey of object-oriented approaches Bowman H., Derrick J. Cambridge University Press, New York, NY, 2001.  Type: Divisible Book As the title indicates, this collection of papers is intended for researchers in the field of distributed processing (DP). The 480-page volume consists of seven sections, dealing respectively with object-oriented (OO) DP, notation for...... Oct 31 2002
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy