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