《UML》2004 - 统一建模语言 UML 2004 - The Unified Modeling Language

出版时间:2004-9  出版社:北京燕山出版社  作者:Baar, T.; Baar, Thomas; Strohmeier, Alfred  页数:454  

内容概要

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and Societies, LNCS has grown into the most comprehensive computer science research forum available.    The scope of LNCS, including its sub series LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes  - Proceedings(published in time for the respective conference)   - Post-proceedings(consisting of thoroughly revised final full papers)   -research monographs(which may be based on outstanding PhD work, research projects, technical reports, etc.)

书籍目录

Metamodeling Empirically Driven Use Case Metamodel Evolution Applying OO Metrics to Assess UML Meta-models An OCL Formulation of UML2 Template Binding A Metamodel for Generating Performance Models from UML Designs . On the Classification of UML's Meta Model Extension Mechanism Modeling Business Processes in Web Applications with ArgoUWEAspects Model Composition Directives Query Models Specifying Cross-Cutting Requirement ConcernsProfiles and Extensions A UML Profile to Model Mobile Systems Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time A UML Profile for Executable and Incremental Specification-Level ModelingOCL Applying Refactoring Techniques to UML/OCL Models Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report From Informal to Formal Specifications in UML Building Precise UML Constructs to Model Concurrency Using OCL  An ASM Definition of the Dynamic OCL 2.0 Semantics Towards a Framework for Mapping Between UML/OCL and XML/XQueryModel Transformation Model-Driven Architecture for Automatic-Control: An Experience Report Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation Generic and Meta-transformations for Model Transformation EngineeringVerification and Model Consistency Supporting Model Refactorings Through Behaviour Inheritance Consistencies Determining the Structural Events That May Violate an Integrity Constraint Deductive Verification of UML Models in TLPVSSecurityMethodologyWordshops and TutorialsAuthor Index

图书封面

评论、评分、阅读与下载


    《UML》2004 - 统一建模语言 UML 2004 - The Unified Modeling Language PDF格式下载


用户评论 (总计0条)

 
 

 

250万本中文图书简介、评论、评分,PDF格式免费下载。 第一图书网 手机版

京ICP备13047387号-7