Method and Tools for Mapping the Evolution of Programmers during the Development of Computer Programs

Authors: Krug, Douglas Lusa, Simão, Jean Marcelo, Bastos, Laudelino Cordeiro

Source: Proceedings of the XXXIII Brazilian Symposium on Software Engineering. :491-500

Availability: http://dl.acm.org/doi/10.1145/3350768.3352731

Community Voice as Data: Affordances of Participatory Videos for International Program Development

Authors: Saha, Manika, Bartindale, Tom, Varghese, Delvin, Lindsay, Stephen, Richardson, Dan, Ahmed, Syed Ishtiaque, Olivier, Patrick

Source: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. :1-16

Availability: http://dl.acm.org/doi/10.1145/3544548.3581458

Let’s Talk AI with Computer Science Expert Wolfgang Ahrendt

Authors: Ahrendt, Wolfgang, 1967, Author, Steffen, Barbara, Author

Contributors: Ahrendt, Wolfgang, 1967, Author, Steffen, Barbara, Author

Source: Lecture Notes in Computer Science. 15000 LNCS

Subject Terms: Symbolic methods, Program development, artificiell intelligens, Trust and trustworthiness

File Description: electronic

Access URL: https://research.chalmers.se/publication/549530
https://research.chalmers.se/publication/549530/file/549530_Fulltext.pdf

A Cluster-Randomized Trial of a Mobile Produce Market Program in 12 Communities in North Carolina: Program Development, Methods, and Baseline Characteristics

Authors: Leone, Lucia A. ^∗, Tripicchio, Gina L., Haynes-Maslow, Lindsey, McGuirt, Jared, Grady Smith, Jaqueline S., Armstrong-Brown, Janelle, Kowitt, Sarah D., Gizlice, Ziya, Ammerman, Alice S.

Source: In Journal of the Academy of Nutrition and Dietetics January 2019 119(1):57-68

An Interprofessional Faculty Development Program for Workplace-Based Learning

Authors: Booij,Eveline, van Dam, Marjel, Jonker, Gersten, van Bruggen,Lisette, Lesterhuis, Marije, van der Schaaf, Marieke F, Hoff, Reinier G, Hennus, Marije P, Medische Staf Intensive Care, Medische staf Anesthesiologie, Other research (not in main researchprogram), BMS Algemeen, Expertisecentrum Alg., Infection & Immunity, Intensive care patientenzorg

Contributors: Medische Staf Intensive Care, Medische staf Anesthesiologie, Other research (not in main researchprogram), BMS Algemeen, Expertisecentrum Alg., Infection & Immunity, Intensive care patientenzorg

Subject Terms: Program Development/methods, Staff Development/methods, Faculty, Medical/education, Interprofessional Relations, Surveys and Questionnaires, Research Support, Non-U.S. Gov't, Faculty/education, Journal Article, Humans, Pilot Projects, Workplace/standards, Interprofessional Education/methods

File Description: text/plain; application/pdf

Access URL: https://dspace.library.uu.nl/handle/1874/452234

Meaningful automated feedback on Objected-Oriented program development tasks in Java

Authors: Muncey, Andrew, Morgan, Mike, Cunningham, Stuart

Source: Proceedings of the 2024 Conference on United Kingdom & Ireland Computing Education Research. :1-6

Availability: http://dl.acm.org/doi/10.1145/3689535.3689555

The design and implementation of a program development system based on rewriting method

Authors: Yongquiang, Sun, Kai, Lin, Li, Shen

Source: ACM SIGPLAN Notices. 32(2):27-34

Availability: http://dl.acm.org/doi/10.1145/251621.251627

Systematic program development/proof using Dromey's method : some comparisons with top-down design

Authors: Pleasant, James C.

Source: Proceedings of the 19th annual conference on Computer Science. :169-173

Availability: http://dl.acm.org/doi/10.1145/327164.327229

Training and Support Programme on Data-driven Quality Development for Swiss Long-Term Care Facilities (NIP-Q-UPGRADE Subaim 2.6)

Authors: University of Basel, University of Applied Sciences and Arts of Southern Switzerland

Contributors: Nathalie Wellens, Prof. Dr. Nathalie I.H. Wellens

Source: Testing the Training Programme on Data-driven Quality Development for Swiss Long-Term Care Facilities: A Pilot Study Within the National Implementation Programme NIP-Q-UPGRADE

Modeling and program development of supercritical CO2 sub-channel based on Modelica language

Authors: Guo, Jia ^a, Jin, Yang ^b, Zhao, Fulong ^{a, ⁎}, Fang, Huawei ^c, Yi, Jingwei ^c, Tian, Ruifeng ^{a, ⁎}

Source: In Applied Thermal Engineering 5 June 2023 227

Programmatic Keywords: Using corpus-assisted discourse analysis practices to inform academic program development

Authors: Thominet, Luke, Acosta, Kristine

Source: Proceedings of the 41st ACM International Conference on Design of Communication. :221-224

Availability: http://dl.acm.org/doi/10.1145/3615335.3623040

Realist Evaluation of Health Services: Principles, Processes, and Potential

Authors: Feather, Julie^Aff3

Contributors: Kaehne, Axel, editor^Aff1, Feather, Julie, editor^Aff2

Source: Handbook of Health Services Evaluation : Theories, Methods and Innovative Practices. :101-117

