Вы здесь

Главная

uml

Связанные издания:

Reflective Analysis and Design for Adapting Object Run-Time Behavior
Reliable Software Technologies - Ada-Europe 2009: Proc./14th Ada-Europe International Conference, Brest, France, June 2009
Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010
Representing Agent Interaction Protocols in UML
Representing Social Structures in UML
Representing Temporal Information in UML
Representing User-Interface Patterns in UML
Representing Web Services with UML: A Case Study
Research into Practice - Reality and Gaps: Proc./6th International Conferemce on the Qualuty of Software Architectures, QoSA 2010, Prague, Czech Republic, June 2010
Reverse Engineering of Use Case Realizations in UML
Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
Rhapsody: A Complete Life-Cycle Model-Based Development System
Rigorous Testing by Merging Structural and Behavioral UML Representations
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016
Rule-Based Generation of XML DTDs from UML Class Diagrams
Scenario-Based Monitoring and Testing of Real-Time UML Models
Scientific Engineering for Distributed Java Applications: Proc./Intern. Workshop, FIDJI 2002, Luxemburg-Kirchberg, Luxemburg, November 2002
Scientific Engineering of Distributed Java Applications: Revised Papers/3rd International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 2003
SDL 2001: Meeting UML: Proc./10th Intern. SDL Forum, Copenhagen, Denmark, June 2001
SDL 2007: Design for Dependable Systems: Proc./13th International SDL Forum. Paris, France, September 2007
SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009
SecureUML: A UML-Based Modeling Language for Model-Driven Security
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies
Semantics, calculi, and analysis for object-oriented specifications
Semantics of Stereotypes for Type Specification in UML: Theory and Practice
Sequence Diagrams for Mobility
Software Architecture: Proc./5th European Conference, ECSA 2011, Essen, Germany, September 2011
Software Construction by Stepwise Feature Introduction
Software Evolution through Dynamic Adaptation of Its OO Design
Software Language Engineering: Revised Selected Papers/ Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 2010
Software Verification with Integrated Data Type Refinement fo Integer Arithmetic
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
Specifying Agent Interaction Protocols with Standard UML
Statistical Constraints and Verification
Stochastic Dependability Analysis of System Architecture Based on UML Models
Strengthening UML Collaboration Diagrams by State Transformations
Supporting Several Levels of Restriction in the UML
System Test Synthesis from UML Models of Distributed Software
Task Models and Diagrams for User Interface Design: Revised Selected Papers/8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 2009
Test Case Generation for UML Statecharts
Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010
Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014
Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L Aquila, Italy, July 2015
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
The Metamodeling Language Calculus: Foundation Semantics for UML
The RHAPSODY Semantics of Statecharts (or, On the Executable Core of the UML)
The Semantics of the OCL Action Clause
The Specification of UML Collaborations as Interaction Components
The Standard UML-Ada Profile