Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
uml
Связанные издания:
A Coloured Petri Net Formalization for a UML-Based Notation Applied to Cooperative System Modeling
A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics
A Critique of UML s Definition of the Use-Case Class
A CSP View on UML-RT Structure Diagrams
Adapting the UML to Business Modeling s Needs - Experiences in Situational Method Engineering
A Data Warehouse Engineering Process
A Design Methodology for Functional Programs
A Diagrammatic Tool for Representing User Interaction in UML
Advances in Conceptual Modeling - Applications and Challenges: Proc./ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver,BC,Canada, November 2010
Advances in Conceptual Modeling - Challenging Perspectives: Proc./ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS. Gramando, Brazil, November 2009
Advances in Conceptual Modeling - Foundations and Applications: Proc./ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS. Auckland, New Zealand, November 2007
Advances in Conceptual Modeling - Theory and Practice: Proc./ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QolS, SemWAT. Tucson,AZ,USA,November 2006
Advances in Databases and Information Systems, ADBIS 2001: Vol. 3: Tutorials: Proc./5th East-European Conference on Vilnius, Lithuania, September 25-28, 2001
A Formal Mapping between UML Models and Object-Z Specifications
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
A Formal Semantics for OCL 1.4
Agent Oriented Analysis Using Message/UML
Agent-Oriented Software Engineering III: Proc./Third Intern. Workshop, AOSE 2002, Bologna, Italy, July 2002
Agent-Oriented Software Engineering II: Proc./Second Intern. Workshop, AOSE 2001, Montreal, Canada, May 2001
Agent-Oriented Software Engineering: Revised Papers/ First International Workshop, AOSE 2000. Limerick, Ireland, June 10, 2000
Agile Modeling with the UML
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
A Meta-model Facility for a Family of UML Constraint Languages
A Metamodel for the Unified Modeling Language
A Metamodeling Approach to Evolution
Analysis of UML Stereotypes within the UML Metamodel
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint
An Evidential Framework for Diagnosing the Significance of Inconsistencies in UML Models
A New Type Checking Approach for OCL Version 2.0?
A New UML Profile for Real-Time System Formal Design and Validation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
An OCL Extension for Real-Time Constraints
An Ontologically Well-Founded Profile for UML Conceptual Models
A Performance Engineering Case Study: Software Retrieval System
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Modelas from UML Specifications
A Predicative Semantic Model for Integrating UML Models
A Prediction Model for OO Information System Quality Based on Early Indicators
A Radical Reduction of UML s Core Semantics
A Real-Time Execution Semantics for UML Activity Diagrams
A Relational Approach to Defining Transformations in a Metamodel
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties
A Rigorous Metamodel for UML Static Conceptual Modeling of Information Systems
A Semantic Model of Real-Time UML
A UML Approach to the Design of Open Distributed Systems
A UML Based Approach for Modeling ETL Processes in Data Warehouses
A UML-Based Approach to Enhance Reuse within Process Technology
A UML-Based Approach to System Testing
A UML-Based Methodology for Hypermedia Design
A UML Profile for External Agent-Object-Relationship (AOR) Models
1
2
3
4
5
6
7
следующая ›
последняя »