Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new research results, experiences, and findings in the area of software and system process modeling and management. The increasing distribution of development activities, new development paradigms such as cloud computing, new classes of systems such as cyber-physical systems, and short technology cycles are currently driving forces for the software domain. They require appropriate answers with respect to process models and management, suitable modeling concepts, and an understanding of the effects of the processes in specific environments and domains. Many papers in the proceedings address these issues.

Computer software --- Software engineering --- Engineering & Applied Sciences --- Computer Science --- Development --- Information Technology --- Software Engineering --- Computer programming. --- Software engineering. --- Computer software engineering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Programming --- Computer science. --- Computer communication systems. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Computer Communication Networks. --- Programming Techniques. --- Engineering --- Coding theory --- Logic design. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer science logic --- Logic, Symbolic and mathematical --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Distributed processing --- Paderborn <2010>

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of disciplines, software engineering environments, engineering designprocesses,andsoftwarearchitectures.We ?veofhisnumerousacademic descendants were in?uenced deeply by Manfred's work. For this reason, we decided to prepare this volume, which was edited in his honor on the occasion of his 65th birthday. A pre-release (book of abstracts) was presented to Manfred atacelebrationatRWTHAachenUniversityinJune2009.Thecompletevolume followed when Manfred received an honorary doctorate from the University of Paderborn in November 2010. Altogether, we collected 30 papers. The types of papers vary signi?cantly, including classic research papers in the style of journal articles, surveys of - cused research areas, essays re?ecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. All papers were subject to a thorough quality control process involving at least two reviews for each paper. The editors were assisted by numerous ad- tional reviewers, whose work is gratefully acknowledged.

Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica --- computernetwerken