Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
разработка
Связанные издания:
The Individual Deployment of Systems Development Methodologies
The Inevitable Pain of Software Development: Why There Is No Silver Bullet
The Integration of LOTOS with an Object Oriented Development Method
The Introduction of an Object Oriented Analysis/Design Method and Object Oriented Metrics in the Software Development Life-Cycle
The Isac-Driven Transition Between Requirements Analysis and er Conceptual Modelling
The KIV System - A Tool for Formal Program Development
The M.A.D. Experience: Multiperspective Application Development in Evolutionary Prototyping
The Method Won t Save You (but it can help)
The Metric Based Compiler - A Current Requirement
The Next Big Thing: Web Services Collaboration
The Object-Oriented Brewery: A Comparison of Two Object-Oriented Development Methods
The Oikos Services for Object Management in the Software Process
The OO Software Development Process (Panel)
Theoretical Framework Towards Quality Software Development
The Organic and the Mechanistic Form of Managing Knowledge in Software Development
Theory and Practice of Digital Libraries: Proc./2nd International Conference, TPDL 2012, Paphos, Cyprus, September 2012
Theory and Practice of Software Development
The Path to Open-Source Systems
The Proteus Presentation System
The Real Benefits of Object-Relational DB-Technology for Object-Oriented Software Development
The Refinement Calculus, and Literate Development
The Refitting of Plans by a Human Expert
The Role of Benchmarking in Information System Development
The Role of Knowledge in Software Development
The Role of Software Development Methodologies: Past, Present, and Future
The Semantic Web - ISWC 2012. Part I: Proc./11th International Semantic Web Conference, Boston,MA,USA, November 2012
The Siphon: Managing Distant Replicated Repositories
The Software Development Environment: dmCASE
The Spring Model for Knowledge-based Systems Analysis: A Case Study
The Task Dependence Net in Ada Software Development
The Three Dimensions of Requirements Engineering
The Three Dimensions of Requirements Engineering: A Framework and Its Applications
The Tropos Software Development Methodology: Processes, Models and Diagrams
The Ups and Downs of Object-Oriented Systems Development
The Validation of a Political Model of Information Systems Development Cost Estimating
The Vesta Approach to Precise Configuration of Large Software Systems
Three-valued predicates for software spesification and validation
Tools and Algorithms for the Construction and Analysis of Systems: Proc./10th Intern. Conf., TACAS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004
Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006
Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Tools and Algorithms for the Construction and Analysis of Systems: Proc./14th International Conference, TACAS 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009
Tools and Algorithms for the Construction and Analysis of Systems: Proc./5th Intern. Conf., TACAS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999
Tools and Algorithms for the Construction and Analysis of Systems: Proc./6th Intern. Conf., TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000
Tools and Algorithms for the Construction and Analysis of Systems: Proc./ 7th International Conference,TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2001. Genova,Italy,April 2001
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems
Tool Support for Experience-Based Methodologies
Tool Support for Formak Software Development: A Generic Architecture
Top Productivity through Software Reuse: Proc./12tth International Conference on SR, ICSR 2011, Pohang, South Korea, June 2011
Toward Automated Communication Software Development
« первая
‹ предыдущая
…
16
17
18
19
20
21
22
23
24
…
следующая ›
последняя »