On TechRepublic: 10 cool USB flash drive tricks
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

This paper presents the OOA design step in a methodology which integrates automata-based model checking into a commercially supported OO software development process. The paper defines and illustrates a set of design rules for OOA models with executable semantics, which lead to automata models with tractable state spaces. The design rules yield OOA models with functionally structured designs similar to those of hardware systems. These structures support model-checking through techniques known to be feasible for hardware. The formal OOA methodology, including the design rules, was applied to the design of NASA robot control software.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:270 KB
Date:Jan 2008
Pages:15

People who downloaded this item also downloaded

White Paper How To Answer 10 Tough Interview Questions
Download ASoftBS HR Assistant 2.83 (Windows)
Case Study The Yomiuri Shimbun Builds Scalable HR System to Manage Growing Workforce
Case Study Gabetti Property Solutions Deploys Applications to Support Internationalization and Diversification
Webcast MSDN Webcast: Architecting .NET Solutions With C# (Part 02 of 15): Classes, Components and Namespaces (Level 200)

Top results from Object-Oriented

White Paper Smarter Products - The Building Blocks for a Smarter Planet
White Paper The Scoop on the New CCNA and CCNP Specializations
White Paper The Objective-C Programming Language
White Paper Diagramming and Modeling with Visio IT tools
White Paper Uses of Use Cases

» View all Object-Oriented listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

  • Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
  • More from IBM
  • Innovate your business' process model, play against the market, compete against others on our scoreboards and WIN! Try INNOV8 2.0: A BPM Simulator
  • Enabling Real-World Business Transformation through IBM Service Management Read the EMA Analyst Report
Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).