Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only €10,99/month after trial. Cancel anytime.

    UML 2 Semantics and Applications
    UML 2 Semantics and Applications
    UML 2 Semantics and Applications
    Ebook343 pages8 hours

    UML 2 Semantics and Applications

    By Kevin Lano

    ()

    Read preview

    About this ebook

    A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development

    With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of:

    • The role of semantics

    • Considerations and rationale for a UML system model

    • Definition of the UML system model

    • UML descriptive semantics

    • Axiomatic semantics of UML class diagrams

    • The object constraint language

    • Axiomatic semantics of state machines

    • A coalgebraic semantic framework for reasoning about interaction designs

    • Semantics of activity diagrams

    • Verification of UML models

    • State invariants

    • Model transformation specification and verification

    Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.

    LanguageEnglish
    PublisherWiley
    Release dateOct 13, 2009
    ISBN9780470522615
    UML 2 Semantics and Applications

    Related to UML 2 Semantics and Applications

    Related ebooks

    Programming For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Opinion

      Jul 23, 2024

      Italo Vignoli is one of the founders of LibreOffice and the Document Foundation. “LibreOffice 24.8 will be announced in the second half of August, and the developers are working hard to optimise the new features that will be included. It will be the

      3 min read

    • Article

      Build Your Own Home CCTV System

      Jan 9, 2024

      If you feel ‘admin’ is too insecure a username for your main account, after setting your password, browse to the MotionEye configuration folder and open motion.conf in a text editor. Uncomment the # @admin_ username admin line and change admin to you

      11 min read

    • Article

      Observability Of The Kernel And Containers

      Apr 4, 2023

      Mihalis Tsoukalos is currently working on Time Series. You can reach him at: @mactsouk. For our final delve into eBPF, we’re tackling applications, the kernel and Docker containers. At the end of the day, all Linux machines execute code for applicat

      10 min read

    • Article

      Unreal Engine 5.2

      Sep 5, 2023

      Unreal Engine 5.2
      3 min read

    • Article

      Kernel Watch

      Jul 23, 2024

      Linus Torvalds announced the final set of Linux 6.10 Release Candidate kernels as the development cycle for 6.10 came to a close and anticipation was building for the opening of the 6.11 merge window (the period of about two weeks at the start of a d

      2 min read

    • Article

      Newsdesk

      Jun 27, 2023

      Newsdesk
      8 min read

    • Article

      Robo-marshal

      May 3, 2019

      Robo-marshal
      8 min read

    • Article

      Maya 2024

      Jul 11, 2023

      Maya 2024
      3 min read

    • Article

      Down To The Wire

      Jul 25, 2023

      “WirePlumber is the modular and preferred session manager of PipeWire, the next-gen multimedia framework for Linux-based systems. With the 0.5 release, WirePlumber will see some fundamental changes to its system, including a move from Lua to a JSON-b

      1 min read

    • Article

      Autodesk Maya 2020

      Mar 25, 2020

      Autodesk Maya 2020
      3 min read

    • Article

      EBPF To Enhance Kubernetes Monitoring

      Apr 1, 2022

      The introduction of Docker and Kubernetes has brought a dramatic revolution in the IT industry. Unlike the traditional methods of developing and deploying software, Kubernetes or K8s uses scaling and automated deployment. Thanks to the Linux function

      4 min read

    • Article

      Write A Linux Shell From Scratch

      Dec 12, 2023

      Part One! Don’t miss next issue, subscribe on page 16! Ferenc Deak wanted to use Malbolge to create a Linux shell, but after several days in hell, he quickly came to his senses and continued the project in C++. Not that there is a huge difference… E

      9 min read

    • Article

      Automotive Grade Linux

      Nov 16, 2021

      Automotive Grade Linux
      9 min read

    • Article

      First Look Houdini 20

      Nov 7, 2023

      First Look Houdini 20
      6 min read

    • Article

      Opinion

      Jun 25, 2024

      Italo Vignoli is one of the founders of LibreOffice and the Document Foundation. “The Document Foundation has announced LibreOffice 24.2.4 Community, the fourth minor release of the free, volunteer-supported office suite for personal productivity in

      3 min read

    • Article

      Adding Kevlar® to Your Code

      Feb 1, 2022

      Someone once said that writing the code for a new program takes about 20% of the development time. Testing and debugging that code eats up the remaining 80%. Kinda makes you wonder how programmers manage to screw up the first 20% to such a degree tha

      4 min read

    • Article

      Kernel Internals

      Aug 24, 2021

      Kernel Internals
      4 min read

    Related categories

    Reviews for UML 2 Semantics and Applications

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      UML 2 Semantics and Applications - Kevin Lano

      Enjoying the preview?
      Page 1 of 1