Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
uml
Связанные издания:
A UML Variant for Modeling System Searchability
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams
Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Archirectures Specified in UML
Balancing Agility and Formalism in Software Engineering: Revised Selected Papers/Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007. Poznan, Poland, October 2007
Behavioral Conformance Verification in an Integrated Approach Using UML and B
Branching Time Semantics for UML 2.0 Sequence Diagrams
Building Expressive and Flexible Process Models Using a UML-Based Approach
Building Quality into Learning Management Systems - An Architecture-Centric Approach
Business-Oriented Constraint Language
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams
Checking Consistency in UML Diagrams: Classes and State Machines
Combining Graphical and Formal Development of Open Distributed Systems
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
Comparison of Formalization Approaches of UML Class Constructs in Z and Object-Z
Components, Contracts, and Connectors for the Unified Modeling Language UML
Conceptual Modeling - ER 2004: Proc./23rd International Conference on Conceptial Modeling. Shanghai, China, November 2004
Conceptual Modeling - ER 2008: Proc./27th International Conference on Conceptual Modeling. Barcelona, Spain, October 2008
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occcasion of His 65th Birthday
Configuration Knowledge Representation Using UML/OCL
Consistency-Preserving Model Evolution through Transformations
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Consistent and Complete Access Control Policies in Use Cases
Constituent Elements of a Correctness-Preserving UML Design Approach
Contributions for Modeling UML State-Charts in B
Defining Metrics for UML Statechart Diagrams in a Methodological Way
Defining Precise Semantics for UML
Deployment of SDL Systems Using UML
Describing Fractal Processes with UML
Describing Process Patterns with UML
Design and Implementation of a UML-Based Design Repository
Designing Component-Based Frameworks Using Patterns in the UML
Design of an Agent-Oriented Modeling Language Based on Graph Transformation
Design Patterns Application in UML
Developing Safety-Critical Systems with UML
Developing Sequence Diagrams in UML
Development Tools in Component-Based Structural Computing Environments
Diagram Interchange for UML
Dialog Modeling with Interactors and UML Statecharts - A Hybrid Approach
Difference and Union of Models
Digging into Case Relationships
Domain Modeling for World Wide Web Based Software Product Lines with UML
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
Engineering Modeling Languages: A Precise Meta-Modeling Approach
Evolving Derived Entity Types in Conceptual Schemas in the UML
Evolving Partitions in Conceptual Schemas in the UML
Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model
Executable Design Models for a Pervasive Healthcare Middleware System
Expressing UML Class Diagrams Properties with OCL
Extending Agent UML Sequence Diagrams
Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems
« первая
‹ предыдущая
1
2
3
4
5
6
7
следующая ›
последняя »