Descripteur
Termes IGN > informatique > langage de modélisation
langage de modélisationSynonyme(s)FormalismeVoir aussi |
Documents disponibles dans cette catégorie (190)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Titre : UML @ Classroom : an Introduction to Object-Oriented Modeling Type de document : Guide/Manuel Auteurs : Martina Seidl, Auteur ; Marion Scholz, Auteur ; Christian Huemer, Auteur ; Gerti Kappel, Auteur Editeur : Berlin, Heidelberg, Vienne, New York, ... : Springer Année de publication : 2015 Collection : Undergraduate Topics in Computer Science UTICS, ISSN 2197-1781 Importance : 206 p. ISBN/ISSN/EAN : 978-3-319-12742-2 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Informatique
[Termes IGN] conception orientée objet
[Termes IGN] diagramme
[Termes IGN] langage de programmation
[Termes IGN] UMLRésumé : (Editeur) This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object diagram, the sequence diagram, the state machine diagram, the activity diagram, and the use case diagram), as well as their interrelationships, in a step-by-step manner. The topics covered include not only the syntax and the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them wisely at various stages in the software development process. To this end, the work is complemented with examples that were carefully selected for their educational and illustrative value. Overall, the book provides a solid foundation and deeper understanding of the most important object-oriented modeling concepts and their application in software development. An additional website offers a complete set of slides to aid in teaching the contents of the book, exercises and further e-learning material. Note de contenu :
- Introduction
- A Short Tour of UML
- The Use Case Diagram
- The Class Diagram
- The State Machine Diagram
- The Sequence Diagram
- The Activity Diagram
- All Together Now
- Further TopicsNuméro de notice : 26283 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Manuel informatique DOI : 10.1007/978-3-319-12742-2 En ligne : https://doi.org/10.1007/978-3-319-12742-2 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=94937 Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure / Akram Idani in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 19 n° 6 (novembre - décembre 2014)
[article]
Titre : Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure Type de document : Article/Communication Auteurs : Akram Idani, Auteur ; Yves Ledru, Auteur ; Amira Radhouani, Auteur Année de publication : 2014 Article en page(s) : pp 33 - 61 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] accès aux données
[Termes IGN] modèle numérique
[Termes IGN] modélisation
[Termes IGN] plateforme logicielle
[Termes IGN] sécurité informatique
[Termes IGN] UML
[Termes IGN] validation des donnéesRésumé : (Auteur) L’omniprésence de l’informatique, l’interconnexion des systèmes et leur ouverture à un nombre accru d’utilisateurs font que les enjeux de la sécurité d’un SI sont importants. Nos travaux dans ce contexte, visent les activités de validation de politiques de sécurité RBAC dès les phases conceptuelles. Pour cela, nous avons développé la plate-forme B4MSecure qui met en œuvre une modélisation conjointe en UML et B des aspects fonctionnels du Système d’Information ainsi que des politiques de contrôle d’accès. Les modèles graphiques UML, fondés sur le profil SecureUML, permettent de disposer de vues compréhensibles et structurantes, et leurs contreparties en B permettent de tirer profit des outils de validation formelle. Dans cet article, nous présentons les fondements de la plateforme B4MSecure ainsi que les activités de validation qui en résultent. Numéro de notice : A2015-156 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : 10.3166/isi.19.6.33-61 En ligne : https://doi.org/10.3166/isi.19.6.33-61 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=75843
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 19 n° 6 (novembre - décembre 2014) . - pp 33 - 61[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-2014061 SL Revue Centre de documentation Revues en salle Disponible
Titre : Foundations of Fuzzy Logic and Semantic Web Languages Type de document : Monographie Auteurs : Umberto Straccia, Auteur Editeur : Londres, New York, Tokyo : Chapman & Hall Année de publication : 2014 Importance : 386 p. ISBN/ISSN/EAN : 978-0-429-10961-4 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Intelligence artificielle
[Termes IGN] exploration de données
[Termes IGN] format d'échange
[Termes IGN] logique floue
[Termes IGN] métadonnées
[Termes IGN] ontologie
[Termes IGN] OWL
[Termes IGN] RDF
[Termes IGN] SPARQL
[Termes IGN] web sémantiqueRésumé : (éditeur) Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of Fuzzy Logic and Semantic Web Languages provides a rigorous and succinct account of the mathematical methods and tools used for representing and reasoning with fuzzy information within Semantic Web languages. The book focuses on the three main streams of Semantic Web languages:
- Triple languages RDF and RDFS
- Conceptual languages OWL and OWL 2, and their profiles OWL EL, OWL QL, and OWL RL
- Rule-based languages, such as SWRL and RIF
Written by a prominent researcher in this area, the book is the first to combine coverage of fuzzy logic and Semantic Web languages. The first part of the book covers all the theoretical and logical aspects of classical (two-valued) Semantic Web languages. The second part explains how to generalize these languages to cope with fuzzy set theory and fuzzy logic. With an extensive bibliography, this book provides in-depth insight into fuzzy Semantic Web languages for non-fuzzy set theory and fuzzy logic experts. It also helps researchers of non-Semantic Web languages get a better understanding of the theoretical fundamentals of Semantic Web languages.Note de contenu : Introduction
- Resource Description Language RDF & RDF Schema
- Web Ontology Language OWL
- Rule Languages
- Query Languages for SWL-based Knowledge Bases
- Fuzzy Sets and Mathematical Fuzzy Logic Basics
- Fuzzy RDF & RDFS
- Fuzzy OWL
- Fuzzy Rule LanguagesNuméro de notice : 25744 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE/SOCIETE NUMERIQUE Nature : Monographie En ligne : https://www.taylorfrancis.com/books/e/9780429109614 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=95238 UML 2, de l’apprentissage à la pratique [Cours et exercices] / Laurent Audibert (2014)
Titre : UML 2, de l’apprentissage à la pratique [Cours et exercices] : présentation des diagrammes UML, langage de contraintes OCL, introduction aux patrons de conception, mise en oeuvre d'UML Type de document : Monographie Auteurs : Laurent Audibert, Auteur Mention d'édition : 2ème édition Editeur : Paris : Ellipses-Edition Marketing Année de publication : 2014 Collection : Info + Importance : 298 p. Format : 19 x 24 cm ISBN/ISSN/EAN : 978-2-340-00204-3 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Informatique
[Termes IGN] modèle orienté objet
[Termes IGN] OCL
[Termes IGN] UMLIndex. décimale : 26.01 Méthodes de programmation et d'analyse, UML Résumé : (Editeur) Ce livre s'adresse aux étudiants en informatique qui suivent un cursus comportant du génie logiciel, de la modélisation UML ou de la programmation objet, aux professeurs désirant s’appuyer sur un support de cours précis et complet, aux professionnels informaticiens utilisant UML dans leurs projets. Les objectifs de cet ouvrage sont d'acquérir d’une manière pédagogique et rigoureuse les bases du langage UML, de comprendre le langage de contrainte OCL, de découvrir les patrons de conception (Design patterns), de s’intéresser à la mise en oeuvre d’UML Note de contenu :
1. Introduction à la modélisation objet
2. Diagramme de cas d'utilisation
3. Diagramme de classes
4. Object Constraint Language (OCL)
5. Diagramme d'états-transitions
6. Diagramme d'activités
7. Diagrammes d'interaction
8. Diagrammes de composants et de déploiement
9. Patrons de conception
10. Mise en oeuvre d'UMLNuméro de notice : 22254 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Manuel informatique Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=75976 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 22254-01 26.01 Manuel Informatique Centre de documentation Informatique Disponible UML-based approach to developing a CityGML application domain extension / Linda Van Den Brink in Transactions in GIS, vol 17 n° 6 (December 2013)
[article]
Titre : UML-based approach to developing a CityGML application domain extension Type de document : Article/Communication Auteurs : Linda Van Den Brink, Auteur ; Jantien E. Stoter, Auteur ; Sisi Zlatanova, Auteur Année de publication : 2013 Article en page(s) : pp 920 - 942 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique
[Termes IGN] architecture orientée modèle
[Termes IGN] CityGML
[Termes IGN] diagramme
[Termes IGN] données localisées 3D
[Termes IGN] GML
[Termes IGN] langage de modélisation
[Termes IGN] module d'extension
[Termes IGN] Pays-Bas
[Termes IGN] SIG 3D
[Termes IGN] UMLRésumé : (Auteur) Recently a national 3D standard was established in the Netherlands as a CityGML Application Domain Extension (called IMGeo). In line with the Dutch practice of modeling geo-information, the ADE is developed using a model driven approach. The classes are designed in UML and automatically mapped to GML schema. The current OGC CityGML specification does not provide rules or guidance on correctly modeling an ADE in UML. This article fills this gap by studying how CityGML can be extended for specific applications starting from the UML diagrams. Six alternatives for modeling ADEs in UML are introduced and compared. The optimal alternative is selected and applied to obtain the national 3D standard. The approach was extensively discussed with international experts, who were members of both SIG3D and other working groups. As a consequence the approach was adopted by the SIG3D, the Special Interest Group 3D which, among other things, work on the 3D standard CityGML in cooperation with OGC. Therefore the approach contains many issues that can be generalized and reused by future domain extensions of CityGML. To further support this, the article formulates a model-driven framework to model CityGML ADEs. Open issues are described in the conclusions. Numéro de notice : A2013-675 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1111/tgis.12026 Date de publication en ligne : 22/05/2013 En ligne : https://doi.org/10.1111/tgis.12026 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=32811
in Transactions in GIS > vol 17 n° 6 (December 2013) . - pp 920 - 942[article]Temporal logic and operation relations based knowledge representation for land cover change web services / Jun Chen in ISPRS Journal of photogrammetry and remote sensing, vol 83 (September 2013)PermalinkAn information model for pedestrian routing and navigation databases supporting universal accessibility / Mari Laasko in Cartographica, vol 48 n° 2 (June 2013)PermalinkLa programmation orientée objet / H. Bersini (2013)PermalinkTowards sustainable land management in Serbia: the story of Cacak's webGIS rollout / H. Müller in GIM international, vol 26 n° 7 (July 2012)PermalinkUne approche ontologique pour la structuration de données spatio-temporelles de trajectoires : Application à l’étude des déplacements de mammifères marins / W. Mefteh in Revue internationale de géomatique, vol 22 n° 1 (mars - mai 2012)PermalinkModélisation urbaine : de la représentation au projet. Interopérabilité et intégration des données et modèles urbains : standards, normes et tendances pour les SIG / Emmanuel Devys (2012)PermalinkPermalinkIntégration d'infos-trafic temps réel dans un moteur de calcul d'itinéraires : Projet des élèves ingénieur de l'ENSG / Alexandre Pauthonnier in Géomatique expert, n° 81 (01/07/2011)PermalinkNIBU: An integrated framework for representing the relation among building structure and interior utilities in micro-scale environment / Ihab Hijazi in Geo-spatial Information Science, vol 14 n° 2 (01/06/2011)PermalinkA semantic-rich multi-scale information model for topography / Jantien E. Stoter in International journal of geographical information science IJGIS, vol 25 n° 4-5 (May 2011)PermalinkInterpreting motion events of pairs of moving objects / B. Gottfried in Geoinformatica, vol 15 n° 2 (April 2011)PermalinkUne mesure de distance dans l'espace des alignements entre parties potentiellement homologues de deux ontologies légères / Ammar Mechouche in Revue des Nouvelles Technologies de l'Information, E.20 ([28/01/2011])PermalinkMise en place de règles cartographiques en relation avec une ontologie du domaine / Fayrouz Soualah-Alila (2011)PermalinkPermalinkAn object-oriented shared data model for GIS and distributed hydrologic models / Muneendra Kumar in International journal of geographical information science IJGIS, vol 24 n°7-8 (july 2010)PermalinkPermalinkVague spatio-thematic query processing: a qualitative approach to spatial closeness / R. Grütter in Transactions in GIS, vol 14 n° 2 (April 2010)PermalinkMultidimensional Map Algebra: design and implementation of a spatio-temporal GIS processing language / J. Mennis in Transactions in GIS, vol 14 n° 1 (February 2010)PermalinkAlignment-based measure of the distance between potentially common parts of lightweight ontologies / Ammar Mechouche (2010)PermalinkPermalink