Didier Buchs - Böcker
Visar alla böcker från författaren Didier Buchs. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 12734 - Lecture Notes in Computer Science
Application and Theory of Petri Nets and Concurrency
42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings
Häftad, Engelska, 2021
556 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions.
Rapid Integration of Software Engineering Techniques
Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
Häftad, Engelska, 2007
556 kr
Skickas inom 10-15 vardagar
RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems. It provided a good opportunity to present and discuss the latest research results and ideas in the rapid and e?ective integration of software engineering techniques. The ERCIM (European Research Consortium for Informatics and Mathematics) RISE working group selected application areas such as the Web, mobility, high availability, and embedded and user-interface software in speci?c industry sectors comprising ?nance, telecommunications, transportation (avi- ics, automotive) and eGovernment. The research issues covered stemmed from the following software engineering domains: – software and system architectures – software reuse – software testing – software model checking – model driven design and testing techniques – model transformation – requirements engineering – lightweight or practice-oriented formal methods – software processes and software metrics – automated software engineering – software patterns – design by contract – defensive programming – software entropy and software re-factoring – extreme programming – agile software development – programming languages – software dependability and trustworthiness All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We have selected, for these proceedings, 10 - pers amongst 30 submitted and an invited paper. The organization of such a workshop requires a lot ofwork.