Object-Oriented White Papers
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
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.
| Publisher | University of Texas | File Format | |
|---|---|---|---|
| Date Published | January 2008 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 8 out of 21 users found this white paper useful
White Paper RSSThe Scoop on the New CCNA and CCNP Specializations
DownloadThere has been a lot of interest among students lately on the details surrounding the CCNA specializations and their relationship with the corresponding CCNP specializations. These specializations were introduced in...
A Better Alternative: An Improved Approach to Facilities Management
Real estate is typically the second largest corporate expense after personnel, so why do so many organizations remain unchanged in the way they manage their facilities? Shouldn't they, and you,...
Smarter Products - The Building Blocks for a Smarter Planet
Businesses are delivering a new generation of smarter products that are increasingly instrumented, interconnected and intelligent - enabled through software. Integration of software engineering with electronic and mechanical...
Data Modeling: It's All About the Relationships
Unsuccessful data models are due to many factors - uncertainty about the concepts or the business requirements, lack of solid training for the programmer and even trying to be effective...
Towards Semantic Web Engineering: WEESA - Mapping XML Schema to Ontologies
The existence of semantically tagged Web pages is crucial to bring the Semantic Web to life. But it is still costly to develop and maintain Web applications that offer data...
