On mySimon: Python 426P 460HP Security System
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce development costs and improve software quality. There is an emerging need for verification techniques usable in practice, i.e. able to find and notify defects in real-life models without requiring a strong verification background or extensive model annotations. Some promising approaches revolve around the satisfiability property of a model, i.e. deciding whether it is possible to create a well-formed instantiation of the model. The paper will discuss existing solutions to this problem in the UML/OCL context.

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

Format:PDFSize:96 KB
Date:Sep 2008
Pages:5

People who downloaded this item also downloaded

White Paper Data Center Projects: Standardized Process
Download Top 10 Windows XP tips of 2008
White Paper Specifying Security Aspects in UML Models
Download 10 mistakes to avoid when seeking a new job
White Paper White Paper: Tips for Writing Good Use Cases

Top results from UML

White Paper Improving IT service delivery through an integrated approach to software asset management white paper
White Paper The Pursuit of a Standardized Solution for Secure Enterprise RBAC
White Paper UML Use Case Diagrams
White Paper Web Services between .NET, Java and MS SOAP Toolkit
White Paper Diagramming and Modeling with Visio IT tools

» View all UML listings

advertisement
Click Here

White Papers, Webcasts, and Resources

Featured Training Courses

  • Smart Tech Expert advice on innovations in healthcare and the green technologies that make it happen. Find out more
  • Smart Business Discussion and advice on management issues that revolve around making your world smarter and more useful. More Smart Advice
  • Smart People The best and worst moves in the management and strategy trenches. Learn More

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).