Record Nr.

UNISA996465482403316

Titolo

UML 2004 - The Unified Modeling Language [[electronic resource] ] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira

Pubbl/distr/stampa


Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004

ISBN

3-540-30187-9

Edizione

[1st ed. 2004.]

Descrizione fisica

1 online resource (XIII, 456 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 3273

Disciplina

005.1

Soggetti

Software engineering

Programming languages (Electronic computers)

Management information systems

Computer science

Computer simulation

Software Engineering/Programming and Operating Systems

Software Engineering

Programming Languages, Compilers, Interpreters

Management of Computing and Information Systems

Simulation and Modeling

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references at the end of each chapters and index.

Nota di contenuto

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 -- Integrating a Security Requirement Language with UML -- Automated Verification of UMLsec Models for Security Requirements -- Extending OCL for Secure Database Development -- Methodology -- Test Driven Development of UML Models with SMART Modeling System -- Behavioral Domain Analysis — The Application-Based Domain Modeling Approach -- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications -- Workshops and Tutorials -- Workshops at the UML 2004 Conference -- Tutorials at the UML 2004 Conference.

Record Nr.

UNIORUON00052339

Autore

SHIKI Masaoka

Titolo

Songs from a bamboo village : Selected Tanka from Takenosato Uta / by Shiki Masaoka ; translated from the Japanese by Sanford Goldstein & Seishi Shinoda

Pubbl/distr/stampa


Rutland ; Tokyo, : Charles E. Tuttle Company, 1998

Titolo uniforme

Takenosato Uta / Shiki Masaoka ; selected tanka translated by S. Goldstein & Seishi Shinoda

ISBN

08-04-82085-6

Descrizione fisica

VIII, 488 p. ; 18 cm

Classificazione

GIA VI AA