Modélisation et spécification formelle des logiciels (notice n° 59489)

détails MARC
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.

PLUDOC

PLUDOC est la plateforme unique et centralisée de gestion des bibliothèques physiques et numériques de Guinée administré par le CEDUST. Elle est la plus grande base de données de ressources documentaires pour les Étudiants, Enseignants chercheurs et Chercheurs de Guinée.

Adresse

627 919 101/664 919 101

25 boulevard du commerce
Kaloum, Conakry, Guinée

Réseaux sociaux

Powered by Netsen Group @ 2025