Buku akses terbuka ini merupakan rangkuman dari prosiding Konferensi Internasional ke-20 tentang Pengembangan Perangkat Lunak Agile, XP 2019, yang diadakan di Montreal, QC, Kanada, pada Mei 2019. XP adalah konferensi utama pengembangan perangkat lunak agile yang menggabungkan penelitian dan praktik. Ini adalah forum hibrida di mana peneliti agile, akademisi, praktisi, pemimpin pemikiran, pelati…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-19 tentang Pengembangan Perangkat Lunak Agile, XP 2018, yang diadakan di Porto, Portugal, pada Mei 2018. XP adalah konferensi pengembangan perangkat lunak agile terkemuka yang menggabungkan penelitian dan praktik, dan XP 2018 menyediakan lingkungan yang menyenangkan dan informal untuk belajar dan memicu diskusi seputar …
Volume ini merupakan kumpulan makalah dari Konferensi Internasional ke-18 tentang Pengembangan Perangkat Lunak Agile, XP 2017, yang diadakan di Cologne, Jerman, pada bulan Mei 2017. 14 makalah lengkap dan 6 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat dari 46 pengajuan. Mereka diorganisasikan dalam bagian topikal yang diberi nama: meningkatkan proses agile; …
Buku ini berisi prosiding yang direferensikan dari Konferensi Internasional ke-17 tentang Pengembangan Perangkat Lunak Agile, Extreme Programming – XP 2016, yang diselenggarakan di Edinburgh, Inggris, pada bulan Mei 2016. Meskipun pengembangan perangkat lunak tangkas telah menjadi arus utama dalam industri, bidang ini masih terus berkembang dan terus memacu minat yang sangat besar baik di ind…
Buku akses terbuka ini merangkum penelitian yang dilakukan dan hasil yang diperoleh dalam fase pendanaan kedua dari Program Prioritas 1648 "Perangkat Lunak untuk Komputasi Exascale" (SPPEXA) dari Yayasan Penelitian Jerman (DFG) yang disajikan di Simposium SPPEXA di Dresden pada 21-23 Oktober 2019. Dalam hal ini, ia juga mewakili kelanjutan dari Jilid 113 dalam seri Catatan Kuliah dalam Ilmu Kom…
Buku ini merupakan hasil proses yang telah diseleksi dari Konferensi Internasional ke-13 IFIP WG 2.13 tentang Sistem Sumber Terbuka, OSS 2017, yang diadakan di Buenos Aires, Argentina, pada bulan Mei 2017. 16 makalah lengkap yang telah direvisi dan 3 makalah pendek yang disajikan telah ditinjau dan dipilih secara saksama dari 32 kiriman. Makalah-makalah tersebut mencakup berbagai topik yang ter…
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2024, yang diselenggarakan bersamaan dengan ETAPS 2024 yang berlangsung di Luksemburg pada bulan April 2024. 14 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih secara saksama dari 41 pengajuan. Prosiding tersebut juga mencakup 5 mak…