1 |
An improved method for the mechanisation of inductive proofStevens, Andrew January 1990 (has links)
No description available.
|
2 |
Metodika pro vývoj webových aplikací / Methodology for Web Applications DevelopmentMittner, Jan January 2009 (has links)
This work deals with methodologies of software development, particularly web applications. Its main objective is to propose a methodology that helps ensure quality web development and prevents a number of frequently recurring problems. The first chapter deals with characteristics of current state and defines the need for process and discipline, the need for team development and the importance of appropriate tools. The second chapter describes the specifics of the web development. It defines the quality criteria in relation to web applications, particularly the aspects of accessibility, usability and security are concerned. It deals with web frameworks and the benefits and risks arising from their usage. It also outlines requirements for the chosen methodology for web development and describes types of projects to be applied to the methodology. The third chapter analyzes the suitability of the selected life cycle models and methodologies in software development for web applications. The life cycle models consider a model of "program and repair", the waterfall model and incremental model. It also deals with the assumptions of agile methodologies and their level of satisfaction for web development. For the analysis is used the methodology evaluation system METES with which is examined Rational Unified Process, Open Unified Process, Extreme Programming, Scrum and Feature Driven Development. The fourth chapter deals with the characteristic of Open Unified Process methodology. It describes the principles, features and development process. The main chapter deals with the proposal of methodology for web development. As the basis is chosen Open Unified Process methodology, whose elements are supplemented and adapted for web development. As the elements of the methodology are elaborated principles, practices, roles, work products, tasks, delivery process, manuals and guidelines and tools. Each element is adapted to fit the specific needs of web applications. In order to achieve greater control over the quality of web applications there are also included detailed checklists as an integral part of products which are aimed at preventing the most frequently occurring errors and problems. The chapter concludes with an overview of tools that have been validated in web development.
|
3 |
A coordination-based framework for reconfigurable mobile applicationsFjellheim, Tore January 2006 (has links)
Mobile applications are deployed in highly dynamic environments. Devices have limited resources available and the user context changes frequently. This introduces new requirements for applications, and requires that applications are able to adapt during runtime. In addition, developers must be able to incrementally add new behaviour to applications as required by unanticipated situations. Current approaches to mobile application development and architectures do not properly address these requirements of mobile applications. This work proposes a framework, based on coordination principles, which is able to facilitate the required methods of adaptation. The framework incorporates a methodology and an architecture. The architecture provides significant advantages over previous work in terms of adaptation support. The methodology provides developers with a development process and guidelines whereby adaptive applications may be specified. As new requirements of existing applications emerge, developers can build and deploy additions to applications during runtime. The research has been evaluated through the design of application prototypes. These were built through the use of an implemented toolkit for application development, which is based on the specified methodology. The architecture, methodology and toolkit provide a unifying framework for mobile applications. The work presented in this thesis closes a gap in existing knowledge in the design and execution of distributed mobile applications.
|
4 |
Návrh metodiky vývoje softwaru se zaměřením na oblast UX / Proposal of Software Development Methodology with Focus on UXMikula, Jan January 2013 (has links)
The main objective of this work is to propose a software development methodology which will reflect both issues -- design of User Experience (UX) and its implementation. The second objective is to compare the current software development methodologies. The third objective is to describe the work environment and the principles of that environment to fully implement this methodology. The fourth objective is to test the methodology in practice and validate its performance on my own startup. The fifth objective is to analyze companies which are focusing on similar product as my startup and their approach to UX development. First I will take look at waterfall methodology and then at modern agile methodologies such as Scrum, Kanban and Lean management, which are now becoming standard in software development. I will describe issues with the integration of UX into software development. The next section will introduce my own methodology, which is based on Scrum. The methodology consists of general principles of Lean and Agile management and the management, which is sometimes called "freedom at work". Then I will use the proposed methodology on my own startup project and will evaluate its use in practice. In last part I will analyze development process with focus on UX in projects Medium and Facebook. Thesis combines knowledge from Lean and agile management, economy and cognitive science to show the way to succeed in today services with great UX.
|
5 |
RAPIDLY SCALING DIGITAL TRANSFORMATIONS OF HEALTHCARE SYSTEMS / LEVERAGING CLOUD-BASED LOW-CODE DEVELOPMENT PLATFORMS WITH DEVSECOPS GUIDELINES TO RAPIDLY SCALE THE DIGITAL TRANSFORMATION OF HEALTHCARE SYSTEMSOlatunji, Ekene Titilope 06 1900 (has links)
The job of healthcare professionals in the healthcare sector has never been more critical than now due to the current unprecedented rate of long-term IT infrastructural changes and digital transformation. The 2019/2020 COVID-19 pandemic has been a major driver of these changes. Cultivating a culture of digital innovation and transformation is now at the forefront of the healthcare value-chain. There is an increased need to optimize the operations of the healthcare system, improve collaboration among Health Teams and deliver more agile and secure applications to support both clinical and administrative processes in healthcare institutions. These driving forces require a vision and strategy for digital transformation in the healthcare system, involving a closer look at modern DevSecOps best practices in the application development process. The fast-growing popularity of Cloud Computing has driven the consideration of Low-Code Development Platforms (LCDP), built securely in the cloud infrastructure, to support the transformation of the healthcare system.
Low-Code Development Platforms are being considered by enterprises around the world to deliver rapid software development, continuous delivery, and continuous integration of their application systems. The William Osler Health System is recognized for its adoption of technological innovations for improved patient experience and satisfaction. Its innovations include the use of the Microsoft Cloud for Healthcare platforms; and Microsoft 365 and Power Platform services with embedded Low-Code technology to automate and optimize internal operational processes.
The aim of this master’s thesis is to demystify the concept of cloud-based Low-Code Application Development approaches to healthcare software development by using a case study of a healthcare application within the systems being built to support operational processes in the William Osler Health System. This study contrasts challenges of current internal tools and methods of operations, communication, and application development in the organization, with the potential benefits of using cloud-based Low-Code platforms to drive digital transformation. / Thesis / Master of Science (MSc)
|
6 |
Unbounded rule-based expert system for selecting software development methodologiesMacheque, Vhutshilo 16 May 2019 (has links)
MCom (Business Information Systems) / Deparment of Business Information Systems / The extent of success of a given project can be increased by using an appropriate Project Management Methodology (PMM) that takes into account the specific characteristics of the project (such as complexity, size, budget, nature of risk, etc.). PMMs have evolved over the years to become more diverse, complex, with evolving and dynamic ICT platforms. Such PMMs have traditionally been used as frameworks to guide the project management process for decision makers (such as Project Managers, Project Owners and Project Teams). The choice of selecting an appropriate project methodology is daunting; apart from other considerations related to project characteristics such as budget, scope, schedule, performance and resource constraints. One of the vital stages of a successful software development project is selecting a good software development methodology that best suits that project.
The aim of this research is to investigate the critical factors to be considered by project managers in the selection of the software development methodology for the project. These critical factors are then used as a foundation for an architecture for an “unbounded rule-based expert system. A survey was conducted amongst project managers to determine the critical factors necessary for the selection of a software development methodology. From the findings of the study, it was established the critical factors revolved around three constructs of Project Excellence Enablers, Excellent Project Management Practices, and Business Value Proposition factors. The findings from this study therefore provided a rationale and a basis for the evolution of an “Unbounded Rule-Based Expert Systems Architecture” as a basis for the selection of the right software development methodology / NRF
|
7 |
Decision support framework for the adoption of software development methodologies.Simelane, Lynette January 2019 (has links)
M. Tech. (Department of Information and Communication Technology, Faculty of Applied and Computer Sciences), Vaal University of Technology. / There are many software development methodologies that are used to control the process of developing a software system. However, no exact system has been found which could help software engineers in selecting the best software development methodology (SDM). The increasing complexity of software development today has led to complex management of software systems.
This complexity increases the challenges faced by professionals in selecting the most appropriate SDM to adopt in a project. This is important because the wrong choice of methodology is costly for the organization as it may impact on deliveries, maintenance costs, budget projects and reliability.
In this study we propose a decision support framework to assist professionals in the selection of appropriate software development methodologies that would fit each organisation and project setting.
The case based reasoning (CBR) methodology was implemented in this study. This methodology focuses on problem solving that centres on the reutilization of past experiences. The CBR methodology was implemented using the SQL programming language.
We tested the precision of the decision support framework by comparing the recommended methodology to the actual software methodology that was adopted for the project. The DS framework recorded an 80% precision result. In addition, the findings contribute to reducing the software crisis faced by today’s professionals. Therefore the framework can be adopted as a reliable tool for methodology selection in software development projects.
|
8 |
A software development methodology for solo software developers: leveraging the product quality of independent developersMoyo, Sibonile 02 1900 (has links)
Software security for agile methods, particularly for those designed for individual developers,
is still a major concern. With most software products deployed over the Internet, security as a
key component of software quality has become a major problem. In addressing this problem,
this research proposes a solo software development methodology (SSDM) that uses as
minimum resources as possible, at the same time conforming to the best practice for delivering
secure and high-quality software products.
Agile methods have excelled on delivering timely and quality software. At the same time
research also shows that most agile methods do not address the problem of security in the
developed software. A metasynthesis of SSDMs conducted in this thesis confirmed the lack
practices that promote security in the developed software product. On the other hand, some
researchers have demonstrated the feasibility of incorporating existing lightweight security
practices into agile methods.
This research uses Design Science Research (DSR) to build, demonstrate and evaluate a
lightweight SSDM. Using an algorithm adapted for the purpose, the research systematically
integrates lightweight security and quality practices to produce an agile secure-solo software
development methodology (Secure-SSDM). A multiple-case study in an academic and industry
setting is conducted to demonstrate and evaluate the utility of the methodology. This
demonstration and evaluation thereof, indicates the applicability of the methodology in
building high-quality and secure software products. Theoretical evaluation of the agility of the
Secure-SSDM using the four-dimensional analytical tool (4-DAT) shows satisfactory
compliance of the methodology with agile principles.
The main contributions in this thesis are: the Secure-SSDM, which entails description of the
concepts, modelling languages, stages, tasks, tools and techniques; generation of a quality
theory on practices that promote quality in a solo software development environment;
adaptation of Keramati and Mirian-Hosseinabadi’s algorithm for the purposes of integrating
quality and security practices. This research would be of value to researchers as it introduces
the security component of software quality into a solo software development environment,
probing more research in the area. To software developers the research has provided a
lightweight methodology that builds quality and security into the product using minimum
resources. / School of Computing / D. Phil. (Computer Science)
|
9 |
Project Management Methodologies for Software Development in StartupsZavazava, Tinashe January 2022 (has links)
Startups indeed play a pivotal role in society as agents of innovation and generators of employment. Despite this, a large proportion of startups fail. As a substantial amount of these temporary project-like companies called startups engage in software development and as application of project management has been correlated with project success, this research exploits a gap in the literature concerned with best practices as it pertains to project management methodologies for software development in startups. Given that a significant number of academic studies have already been conducted in the area of software development practices in startups spanning project management methodologies and software development methodologies, this research applies a strategy of systematic review as along with the application of thematic synthesis is appropriate for ascertaining the current state of knowledge and the search for some consensus. Consequently, this has been deemed to be an appropriate strategy for answering the research question: What are the best practices in applying Project Management Methodologies for software development projects in startups? The scope of the systematic review is the last decade (from 2012 to 2022) and the PRISMA framework has been used to facilitate the identification and screening of records. As a result, 17 studies with varying methods were deemed eligible and of high quality according to the quality assessment guidelines by Garousi et al. The main findings of this study identify three high-order themes for best practices in applying project management methodologies for software development in startups: Agility & Maturity, Empower & Value People, Tool Usage & Support.
|
10 |
The explication of process-product relationships in DoD-STD-2167 and DoD-STD-2168 via an Augmented Data Flow Diagram modelLavender, R. Gregory 20 November 2012 (has links)
The research reported in this thesis is an extension and application of the results first introduced by the Procedural Approach to the Evaluation of Software Development Methodologies. The evaluation procedure offers a unique perspective based on the philosophy that a software development methodology should espouse a set of objectives that are achieved by employing certain U principles throughout the software development process, such that the products generated possess certain attributes deemed desirable. Further, definite linkages exist between objectives and principles, and principles and attributes.
The work described herein adopts the perspective offered by the evaluation procedure and applies a critical analysis to the process-product relationships in DoD-STD-2l67 and DoD-STD-2l68. In support of the analysis, Augmented Data Flow Diagrams are introduced as an effective tool for concisely capturing the information in both standards. The results of the analysis offer a deeper insight into the requirements for defense system software development, such that one is able to better understand the development process, and more intelligently assess the quality of the software and documentation produced. / Master of Science
|
Page generated in 0.1765 seconds