L'intégration de formalismes dans le développement logiciel: UML au coeur du multi-formalisme (Omn.Univ.Europ.) - Image 1

£84.00

OmniScriptum L'intégration de formalismes dans le développement logiciel: UML au coeur du multi-formalisme (Omn.Univ.Europ.)

Name: L'integration de formalismes dans le developpement logiciel: UML au coeur du multi-formalisme (Omn.Univ.Europ.)
Brand: OmniScriptum
Price: 84.0 GBP
Availability: InStock

Computers

Price History & Forecast

Last 20 days • 20 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 20 days • 1 price levels

Days at Price

Price Analysis

Most common price: £84 (20 days, 100.0%)

Price range: £84 - £84

Price levels: 1 different prices over 20 days

Description

UML subit des reproches incessants sur le manque de ses fondements formels. L’imprécision de sa sémantique complique la vérification des modèles quand la correction des spécifications devient une condition incontournable en génie logiciel. Reconnues pour leurs fondements théoriques rigoureux, les langages formels sont à même de répondre à ce besoin. Ils sont toutefois peu utilisés en raison de leur complexité. Aussi, pour rallier convivialité et rigueur, de nombreuses équipes de recherches s’activent autour de la sémantique d’UML dans le but de lui conférer des bases solidement construites. La principale motivation de cette étude a été, tout le long de son développement, de parvenir à une modélisation UML valide sans obligation de maîtrise, pour le concepteur UML, des techniques formelles usitées en pareille situation. Cet objectif, plutôt ambitieux, ouvre de larges horizons sur la sémantique des langages et l’analyse des modèles qui en découlent. La méthodologie que nous proposons apporte plusieurs contributions. Sa principale originalité apparaît dans le large spectre de diagrammes qu’elle intègre, de façon complémentaire, pour produire un modèle unique formellement vérifié.

Product Specifications

Brand: OmniScriptum
Format: paperback
ASIN: 6131593361
Category: Books > Subjects > Biography > Professionals & Academics > Computers
Domain: Amazon UK
Release Date: 04 October 2011
Listed Since: 08 October 2011

Barcode

No barcode data available

OmniScriptum L'intégration de formalismes dans le développement logiciel: UML au coeur du multi-formalisme (Omn.Univ.Europ.)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Agile Modeling with UML: Code Generation, Testing, Refactoring

Verification and Validation for Quality of UML 2.0 Models (Wiley Series in Systems Engineering and Management)

Metamodelling for Software Engineering

Springer - UML for Real: Design of Embedded Real-Time Systems

UML @ Classroom: An Introduction to Object-Oriented Modeling (Undergraduate Topics in Computer Science)

Springer - Formal Methods and Models for System Design Book

Systems Engineering with SysML/UML: Modeling, Analysis, Design (The MK/OMG Press)

Unified Modeling Language User Guide, The (Addison-Wesley Object Technology Series)

Diagrammes de collaboration UML: Génération de séquences de test : implémentation et évaluation (Omn.Pres.Franc.)

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science)

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)

How to Engineer Software: A Model-Based Approach

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Model-Driven Dependability Assessment of Software Systems

Systems Analysis and Design: An Object-Oriented Approach with UML

Formal Methods in Computer Science (Textbooks in Mathematics)

Semantic Web and Model-Driven Engineering

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Software Paradigms

Multi Pack:Requirements Analysis and System Design with CD:Developing InformationSystems with UML with ... Break Software:A Practical Guide to Testing