Checking the Conformance: between the Implementation and PSM Specifications in Component Models.

Checking the Conformance: between the Implementation and PSM Specifications in Componen...

MIA KARTS BOOKS

Checking the Conformance: between the Implementation and ...
Skip to product information

    Checking the Conformance: between the Implementation and PSM Specifications in Component Models.

    £57.00 GBP
     per 
    Available

    Book Details

    Format
    Paperback
    Language
    English
    Category
    Computers & Technology
    Condition
    New
    ISBN-13
    9783844395549
    ISBN-10
    3844395547

    Free U.S. shipping on all orders. International shipping is calculated at checkout.

    Guaranteed safe checkout

    Product description

    ISBN: 3844395547

    Author: Pham, Van Viet

    Condition: New

    The enormous expansion in the use of software in every field of life makes demands on installing and developing reusable, robust, reliable, flexible, adaptive software system much accelerating. As these demands are growing stronger, the complexity of processes that software manages is increasing along with the demand for the integration of processes from different areas. As a result, software programs are be coming increasingly large and complex. One of challenges for software developers is how to check the conformance between the implementation and specification, especially in component-based software engineering. In this book, we will propose a method for checking this conformance.

    View full details

    Checking the Conformance: between the Implementation and PSM Specifications in Component Models.

    £57.00 GBP
     per 

    You May Also Like

    More in Computers & Technology

    View all
    Coasters 101: An Engineer's Guide to Roller Coaster Design
    Activity Theory for Intercultural Human-Computer Interaction: A Theoretical Framework for Investigating Intercultural Issues in Computer-Mediated Information and Communication
    Selective cell control for biomedical applications: Impact of laser-fabricated 3D scaffolds and surface topographies
    Fully Realistic Multi-Criteria Timetable Information Systems: Models, Algorithms, and Prototypes
    Facilitating Ontology Reuse Using User-Based Ontology Evaluation: Employing an Advanced Topic-Specific Trust Open Rating System For Ontology Evaluation
    Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
    Virtual Expeditions Methodology: Developing and Assessing a Methodology for Web Based Virtual Expeditions
    Perceived Health and Access to Care in Minority Settings: The Case of Canadas Official-Language Minorities
    APPLICATION OF QUALITY FUNCTION DEPLOYMENT IN PRODUCT DEVELOPMENT: A PRACTICAL CASE STUDY
    Development & Aspects of Distance Relays: Impact of Power swings on Transmission lines
    Searching A Website Via Spoken Questions: Searching by means of the easiest route we generally prefer: Talking!
    A hybrid wind-Hydrogen energy system in Ethiopia: Modeling, simulation and analysis
    RECENTLY VIEWED PRODUCTS

    Why Shop Miakarts Books?

    Wide Selection

    Discover books across many categories and subjects.

    Secure Checkout

    Shop with a secure online checkout experience.

    Detailed Book Information

    View ISBN, author, publisher, format and other available book details.

    Easy Online Ordering

    Browse, select and order books online.

    Customer Support

    Contact us if you need help with an order or product.