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

Συγγραφείς: Krug, Douglas Lusa, Simão, Jean Marcelo, Bastos, Laudelino Cordeiro

Πηγή: Proceedings of the XXXIII Brazilian Symposium on Software Engineering. :491-500

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3350768.3352731

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

Συγγραφείς: Saha, Manika, Bartindale, Tom, Varghese, Delvin, Lindsay, Stephen, Richardson, Dan, Ahmed, Syed Ishtiaque, Olivier, Patrick

Πηγή: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. :1-16

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3544548.3581458

Let’s Talk AI with Computer Science Expert Wolfgang Ahrendt

Συγγραφείς: Ahrendt, Wolfgang, 1967, Author, Steffen, Barbara, Author

Συνεισφορές: Ahrendt, Wolfgang, 1967, Author, Steffen, Barbara, Author

Πηγή: Lecture Notes in Computer Science. 15000 LNCS

Θεματικοί όροι: Symbolic methods, Program development, artificiell intelligens, Trust and trustworthiness

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: 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.

Πηγή: In Journal of the Academy of Nutrition and Dietetics January 2019 119(1):57-68

An Interprofessional Faculty Development Program for Workplace-Based Learning

Συγγραφείς: 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

Συνεισφορές: Medische Staf Intensive Care, Medische staf Anesthesiologie, Other research (not in main researchprogram), BMS Algemeen, Expertisecentrum Alg., Infection & Immunity, Intensive care patientenzorg

Θεματικοί όροι: 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

Περιγραφή αρχείου: text/plain; application/pdf

Σύνδεσμος πρόσβασης: https://dspace.library.uu.nl/handle/1874/452234

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

Συγγραφείς: Muncey, Andrew, Morgan, Mike, Cunningham, Stuart

Πηγή: Proceedings of the 2024 Conference on United Kingdom & Ireland Computing Education Research. :1-6

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3689535.3689555

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

Συγγραφείς: Yongquiang, Sun, Kai, Lin, Li, Shen

Πηγή: ACM SIGPLAN Notices. 32(2):27-34

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/251621.251627

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

Συγγραφείς: Pleasant, James C.

Πηγή: Proceedings of the 19th annual conference on Computer Science. :169-173

Διαθεσιμότητα: 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)

Συγγραφείς: University of Basel, University of Applied Sciences and Arts of Southern Switzerland

Συνεισφορές: Nathalie Wellens, Prof. Dr. Nathalie I.H. Wellens

Πηγή: 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

Συγγραφείς: Guo, Jia ^a, Jin, Yang ^b, Zhao, Fulong ^{a, ⁎}, Fang, Huawei ^c, Yi, Jingwei ^c, Tian, Ruifeng ^{a, ⁎}

Πηγή: In Applied Thermal Engineering 5 June 2023 227

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

Συγγραφείς: Thominet, Luke, Acosta, Kristine

Πηγή: Proceedings of the 41st ACM International Conference on Design of Communication. :221-224

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3615335.3623040

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

Συγγραφείς: Feather, Julie^Aff3

Συνεισφορές: Kaehne, Axel, editor^Aff1, Feather, Julie, editor^Aff2

Πηγή: 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

Συγγραφείς: Zhou, Nan

Πηγή: Proceedings of the 2025 2nd International Conference on Artificial Intelligence and Future Education. :700-704

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3785987.3786103

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

Συγγραφείς: 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.

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

Τύπος έκδοσης: Journal Article

Στοιχεία περιοδικού: 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): 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

Συγγραφείς: Broy, Manfred^Aff2

Συνεισφορές: Broy, Manfred, editor^Aff1, Schieder, Birgit, editor^Aff1

Πηγή: Mathematical Methods in Program Development. 158:271-312

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

Συγγραφείς: Feijen, W. H. J.^Aff2, van Gasterenf, A. J. M.^Aff2

Συνεισφορές: Broy, Manfred, editor^Aff1, Schieder, Birgit, editor^Aff1

Πηγή: Mathematical Methods in Program Development. 158:53-81

Control of Study Program Content Changes Using Structural Modelling Methods

Συγγραφείς: Rollande, Raita^Aff10, Mislevics, Antons^Aff11

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Xiaoyan Zhao, Angus Forbes, Haya Abu Ghazaleh, Li Cheng, Xiaodi Guo, Maria Duaso

Πηγή: 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

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Dimitrova, Mila, Sabeva, Petya, Mahmud, Shadi, Sabeva, Valentina, Tsanova, Milena, Kitanovski, Vladimir, Hauser, Petra, Marzec-Balinow, Karolina

Θεματικοί όροι: 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

Συγγραφείς: Robinson, Ken A.

Συνεισφορές: Schuman, S. A., editor^Aff1, Sekerinski, Emil, editor^Aff2, Sere, Kaisa, editor^Aff3

Πηγή: Program Development by Refinement : Case Studies Using the B Method. :3-37

Degree: BSc, DEA, CEng