£46.00

OmniScriptum Raffinement et Refactoring de spécifications UML: Contribution à l'ingénierie des systèmes - Raffinement et Refactoring de spécifications UML (Omn.Univ.Europ.)

Price data last checked 26 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£46 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical
Generating forecast...
£46.00 £43.70 £44.62 £45.54 £46.46 £47.38 £48.30 22 February 2026 10 March 2026 26 March 2026 11 April 2026 27 April 2026

Price Distribution

Price distribution over 65 days • 1 price levels

Days at Price
65 days 0 16 33 49 65 £46 Days at Price

Price Analysis

Most common price: £46 (65 days, 100.0%)

Price range: £46 - £46

Price levels: 1 different prices over 65 days

Description

La spécification de systèmes complexes est une tâche difficile qui ne peut être accomplie en une seule étape. Dans les méthodes formelles, le concept de raffinement a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. L'activité de refactoring consiste à restructurer un modèle en vue d'améliorer certains facteurs de qualité, tout en préservant la cohérence de ce modèle.Ce travail préconise l'utilisation de deux techniques de raffinement et de refactoring afin d'établir des modèles UML de qualité c'est-à-dire corrects par construction, extensibles, réutilisables et efficaces. En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B et CSP (formels). Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modélisation statique de son application et proposition des schémas de refactoring des modèles UML décrits par des diagrammes de classes, contraintes OCL et diagrammes d'états-transitions afin d'aider le concepteur lors de la restructuration des modèles UML.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
16 July 2012
Listed Since
18 July 2012

Barcode

No barcode data available

Similar Products You Might Like

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

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

OmniScriptum

£84.00 02 May 2026
Guide to the Unified Process featuring UML, Java and Design Patterns (Springer Professional Computing)
96% match

Guide to the Unified Process featuring UML, Java and Design Patterns (Springer Professional Computing)

Springer

£70.71 02 Mar 2026
UML'99 - The Unified Modeling Language: Beyond the Standard: Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings: 1723 (Lecture Notes in Computer Science, 1723)
96% match

UML'99 - The Unified Modeling Language: Beyond the Standard: Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings: 1723 (Lecture Notes in Computer Science, 1723)

Springer

£80.05 24 Apr 2026
Unified Modeling Language User Guide, The (Addison-Wesley Object Technology Series)
96% match

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

Addison Wesley

£51.95 07 Mar 2026
UML Requirements Modeling For Business Analysts: Steps to Modeling Success
96% match

UML Requirements Modeling For Business Analysts: Steps to Modeling Success

Technics Publications

£35.17 25 Apr 2026
Springer - UML for Real: Design of Embedded Real-Time Systems
96% match

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

Springer

£113.93 19 Apr 2026
Executable UML: A Foundation for Model-Driven Architecture
96% match

Executable UML: A Foundation for Model-Driven Architecture

£40.56 04 Apr 2026
UML @ Classroom: An Introduction to Object-Oriented Modeling (Undergraduate Topics in Computer Science)
96% match

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

Springer

£31.50 13 Jan 2026
The Unified Modeling Language. <>'98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers: 1618 (Lecture Notes in Computer Science, 1618)
96% match

The Unified Modeling Language. <>'98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers: 1618 (Lecture Notes in Computer Science, 1618)

Springer

£43.31 05 May 2026
Diagrammes de collaboration UML: Génération de séquences de test : implémentation et évaluation (Omn.Pres.Franc.)
96% match

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

OmniScriptum

£56.00 02 May 2026
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development
96% match

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development

PEARSON EDUCATION

£55.18 17 Mar 2026
UML A Complete Guide - 2020 Edition
95% match

UML A Complete Guide - 2020 Edition

5starcooks

£74.97 24 Jan 2026
Guide to Applying the UML
95% match

Guide to Applying the UML

Springer

£33.64 02 May 2026
Object-Oriented Systems Analysis and Design Using UML
95% match

Object-Oriented Systems Analysis and Design Using UML

McGraw-Hill Education

£59.99 26 Jan 2026
Refinement in Z and Object-Z: Foundations and Advanced Applications
95% match

Refinement in Z and Object-Z: Foundations and Advanced Applications

Springer

£75.25 22 Apr 2026
Metamodelling for Software Engineering
95% match

Metamodelling for Software Engineering

Wiley

£54.29 21 Feb 2026
Agile Modeling with UML: Code Generation, Testing, Refactoring
95% match

Agile Modeling with UML: Code Generation, Testing, Refactoring

Springer

£57.91 26 Feb 2026
Use Case Driven Object Modeling with UMLTheory and Practice: Theory and Practice
95% match

Use Case Driven Object Modeling with UMLTheory and Practice: Theory and Practice

Apress

£50.08 25 Apr 2026
Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures
95% match

Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures

Cambridge University Press

£37.82 19 Apr 2026
Use Case Driven Object Modeling with UML: Theory and Practice (Expert's Voice in UML Modeling)
95% match

Use Case Driven Object Modeling with UML: Theory and Practice (Expert's Voice in UML Modeling)

Apress

£47.89 19 Apr 2026
Systems Analysis and Design: An Object-Oriented Approach with UML
95% match

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

£90.51 13 Jan 2026
Software Visualization: From Theory to Practice: 734 (The Springer International Series in Engineering and Computer Science, 734)
95% match

Software Visualization: From Theory to Practice: 734 (The Springer International Series in Engineering and Computer Science, 734)

Springer

£112.91 05 May 2026
OCUP 2 Certification Guide: Preparing for the OMG Certified UML 2.5 Professional 2 Foundation Exam
95% match

OCUP 2 Certification Guide: Preparing for the OMG Certified UML 2.5 Professional 2 Foundation Exam

Morgan Kaufmann

£36.09 03 Mar 2026
Feature-Oriented Software Product Lines: Concepts and Implementation
95% match

Feature-Oriented Software Product Lines: Concepts and Implementation

Springer

£46.53 08 Mar 2026