UML 2001 - The Unified Modeling Language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
2185 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • UML 2001, the unified modeling language, modeling languages, concepts, and tools, 4th international conference, Toronto, Canada, October 1-5, 2001, proceedings, Martin Gogolla, Cris Kobryn (ed.), New York, Springer, 2001, 1 volume (XIV-510p.), Lecture notes in computer science, 3-540-42667-1 • UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Texte imprimé, 9783662205730 |
| LEADER | 05591nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 948471 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155166263 | ||
| 020 | |a 9783540454410 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on the Unified Modeling Language |n (04 |d :2001 |c :Toronto). | |
| 245 | 1 | 0 | |a UML 2001 - The Unified Modeling Language : |b modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings |c [edited by] Martin Gogolla, Cris Kobryn. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2185 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talk -- The Preacher at Arrakeen -- Metamodeling -- An Action Semantics for MML -- The Essence of Multilevel Metamodeling -- Mapping between Levels in the Metamodel Architecture -- Activity Diagrams -- An Execution Algorithm for UML Activity Graphs -- Timing Analysis of UML Activity Diagrams -- UML Activity Diagrams as a Workflow Specification Language -- OCL -- On Querying UML Data Models with OCL -- OCL as a Specification Language for Business Rules in Database Applications -- A Formal Semantics for OCL 1.4 -- Architecture and Patterns -- Refactoring UML Models -- UML Support for Designing Software Systems as a Composition of Design Patterns -- Integrating the ConcernBASE Approach with SADL -- Analysis and Testing -- The Message Paradigm in Object-Oriented Analysis -- A UML-Based Approach to System Testing -- Performance and Databases -- UML Modelling and Performance Analysis of Mobile Software Architectures -- Extending UML for Object-Relational Database Design -- Invited Talk -- Understanding UML Pains and Rewards -- Graph Transformations -- A Formal Semantics of UML State Machines Based on Structured Graph Transformation -- A Visualization of OCL Using Collaborations -- Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model -- Real-Time and Embedded Systems -- A New UML Profile for Real-Time System Formal Design and Validation -- Representing Embedded System Sequence Diagrams as a Formal Language -- Scenario-Based Monitoring and Testing of Real-Time UML Models -- Associations and Ontology -- Semantics of the Minimum Multiplicity in Ternary Associations in UML -- Extending UML to Support Ontology Engineering for the Semantic Web -- On Associations in the Unified Modelling Language -- Statecharts -- iState: A Statechart Translator -- Specifying Concurrent System Behaviorand Timing Constraints Using OCL and UML -- Formalization of UML-Statecharts -- Invited Talk -- UML for Agent-Oriented Software Development: The Tropos Proposal -- Components -- A UML Meta-model for Contract Aware Components -- A Specification Model for Interface Suites -- Use Cases -- Against Use Case Interleaving -- Estimating Software Development Effort Based on Use Cases Experiences from Industry -- Workshops and Tutorials -- Workshops and Tutorials at the UML 2001 Conference. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a UML (informatique) | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Conception orientée objets (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Gogolla, Martin. |4 pbd | |
| 700 | 1 | |a Kobryn, Cris, |d 19..- |4 pbd | |
| 776 | 0 | |0 058899936 |t UML 2001 |o the unified modeling language |o modeling languages, concepts, and tools |o 4th international conference, Toronto, Canada, October 1-5, 2001 |o proceedings |f Martin Gogolla, Cris Kobryn (ed.) |c New York |n Springer |d 2001 |p 1 volume (XIV-510p.) |s Lecture notes in computer science |z 3-540-42667-1 | |
| 776 | 0 | |t UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools |b Texte imprimé |z 9783662205730 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45441-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XN9KQS4C-H |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748063005 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45441-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751514640 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45441-1 |z Accès INSA CVL | |
| 997 | |0 948471 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||