Hasil Pencarian  ::  Simpan CSV :: Kembali

"This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure, the completeness of various programming logics, decision procedure for logics, alternation, algorithms and complexity, and programming languages and program analysis. "

"This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development, modelling and formal methods in software development, measurements, testing, and quality of software."

"Software engineering : architecture-driven software development is the first comprehensive guide to the underlying skills embodied in the IEEE's Software Engineering Body of Knowledge (SWEBOK) standard. Standards expert Richard Schmidt explains the traditional software engineering practices recognized for developing projects for government or corporate systems.Software engineering education often lacks standardization, with many institutions focusing on implementation rather than design as it impacts product architecture. Many graduates join the workforce with incomplete skills, leading to software projects that either fail outright or run woefully over budget and behind schedule.Additionally, software engineers need to understand system engineering and architecture—the hardware and peripherals their programs will run on. This issue will only grow in importance as more programs leverage parallel computing, requiring an understanding of the parallel capabilities of processors and hardware. This book gives both software developers and system engineers key insights into how their skillsets support and complement each other. With a focus on these key knowledge areas, software engineering offers a set of best practices that can be applied to any industry or domain involved in developing software products."

"The ALENEX workshop provides a forum for the presentation of original research in the implementation and experimental evaluation of algorithms and data structures. This volume collects extended versions of the 12 papers that were selected for presentation."

"This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign tools and design environments, building on basic knowledge to consider the latest techniques. The book enables readers to gain real benefits from the HW/SW codesign methodology through explanations and case studies which demonstrate its usefulness.Readers are invited to follow the progress of design techniques through this work, which assists readers in following current research directions and learning about state-of-the-art techniques. Students and researchers will appreciate the wide spectrum of subjects that belong to the design methodology from this handbook."

"PT XYZ adalah salah satu perusahaan teknologi rintisan terkemuka di Indonesia yang bergerak di bidang e-commerce. Selain di bidang e-commerce, PT XYZ juga melakukan eksplorasi bisnis baru pada bidang teknologi finansial. Tim investasi dan asuransi (Investment and Insurance, IIS) adalah salah satu tim yang mengembangkan produk asuransi dan investasi pada PT XYZ. Dalam proses pengembangan perangkat lunak, IIS menggunakan kerangka kerja Scrum agar dapat beradaptasi dengan cepat sesuai dengan kebutuhan pasar. Dalam pelaksanaannya, ditemukan bahwa deliverable produk mengalami keterlambatan dan objective and key result (OKR) yang tidak terpenuhi. Data pendukung juga memaparkan bahwa rata-rata penyelesaian pada setiap sprint masih berada pada angka 44%. Hal ini dipengaruhi oleh beberapa akar masalah, salah satunya adalah proses acara Scrum yang belum dilakukan sesuai dengan Scrum Guides. Untuk dapat memperbaiki permasalahan ini, penelitian melakukan evaluasi tingkat kematangan pengembangan perangkat lunak dengan Scrum Maturity Model (SMM) dan Standard CMMI Appraisal Method for Process Improvement (SCAMPI) C untuk melakukan penilaian terhadap praktik Scrum. Hasil dari evaluasi ini, ditemukan bahwa IIS masih berada pada level 1 melalui penilaian SMM dengan rentang level 1 hingga 5. Terdapat satu goal yang belum fully achieved, masih terdapat satu goals basic Scrum management dengan penilaian 67,86% (largely achieved) yang menyebabkan organisasi belum dapat mencapai level 2. Selanjutnya, hasil penilaian SCAMPI C digunakan sebagai acuan untuk memilih praktik SMM yang sesuai dengan pertanyaan penelitian dan menyusun usulan rekomendasi perbaikan. Hasil akhir penelitian adalah lima belas rekomendasi terkait acara Scrum. Rekomendasi disusun dan divalidasi dengan harapan untuk dapat memperbaiki dan meningkatkan kinerja proses pengembangan perangkat lunak sehingga dapat tercapai target OKR sesuai dengan harapan perusahaan

---

PT XYZ is one of the leading technology start-ups in Indonesia engaged in e-commerce. Apart from e-commerce, PT XYZ also explores new businesses in the field of financial technology. The investment and insurance team (Investment and Insurance, IIS) is one of the teams that develops insurance and investment products at PT XYZ. In the software development process, IIS uses the Scrum framework to quickly adapt to market needs. In its implementation, it was found that the product deliverables were delayed, and the objectives and key results (OKR) were not met. Supporting data also explains that the average completion of each sprint is still at 44%. This is influenced by several root causes, one of which is the Scrum event process that has not been carried out in accordance with the Scrum Guides. To be able to fix this problem, the research evaluates the maturity level of software development using the Scrum Maturity Model (SMM) and Standard CMMI Appraisal Method for Process Improvement (SCAMPI) C to assess Scrum practices. The results of this evaluation, it was found that IIS is still at level 1 through the QMS assessment with a range of levels 1 to 5. There is one goal that has not been fully achieved, there is still one basic goal of Scrum management with an assessment of 67.86% (largely achieved) which causes the organization has not been able to reach level 2. Furthermore, the results of the SCAMPI C assessment are used as a reference for selecting QMS practices that are in accordance with the research questions and formulating recommendations for improvement. The results of the study are fifteen recommendations related to Scrum events. Recommendations are compiled and validated with the hope of being able to improve and improve the performance of the software development process so that OKR targets can be achieved in accordance with company expectations."

