π-Method
Published in ACM SIGSOFT Software Engineering Notes • May 1, 2006
NobleIDNI2P58W00R39S01
Authors:
Flávio Oquendo
Abstract
Software systems have become increasingly complex and are often used in highly dynamic, distributed and mobile environments. Formal development of such software systems in order to guarantee their completeness and correctness is a large research challenge. This article presents the π-Method, a novel...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!