Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

UML 2004 - The Unified Modeling Language

Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

Editors:

  1. Thomas Baar

    1. École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alfred Strohmeier

    1. École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ana Moreira

    1. Universidade Nova de Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Stephen J. Mellor

    1. Accelerated Technology, 739 N. University Blvd., Mobile, U.S.A

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3273)

Conference series link(s): UML: International Conference on the Unified Modeling Language

Conference proceedings info: UML 2004.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (32 papers)

  1. Model Transformation

    2. Generic and Meta-transformations for Model Transformation Engineering

      • Dániel Varró, András Pataricza
      Pages 290-304

  2. Verification and Model Consistency

    1. Supporting Model Refactorings Through Behaviour Inheritance Consistencies

      • Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens
      Pages 305-319

    3. Deductive Verification of UML Models in TLPVS

      • Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
      Pages 335-349

  3. Security

    1. Integrating a Security Requirement Language with UML

      • H. Abie, D. B. Aredo, T. Kristoffersen, S. Mazaher, T. Raguin
      Pages 350-364

    2. Automated Verification of UMLsec Models for Security Requirements

      • Jan Jürjens, Pasha Shabalin
      Pages 365-379

    3. Extending OCL for Secure Database Development

      • Eduardo Fernández-Medina, Mario Piattini
      Pages 380-394

  4. Methodology

    1. Test Driven Development of UML Models with SMART Modeling System

      • Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shusuke Haruna
      Pages 395-409

  5. Workshops and Tutorials

    1. Workshops at the UML 2004 Conference

      • Ambrosio Toval
      Pages 440-448

    2. Tutorials at the UML 2004 Conference

      • Ezra K. Mugisa
      Pages 449-452

  6. Back Matter

    PDF
Back to top

Keywords

Back to top

Editors and Affiliations

  • École Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland

    Thomas Baar, Alfred Strohmeier

  • Universidade Nova de Lisboa, Portugal

    Ana Moreira

  • Accelerated Technology, 739 N. University Blvd., Mobile, U.S.A

    Stephen J. Mellor

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation