Вы здесь

Главная

технология программирования

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

An Approach and Framework for Extensible Process Support System
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
An Evolution of a Software Engineering Curriculum
A New Approach to Consistency Control in Software Engineering
An Imperical Study of Software Reuse with Special Attention to Ada
An Integrated Approach to Teaching Requirements Modelling
An Integrated Collection of Software Engineering Standards
An On-Line Software Engineering Repository for Germany s SME. An Experience Report
Answers to Questions from Students of Software Engineering
Application of Collaborative Editing to Software-Engineering Projects
Applications of Knowledge Acquisition in Experimental Software Engineering
Applied Parallel Computing: State of the Art in Scientific Computing: Revised Selected Papers/7th International Workshop, PARA 2004. Lyngby, Denmark, June 2004
A Practical Prorgamming Model for the Multi-Core Era: Proc./3rd International Workshop on OpenMP, IWOMP 2007. Beijing, China, June 2007
A Project-Untensive Software Design Course
Architecturing Systems with Trustworthy Components: Revised Selected Papers/International Seminar. Dagstuhl Castle, Germany, December 2004
Artificial Evolution: Revised Selected Papers/7th International Conference, Evolution Artificielle, EA 2005. Lille, France, October 2005
ASAP - A Simple Assertion Pre-processor
ASCC: The Impact of a Silver Bullet
A Self-Assessment by the Software Engineering Community
A Software Composition Language and Its Implementation
A Specification-Based Approach to Concurrency Analysis
Assembling Agent Oriented Software Engineering Methodologies from Features
Assertions in Modern Software Engineering
Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
A Toolbox for Automationg Visual Software Engineering
A Two-Layered Approach to Support Systematic Software Development
A Two-Semester Undergraduate Sequence in Software-Engineering: Architecture and Experience
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automated Technology for Verification and Analysis: Proc./6th International Symposium, ATVA 2008. Seoul, Korea, October 2008
Automated Test Generation and Verified Software
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar
A Whole New Kind of Engineering
B 2007: Formal Specification and Development in B: Proc./7th International Conference of B Users. Besancon, France, January 2007
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
Bayesian Analysis of Empirical Software Engineering Cost Models
Boulding on Experience: An Undergraduate Course with Two Year-Long Projects
Building an Experience Base for Software Engineering: A Report on the First CaBASE eWorkshop
Building Communities among Software Engineers: The ViSEK Approach to Intra- and Inter-organizational Learning
Building Knowledge through Families of Experiments
CARDS Training: Transferring Reuse Knowledge
CASE and 4GL Product Users Participation in Software Engineering Research
Challenges and Recommendations When Increasing the Realism of Controlled Software Engineering Experiments
C in Education and Software Engineering
Cognitive Bias in Software Engineering
Collaboration and Composition: Issues for a Second Generation Process Language
Collaborative and Distributed Chemical Engineering: From Understanding to Substantial Design Support: Results of the IMPROVE Project
Combining and Distributing Hierarchical Systems
Combining Capability Assessment and Value Engineering: A BOOTSTRAP Example
Commircial vs. Aerospace Worlds: Comparing Software Engineering Cultures
Commonality and Variability in Siftware Engineering