Large-scale verification projects pose particular challenges. Issues include proof exploration, efficiency of the edit-check cycle, and proof refactoring for documentation and maintainability. We draw on insights from two large-scale verification projects, L4.verified and Verisoft, that both used the Isabelle/HOL prover. We identify the main challenges in large-scale proofs, propose possible so...

It is not uncommon for large-scale safety-related engineering projects to make use of legacy systems that are either reused as is, or reused with modifications. Projects of this type can require the use of independent assessment as part of the regulatory approval process. Providing an independent assessment of such a project brings with it particular challenges related to issues of cross-accept...

Large projects are increasingly adopting agile development practices, and this raises new challenges for research. The workshop on principles of large-scale agile development focused on central topics in large-scale: the role of architecture, inter-team coordination, portfolio management and scaling agile practices. We propose eight principles for large-scale agile development, and present a re...

Large-scale information technology (IT) projects experience higher failure rates than smaller IT projects. When these projects fail in government agencies, they represent significant costs to both the agencies and society. This paper reports the results of a study on large-scale government IT projects that failed over multiple iterations. Data was gathered on the modernization efforts at the In...

Software projects require a right mix of the software resources and the expertise to increase the chances of timely completion. The interface for the resource allocation to the software projects is provided by the project factors. The identification of the comprehensive project factors for the diversified nature of projects in itself is an open research area. This paper is based on a quantitati...

The enormous change in internet economy, also changes the dynamics of some software engineering rules. Agile software development process is an advanced system to realize key values of the projects fast and effective. Agile software development processes aim to accomplish the life-cycle of software projects efficiently. Netas Telecommunication Corporation has the knowledge and experience of agi...

The stagnation of construction productivity is becoming increasingly serious in Japan with the decreasing workforce. Although BIM has attracted attention to overcome this problem, its adoption not progressed among small organizations. Expanding use should be driven by influence large This paper stratifies users cross-analysis using log mining, a newly emerging analytics approach based on Autode...

Large-scale dams are controversial public infrastructure projects due to the unevenly distributed benefits and losses to local regions. The central government can make redistributive fiscal transfers to attenuate the impacts and reduce the inequality among local governments, but whether large-scale dam projects are Pareto improving is still a question. Using the geographic variation of dam impa...