| 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 argouwe aspects model composition directives query models specifying cross-cutting requirement concerns profiles 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 modeling ocl 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/xquery model 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 engineering verification 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 tlpvs security methodology wordshops and tutorials author index |
内容加载中，请稍后...
商品评论（0条）