Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
технология программирования
Связанные издания:
Innovations for Requirements Analysis: From Stakeholders Needsto Formal Designs: Revised Selected Papers/14th Monterey Workshop. Monterey, CA, USA, September 2007
Integrating Object-Oriented Software Engineering in the Computer Science Curriculum
Integrating Research, Reuse, and Integration into Software Engineering Courses
Integrating Software Engineering Technologies for Embedded Systems Development
Intelligent Agents and Multi-Agent Systems: Proc./11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008. Hanoi, Vietnam, December 2008
Intelligent Software Technology for the New Decade
Interaction-Oriented Programming
International Symposium on Fundamentals of Software Engineering: Proc./ International Symposium, FSEN 2007. Tehran, Iran, April 2007
Introducing Software Engineers to the Real World
Introduction
Invariant Based Programmming
IP - новый шаг в технологии программирования
Issues in Agent-Based Software Engineering
Issues in Agent-Oriented Software Engineering
Iterative Software Engineering for Multiagent Systems: The MASSIVE Method
Knowledge-Based Object-Oriented Software Engineering
Learning by Doing: Goals and Experiences of Two Software Engineering Project Courses
Lessons Learned from a Successful Collaboration Between Software Engineers and Human Interface Engineers
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/17th International Symposium, LOPSTR 2007. Kongens Lyngby, Denmark, August 2007
Logic for Component-Based Software Development
Logic Programming for Software Engineering: A Second Chance
Logic versus Magic in Critical Systems
Looking Back to the Future
Make formal semantics easy and useful
Making Software Development Investment Decisions
Making Specifications Complete Through Models
Managing Consistency in Cooperating Software Processes
Mathematics of Program Construction: Proc./8th International Conference, MPC 2006. Kuressaare, Estonia, July 2006
Mathematics of Software Engineering
Measures for Assessing SQL Code Maintainability
Meeting the Needs of Industry: SMU s Master s Degree Program in Software Engineering
Meeting the Product Line Goals for an Embedded Real-Time System
Metalevel Architectures and Separation of Crosscutting Concerns: Proc./Third Intern. Conf., REFLECTION 2001, Kyoto, Japan, Sepember 2001
Methods and Technologies of Digital Historical Factography
Methods of Programming: Selected Papers on the CIP-Project
Middleware 2008: Proc./ACM/IFIP/USENIX 9th International Middleware Conference. Leuven, Belgium, December 2008
Model Driven Architecture - Foundations and Applications: Proc./Second European Conference, ECMDA-FA 2006. Bilbao, Spain, July 2006
Model Driven Engineering Languages and Systems: Proc./11th International Conference, MoDELS 2008. Toulouse, France, September/October 2008
Model Driven Engineering Languages and Systems: Proc./9th International Conference, MoDELS 2006. Genova, Italy, October 2006
Models in Software Engineering: Reports and Revised Selected Papers/Workshops and Symposia at MoDELS 2006 Genoa,Italy,October 2006
Models in Software Engineering: Reports and Revised Selected Papers/Workshops and Symposia at MoDELS 2007. Nashville, TN, USA, September/October 2007
Multiparadigm Programming in Mozart/Oz: Revised Selected and Invited Papers/Second Internation Conference, MOZ 2004. Cherleroi, Belgium, October 2004
Multiple Access Communications: Proc./Third International Workshop, MACOM 2010, Barcelona, Spain, September 2010
NSA s MISSI Reference Architecture - Moving from Prose to Precise Specifications
Object-Oriented Technology: ECOOP 2004 Workshop Reader: Final Reports/ECOOP 2004 Workshops. Oslo, Norway, June 2004
Object-Oriented Technology: ECOOP 2007 Workshop Reader: Final Reports/ECOOP 2007 Workshops. Berlin, Germany, July 2007
Object-Oriented Technology: Final Reports/ECOOP 2006 Workshops. Nantes, France, July 2006
OMEGA: A Language and System for on-Line Monitoring of Software-Intensive Processes
On Teaching the Rational Design Process
On the Feasibility of Situational Method Engineering
« первая
‹ предыдущая
…
2
3
4
5
6
7
8
9
10
…
следующая ›
последняя »