Research on an Early Warning Model for Higher Vocational College Programs Based on Big Data Analytics

Authors: Zhou, Nan

Source: Proceedings of the 2025 2nd International Conference on Artificial Intelligence and Future Education. :700-704

Availability: http://dl.acm.org/doi/10.1145/3785987.3786103

Staff Safety Alert Banner Program Against Workplace Violence at an Urban American Hospital.

Authors: Li C; University of Maryland School of Medicine, Baltimore, MD, USA., Bentley S; University of Maryland Medical System, University of Maryland Medical Center, Baltimore, MD, USA., Gulati MS; MedStar Washington Hospital Center, Baltimore, MD, USA., Snedeker K; University of Maryland School of Medicine, Baltimore, MD, USA., Marks MR; University of Maryland Medical System, University of Maryland Medical Center, Baltimore, MD, USA.

Source: Workplace health & safety [Workplace Health Saf] 2025 Jan; Vol. 73 (1), pp. 38-46. Date of Electronic Publication: 2024 Oct 05.

Publication Type: Journal Article

Journal Info: Publisher: Sage Country of Publication: United States NLM ID: 101575677 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2165-0969 (Electronic) Linking ISSN: 21650799 NLM ISO Abbreviation: Workplace Health Saf Subsets: MEDLINE

MeSH Terms: Workplace Violence*/prevention & control , Hospitals, Urban*, COVID-19/prevention & control ; COVID-19/epidemiology ; Safety Management/methods ; Humans ; Maryland ; Occupational Health ; Pilot Projects ; Program Development

Mathematical Methods in System and Software Engineering

Authors: Broy, Manfred^Aff2

Contributors: Broy, Manfred, editor^Aff1, Schieder, Birgit, editor^Aff1

Source: Mathematical Methods in Program Development. 158:271-312

On a Method for the Formal Design of Multiprograms (AvG140/WF231)

Authors: Feijen, W. H. J.^Aff2, van Gasterenf, A. J. M.^Aff2

Contributors: Broy, Manfred, editor^Aff1, Schieder, Birgit, editor^Aff1

Source: Mathematical Methods in Program Development. 158:53-81

Control of Study Program Content Changes Using Structural Modelling Methods

Authors: Rollande, Raita^Aff10, Mislevics, Antons^Aff11

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Arai, Kohei, editor^Aff9

Source: Intelligent Computing : Proceedings of the 2025 Computing Conference, Volume 3. 1425:573-583

Co‐Designing a Multimodal Physical Activity Intervention for Individuals With Young‐Onset Type 2 Diabetes (18–40 Years) in China

Authors: Xiaoyan Zhao, Angus Forbes, Haya Abu Ghazaleh, Li Cheng, Xiaodi Guo, Maria Duaso

Source: Health Expect
Zhao, X, Forbes, A, Ghazaleh, H A, Cheng, L, Guo, X & Duaso, M 2026, 'Co-Designing a Multimodal Physical Activity Intervention for Individuals With Young-Onset Type 2 Diabetes (18-40 Years) in China', Health expectations : an international journal of public participation in health care and health policy, vol. 29, no. 1, e70580. https://doi.org/10.1111/hex.70580, https://doi.org/10.1111/hex.70580

Subject Terms: Behavior Control, Adult, Male, China, Adolescent, Program Development/methods, Health Promotion, Exercise Therapy/methods, Young Adult, Diabetes Mellitus, Type 2, Stakeholder Participation, Diabetes Mellitus, Type 2/therapy, Humans, Original Article, Female, Age of Onset, Goals, Exercise, Qualitative Research

File Description: application/pdf

Access URL: https://pubmed.ncbi.nlm.nih.gov/41635131
https://kclpure.kcl.ac.uk/portal/en/publications/f28554fa-44d6-442c-b8bb-3cb46ce0f4f0
https://www.scopus.com/pages/publications/105029166362
https://doi.org/10.1111/hex.70580
https://kclpure.kcl.ac.uk/ws/files/364784464/Co-Designing_a_Multimodal_Physical_Activity_Intervention_for_Individuals_Version_of_Record.pdf

Research on methods of prevention among young people as users of social networks

Authors: Dimitrova, Mila, Sabeva, Petya, Mahmud, Shadi, Sabeva, Valentina, Tsanova, Milena, Kitanovski, Vladimir, Hauser, Petra, Marzec-Balinow, Karolina

Subject Terms: Suicide Prevention, social networks, Online Systems/trends, Social Media/organization & administration, young people at risk, Program Development/methods, Prevention measure, Young, Social Media/trends, Epidemics prevention, Online Systems, users of social media, Young Adult, Online Systems/statistics & numerical data, Young Adult/physiology, Methods, digital safety, Social Media/legislation & jurisprudence, Program Development, Online Systems/ethics, Damage prevention, Research, Social Media/statistics & numerical data, Social Media/classification, Social Media/ethics, Young Adult/psychology, Impact prevention, Online Social Networking, Young Adult/statistics & numerical data, Research/classification, Social Media, Social Media/standards, Social Network Analysis

Introduction to the B Method

Authors: Robinson, Ken A.

Contributors: Schuman, S. A., editor^Aff1, Sekerinski, Emil, editor^Aff2, Sere, Kaisa, editor^Aff3

Source: Program Development by Refinement : Case Studies Using the B Method. :3-37

Degree: BSc, DEA, CEng