"This book is a compilation of research accomplishments in the fields of modeling, simulation, and their applications, as presented at AsiaSim 2011 (Asia Simulation Conference 2011). The conference, held in Seoul, Korea, November 16-18, was organized by ASIASIM (Federation of Asian Simulation Societies), KSS (Korea Society for Simulation), CASS (Chinese Association for System Simulation), and JSST (Japan Society for Simulation Technology). AsiaSim 2011 provided a forum for scientists, academicians, and professionals from the Asia-Pacific region and other parts of the world to share their latest exciting research findings in modeling and simulation methodologies, techniques, and their tools and applications in military, communication network, industry, and general engineering problems"

"Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011). The topics of CSA and WCC cover the current hot topics satisfying the world-wide ever-changing needs. CSA-11 will be the most comprehensive conference focused on the various aspects of advances in computer science and its applications and will provide an opportunity for academic and industry professionals to discuss the latest issues and progress in the area of CSA. In addition, the conference."

"The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies."

"Bank Indonesia, sebagai bank sentral Republik Indonesia, memiliki peran penting dalam menjaga stabilitas ekonomi nasional, termasuk melalui proses operasional di Divisi Operasional Sistem Tresuri dan Layanan Perbankan. Saat ini, pengelolaan data dan proses tresuri masih terpisah, menyebabkan kesulitan dalam proses audit dan penyelesaian permohonan tresuri. Untuk menjawab tantangan ini, dilakukan pengembangan aplikasi berbasis Microsoft 365 guna meningkatkan efisiensi kerja serta menguji kualitasnya menggunakan standar ISO 9126. Penerapan digitalisasi ini mendukung Visi Bank Indonesia sendiri, yaitu “Menjadi bank sentral digital terdepan dengan tata kelola kuat yang berkontribusi nyata terhadap perekonomian nasional dan terbaik di antara negara emerging markets untuk Indonesia Maju”. Aplikasi dikembangkan dengan Software Development Life Cycle metode Agile dalam enam tahap berulang: Planning, Design, Development, Testing, Deployment, dan Review and Maintenance. Komponen utamanya mencakup Microsoft Power Apps (frontend), Power Automate, SharePoint (backend), Power BI, serta integrasi dengan Ollama untuk fitur chatbot AI. Pengujian aplikasi dilakukan berdasarkan enam dimensi kualitas ISO 9126, yaitu Functionality, Reliability, Usability, Effi- ciency, Maintainability, dan Portability. Penelitian ini menunjukkan bahwa trans- formasi digital melalui aplikasi internal dapat meningkatkan efisiensi operasional dan akurasi data secara signifikan. Penerapan ini sejalan dengan visi Bank In- donesia untuk menjadi bank sentral digital terdepan dengan tata kelola kuat dan kontribusi nyata bagi perekonomian nasional. Selain itu, solusi ini berpotensi di- adaptasi oleh unit kerja lainnya sebagai model digitalisasi yang efektif.

---

Bank Indonesia, as the central bank of the Republic of Indonesia, plays a crucial role in maintaining national economic stability, including through operational pro- cesses in the Treasury System Operations and Banking Services Division. Cur- rently, treasury data and processes are managed separately, leading to difficulties in auditing and handling treasury requests. To address this issue, an application based on Microsoft 365 was developed to improve work efficiency and was evaluated using the ISO 9126 quality standard. This digitalization effort supports Bank In- donesia’s vision: ”To become a leading digital central bank with strong governance and tangible contributions to the national economy, and the best among emerging market countries for an Advanced Indonesia.” The application was developed us- ing the Software Development Life Cycle with Agile methodology, which includes six iterative stages: Planning, Design, Development, Testing, Deployment, and Re- view and Maintenance. Key components include Microsoft Power Apps (frontend), Power Automate, SharePoint (backend), Power BI, and integration with Ollama for an AI chatbot feature. The application was tested across six ISO 9126 quality dimensions: Functionality, Reliability, Usability, Efficiency, Maintainability, and Portability. This study demonstrates that digital transformation through internal ap- plications can significantly enhance operational efficiency and data accuracy. The implementation aligns with Bank Indonesia’s digital vision and offers a scalable model for other units seeking effective digital solutions."