Modélisation et spécification formelle des logiciels (notice n° 59489)
[ vue normale ]
000 -LEADER | |
---|---|
fixed length control field | 02462cam a2200277zu 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | FRCYB45006865 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20250107205119.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 250107s2006 fr | o|||||0|0|||fre d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9782921180825 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | FRCYB45006865 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | FR-PaCSA |
Language of cataloging | fr |
Transcribing agency | |
Description conventions | rda |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Tremblay, Guy |
245 01 - TITLE STATEMENT | |
Title | Modélisation et spécification formelle des logiciels |
Remainder of title | édition revue et augmentée |
Statement of responsibility, etc. | ['Tremblay, Guy'] |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Name of producer, publisher, distributor, manufacturer | Loze-Dion éditeur |
Date of production, publication, distribution, manufacture, or copyright notice | 2006 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | p. |
336 ## - CONTENT TYPE | |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type code | c |
Source | rdamdedia |
338 ## - CARRIER TYPE | |
Carrier type code | c |
Source | rdacarrier |
520 ## - SUMMARY, ETC. | |
Summary, etc. | Ce manuel vise à initier le lecteur aux méthodes formelles de modélisation et de spécification et à leur rôle dans le développement de logiciels. Entre autres, il vise à familiariser le lecteur avec le mode descriptif de spécification (quoi ?) plutôt qu'avec le mode algorithmique traditionnel (comment ?).La principale notation utilisée dans ce manuel est la notation Spec. Ce langage de spécification formelle, tout commeVDMou Z, est basé sur la technique de modélisation abstraite. Toutefois, contrairement à ces langages, Spec s'inspire fortement des langages de programmation modernes : syntaxe textuelle plutôt que symboles mathématiques, langage fortement typé, mécanismes de modularisation et d'encapsulation, généricité et héritage, traitements d'exceptions, etc. En plus de la notation Spec, d'autres méthodes de spécifications sont aussi introduites - VDM, Z, Larch, sans oublier la notation OCL d'UML, ce qui permet de bien comparer ces diverses approches.Bien qu'une partie de ce manuel porte sur l'utilisation d'une méthode rigou reuse de développement (à la VDM), sa principale caractéristique est l'accent mis sur les techniques de description et de spécification de composants et de systèmes logiciels : fonctions, machines, types abstraits ou classes d'objets. De simples connaissances de base en mathématiques discrètes (théorie des ensembles et logique) et la connaissance d'un langage de programmation sont donc les seuls prérequis suggérés.Cette édition a été mise à jour et augmentée du chapitre 15 sur la conception et la programmation par contrats et l'utilisation d'assertions. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | |
700 0# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Tremblay, Guy |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Access method | Cyberlibris |
Uniform Resource Identifier | <a href="https://international.scholarvox.com/netsen/book/45006865">https://international.scholarvox.com/netsen/book/45006865</a> |
Electronic format type | text/html |
Host name |
Pas d'exemplaire disponible.
Réseaux sociaux