ITQuestionBank.com
 

Search for     

 
       Advanced Search
  Home | Add a Link | Modify a Link | Login | Register | New Listings | Most Popular | Top Ranked | Link to Us | Search | Site Map | Privacy Policy | 

 Categories

 Editors Picks
  • Download CX-310-015 Free Exam Simulator
  • Download CX-310-014 Free Exam Simulator
  • Download SCEA Free Exam Simulator : 310-051
  • VB NET 2005 Training The NET Framework Architecture Part 1
  • Oracle Applications 11i Technical Training
  • MSAS Step by Step Tutorials
  • Oracle 9i Step by Step Tutorials
  • ASP.NET with C# Training
  • Live DataStage Interview Questions
  • SCJP for Java 2 Platform 1.4 CX-310-035 Free Exam Simulator
  • IT Interview Questions
  • IT Experts Online Journal

    		•
    Home : Testing : Analysis Modeling : SM2SMV - A Tool for Facilitating Dependable Software Requirements Analysis Using Model Checking
    SM2SMV - A Tool for Facilitating Dependable Software Requirements Analysis Using Model CheckingHits: 371

    Description: This paper discusses experiments applying SMV (Symbolic Model Verifier), a tool used in model checking, to verify system requirements. The results are that since the second phase of the SMV involves a translation from a state machine diagram to SMV input code, this could be done with a software tool. Author(s) : Huigang Li, Andrew J. Kornecki and David P Gluch

  • Visit SM2SMV - A Tool for Facilitating Dependable Software Requirements Analysis Using Model Checking `s Website
  • Write a Review!
    		•
  • Report This Link
    •  
    Sponsored Links
     


    Related Links in this Section
  • A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering
  • Hunting and Gathering
  • Recommended Requirements Gathering Practices
  • Themes in Early Requirements Gathering The Case of the Analyst, the Client and the Student Assistance Scheme
  • Analysing Software Requirements Specifications for Performance
  • Analysis (part 1)
  • An Approach to Conceptual Feedback in Multiple Viewed Software Requirements Modeling
  • A Requirements Model for Quality Attributes
  • Experiences Using Lightweight Formal Methods for Requirements Modeling
  • Goal-Oriented Elaboration of Security Requirements
  • Knowledge Structuring and Representation in Requirement Specification
  • 2. Requirements Analysis
  • Lecture 14: Requirements Analysis
  • Requirements Analysis and the Unified Process
  • Scenario-Based Requirements Analysis
  • Scenario - Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements
  • The Requirements Iceberg and Various Icepicks Chipping at it
  • Chapter 3 Developing Object Oriented Software (Requirements Modeling)
  • Introduction to CRC Cards
  • Object Modeling with OMG UML Tutorial Series Behavioral Modeling
  • Requirements Modeling
  • Requirements Modeling Technology A Vision for Better, Faster and Cheaper Systems
  • State-Machine-Based User-Interface Specification
  • A Process for Combining Object Oriented and Structured Analysis and Design
  • Lecture 8: Introduction to OO Analysis (By Example)
  • The KEY System: Integrating Object-Oriented Design and Formal Methods
  • The Knight Project: Supporting Collaboration in Object-Oriented Analysis and Design
  • Chapter 2 Underpinnings of Requirements Analysis
  • AI Analysis Patterns as UML Meta-Model Constructs
  • Analysis Patterns
  • A Pattern Language for Building Stable Analysis Patterns
  • Building Systems Using Analysis Patterns
  • Interaction Patterns that Support Intellectual Creative Tasks
  • Model-based Software Reuse Using Stable Analysis Patterns
  • Semantic Analysis Patterns
  • Formalizing the Use of UML in Requirements Analysis
  • Problems and Deficiencies of UML as a Requirements Specification Language
  • Rational Rose
  • UML - Based Analysis
  • A Pragmatic Approach to Use Cases
  • A Use Case Template: Draft for Discussion
  • Be Careful with "Use Cases"
  • Design Patterns with Use Case Maps: A Case Study in Reengineering an Object-Oriented Framework
  • Essential Use Cases and Responsibility in Object-Oriented Development
  • Functional Requirements and Use Cases
  • Requirements Use Case Tool
  • The Art of Use Cases [HTM]
  • UML Use Case Diagrams
  • Use and Abuse Cases
  • 3.1 Use Cases
    • Resource Specification
    Date Added:10/08/2005
    Last Updated:10/08/2005

    Average Visitor Rating: Not Yet Rated

    Visitor Voting

    Average Member Rating: Not yet reviewed by any member...
    You can be the first one to write a review for SM2SMV - A Tool for Facilitating Dependable Software Requirements Analysis Using Model Checking!

    Sponsored Links

     

     
     
    Sponsored Links
     

    Privacy Policy
    14543 Resources Listed in 604 Categories  ~  IT QuestionBank © 2005 - 2009