منابع مشابه
Integrating BON and Object-Z
A significant limitation with object-oriented formal specification languages, such as Object-Z, is that they lack development and management processes, which can be used to guide the production of reliable, robust object-oriented systems. An integration of an object-oriented methodology, BON, and Object-Z is presented in order to add an industrially validated development process to Object-Z. An...
متن کاملFrom Z to BON/Eiffel
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool f...
متن کاملIntegrating Z and Cleanroom
We describe an approach to integrating the Z specification notation into Cleanroom-style specification and verification. In a previous attempt, a group at IBM used formal refinement of the Z in their development. They concluded that this was not cost-effective in a commercial environment, and the attempt was not judged successful. The current approach avoids formal refinement, and instead begin...
متن کاملRefinement in Z and object-Z: foundations and advanced applications
refinement in z and object z foundations and advanced refinement in z and object-z university of kent formal approaches to computing and information technology advanced network refinement in z and object-z formal intermediate accounting study guide vol ii volume 2 ebook bash pocket reference author arnold robbins may 2010 ebook wave theory and applications alongs 2008 honda pilot user manual eb...
متن کاملGenerating Object-z Specifications
The importance of use cases has been growing for the last few years. We believe they are important to help developers capturing requirements. The work presented here formalises use cases using basic temporal logic to define history invariants within Object-Z class schemas. This is accomplished by proposing a set of formal frameworks integrated within a process.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2004
ISSN: 1660-1769
DOI: 10.5381/jot.2004.3.3.a3