My Account Log in

1 option

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / edited by Perdita Stevens, Jon Whittle, Grady Booch.

LIBRA Q341 .P7 2004
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Book
Contributor:
Stevens, Perdita, editor.
Whittle, Jon, 1972- editor.
Booch, Grady, editor.
SpringerLink (Online service)
Series:
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 2863.
Lecture Notes in Computer Science, 0302-9743 ; 2863
Language:
English
Subjects (All):
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer science.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Management of Computing and Information Systems.
Local Subjects:
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Management of Computing and Information Systems.
Physical Description:
1 online resource (XIV, 418 pages).
Edition:
First edition 2003.
Contained In:
Springer eBooks
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
System Details:
text file PDF
Summary:
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.
Contents:
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 Preserving Contracts
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.
Other Format:
Printed edition:
ISBN:
978-3-540-45221-8
9783540452218
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account