This book constitutes the refereed proceedings of the IFIP TC 5 International Conference on Digital Product and Process Development Systems, NEW PROLAMAT 2013, held in Dresden, Germany, in October 2013. The conference succeeds the International Conference on Programming Languages for Machine Tools, PROLAMAT 2006, held in Shanghai, China in 2006. In order to demonstrate the new orientation towar…
The two volumes IFIP AICT 414 and 415 constitute the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2013, held in University Park, PA, USA, in September 2013. The 133 revised full papers were carefully reviewed and selected for inclusion in the two volumes. They are organized in 4 parts: sustainable production, sustainable sup…
The two volumes IFIP AICT 414 and 415 constitute the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2013, held in University Park, PA, USA, in September 2013. The 133 revised full papers were carefully reviewed and selected for inclusion in the two volumes. They are organized in 4 parts: sustainable production, sustainable sup…
Processes for developing safety-critical systems impose special demands on ensuring requirements traceability. Achieving valuable traceability information, however, is especially difficult concerning the transition from requirements to design. Bernhard Turban analyzes systems and software engineering theories cross-cutting the issue (embedded systems development, systems engineering, software e…
No Inv.: 4414-4423/P/00/10 C.
No Inv.: 4826/P/00/1c
No Inv.: 67583-67588/P/00/6c~4821/P/00/1c
No Inv.: 67555-67557/P/00/3c
No Inv.: 4475/P/00/1c
A memorial conference for Leon Ehrenpreis was held at Temple University, November 15-16, 2010. In the spirit of Ehrenpreis’s contribution to mathematics, the papers in this volume, written by prominent mathematicians, represent the wide breadth of subjects that Ehrenpreis traversed in his career, including partial differential equations, combinatorics, number theory, complex analysis and a bi…