UML 2003 - The Unified Modeling Language : modeling languages and applications : 6th international conference, San Fransisco, CA, USA, october 20-24, 2003 : proceedings
Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands wha...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
2863 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • UML 2003, the unified modeling language, modeling languages and applications, 6th international conference, San Fransisco, CA, USA, october 20-24, 2003, proceedings, Perdita Stevens, Jon Whittle, Grady Booch (eds.), Berlin, Springer, 2003, 1 vol. (XIV-413 p.), Lecture notes in computer science, 3-540-20243-9 • UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications, Texte imprimé, 9783662196120 |
| LEADER | 06204nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 949008 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155205676 | ||
| 020 | |a 9783540452218 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a UML 2003 |n (6th |c :San Fransisco, CA). | |
| 245 | 1 | 0 | |a UML 2003 - The Unified Modeling Language : |b modeling languages and applications : 6th international conference, San Fransisco, CA, USA, october 20-24, 2003 : proceedings |c [edited by] Perdita Stevens, Jon Whittle, Grady Booch. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2863 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Inivited Talk 1 -- Agile Processes: Developing Your Own Secret Recipes -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Inivited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML s Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling PreservingContracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 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 Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene?ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene?ts of higher-level thinking. Much work remains to be done. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Simulation par ordinateur | ||
| 650 | |a UML (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Booch, Grady, |d 1955- |4 pbd | |
| 700 | 1 | |a Stevens, Perdita. |4 pbd | |
| 700 | 1 | |a Whittle, Jon. |4 pbd | |
| 776 | 0 | |0 074655809 |t UML 2003 |o the unified modeling language |o modeling languages and applications |o 6th international conference, San Fransisco, CA, USA, october 20-24, 2003 |o proceedings |f Perdita Stevens, Jon Whittle, Grady Booch (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (XIV-413 p.) |s Lecture notes in computer science |z 3-540-20243-9 | |
| 776 | 0 | |t UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications |b Texte imprimé |z 9783662196120 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b14063 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-K36K392S-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748053921 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b14063 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751505153 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b14063 |z Accès INSA CVL | |
| 997 | |0 949008 |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/ | ||