Вы здесь

Главная

разработка

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

Toward Component-Oriented Formal Software Development: An Algebraic Approach
Toward Embedded Development from Advanced Khoros
Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited
Towards a Foundation of Component-Oriented Software Reference Models
Towards a Living Software Development Process Based on Process Patterns
Towards an Evolutionary Formal Software-Development Using CASL
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
Towards a Unified Toolset for Embedded Systems Development
Towards Constructive Program Derivation in VDM
Towards Correct, Efficient and Reusable Transformational Developments
Towards Flexible Process Support with a CASE Shell
Towards Hypotheses on Creativity in Software Development
Towards Requirements for Enactment Mechanisms
Towards Tools to Support the Gries/Dijkstra Design Process
TQM for Technical Teams
Traceability Process for Large OO Projects
Traffic Management and Traffic Engineering for the Future Internet: Revised Selected Papers/First Euro-NF WOrkshop, FITraMEn 2008. Porto, Portugal, December 2008
Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering
Transactions on Computational Science XII: Special Issue on Cyberworlds
Transactions on Large-Scale Data-and Knowledge-Centered Systems I
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXIII
Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen
Transparent Environment for Replicated Ravenscar Applications
TROOL light - The Language and Its Development Environment
Trustworthy Software Development Processes: Proc./International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 2009
TTM15 - A Large Multi-site Improvement Project
Tunable Formalism in Object-Oriented Systems Analysis: Meeting the Needs of Both Theoreticians and Practitioners
Two-dimensional Software Development Model Combining Object-Oriented Method with Formal Method
Two-Hemisphere Model Driven Approach: Engineering Based Software Development
UML-Based Fusion Analysis
UML for Agent-Oriented Software Development: The Tropos Proposal
UML Modeling Languages and Applications: Revised Selected Papers/"UML" 2004 Satellite Activities. Lisbon, Portugal, October 2004
UMLsec: Extending UML for Secure Systems Development
Unifying the Software Process Spectrum: Revised Selected Papers/International Software Process Workshop, SPW 2005. Beijing, China, May 2005
Un Outil pour la Gestion des Logiciels: Adele 2
Unparsing Flowcharts from Abstract Syntax Trees in a Multiple View Software Development Environment
Untangling Configuration Management
Urgent Research Issues in Software Process Engineering
Usability and Internationalization: HCI and Culture: Part I: Proc./2nd Intl Conference, UI-HCII 2007, Part of HCI International 2007. Beijing, China, July 2007
Use of Patterns in Formal Development: Systematic Transition from Problems in Architectural Designs
User-Enhanceability for Organisational Information Systems through Visual Programming
User-Interface Development Tools
Using a Marketing and Product Plan as a Key Driver for Product Line Asset Development
Using CASL to Specify the Requirements and the Design: A Problen Specific Approach
Using FAME Assessments to Define Measurement Goals
Using Object-Orientation as a Common Basis for System Development Education
Using Object Oriented Structured Development to Implement a Hybrid System
Using Relative Refinement for Fault Tolerance