Enhancing Military Architectural Frameworks with Method Chunks: A Modular Approach to Agile C2-System Design

Συγγραφείς: Lundberg, Jan Eilert, 1968-, Author, Andersson, Kent, Author, Stirna, Janis, 1969-, Author

Συνεισφορές: Lundberg, Jan Eilert, 1968-, Author, Andersson, Kent, Author, Stirna, Janis, 1969-, Author

Πηγή: Complex Systems Informatics and Modeling Quarterly. (47):48-83

Θεματικοί όροι: Command and Control System (C2-system), Design Science Research (DSR), MAP-Based Formalization, NATO Architecture Framework (NAF), Situational Method Engineering (SME)

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-259470
https://doi.org/10.7250/csimq.2026-47.03

Formalizing smart contract design patterns with DCR graphs

Συγγραφείς: Eshghie, Mojtaba, 1993-, Author, Ahrendt, Wolfgang, Author, Artho, Cyrille, 1976-, Author, Hildebrandt, Thomas Troels, Author, Schneider, Gerardo, Author

Συνεισφορές: Eshghie, Mojtaba, 1993-, Author, Ahrendt, Wolfgang, Author, Artho, Cyrille, 1976-, Author, Hildebrandt, Thomas Troels, Author, Schneider, Gerardo, Author

Πηγή: Software and Systems Modeling. 25(4):1083-1121

Θεματικοί όροι: DCR graphs, Design patterns formalization, Smart contract modeling

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-383030
https://doi.org/10.1007/s10270-026-01366-w

LLMs are the Ideal Candidate for Mixed-Initiative Game Design Pillar Workflows

Συγγραφείς: Geheeb, Julian, Schwarz, Marvin, Dyrda, Daniel, Groh, Georg

Πηγή: Proceedings of the 21st International Conference on the Foundations of Digital Games. :1-16

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

Clinical Practice Guidelines as a JSON Service: A Proposed Architecture for Decision Support in Major Burning Management

Συγγραφείς: Alvarez Ramirez, Jose de Jesus, Maciel, Rocio, Larios, Victor

Πηγή: IEEE Latin America Transactions IEEE Latin Am. Trans. Latin America Transactions, IEEE (Revista IEEE America Latina). 24(9):927-936 Sep, 2026

Seeing Metamorphic Relations Families as Types: Towards a New Foundation of Metamorphic Testing

Συγγραφείς: Gotlieb, Arnaud, Le Louedec, Mathieu, Spieker, Helge

Πηγή: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual. :2453-2458 Jul, 2026

Relation: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC)

Structured Graph-Based Knowledge Formalization for Fatigue and Drowsiness Analysis

Συγγραφείς: Markovics, Zigurds, Markovica, Ieva, Limba, Normunds, Erins, Matiss

Πηγή: 2026 6th International Conference on Electrical, Computer and Energy Technologies (ICECET) Electrical, Computer and Energy Technologies (ICECET), 2026 6th International Conference on. :1-6 Jul, 2026

Relation: 2026 6th International Conference on Electrical, Computer and Energy Technologies (ICECET)

AI-Based Formalization of Natural Language Requirements into SysML V2 for Model-Based Systems Engineering

Συγγραφείς: Dehn, Simon, Schnurer, Simon, Jacobs, Georg, Moers, Frederik

Πηγή: 2026 21st Annual System of Systems Engineering Conference (SoSE) Systems Engineering Conference (SoSE), 2026 21st Annual System of. :1-6 Jun, 2026

Relation: 2026 21st Annual System of Systems Engineering Conference (SoSE)

Cross-Domain Data Exchange in Urban Governance: A Semantic Knowledge Graph-Driven Survey

Συγγραφείς: Zhang, Yan, Lu, Shuai, Wang, Chang, Xin, Song

Πηγή: 2026 7th International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE) Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2026 7th International Conference on. :872-882 Jun, 2026

Relation: 2026 7th International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE)

Formalizing Test Levels for Architectural Alignment and Overall Optimization

Συγγραφείς: Ogura, Riku, Karita, Ren

Πηγή: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2026 IEEE International Conference on. :555-565 May, 2026

Relation: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)

Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference

Συγγραφείς: Kolozyan, Arman, Vandenbogaerde, Bram, Swalens, Janwillem, Hoste, Lode, Chaliasos, Stefanos, De Roover, Coen

Πηγή: 2026 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2026 IEEE Symposium on. :3091-3110 May, 2026

Relation: 2026 IEEE Symposium on Security and Privacy (SP)

A Decoupled and Automata-Based Approach for Formal Verification of MeshCoP

Συγγραφείς: Li, Ran, Chen, Sini, Zhu, Huibiao

Πηγή: 2026 29th International Conference on Computer Supported Cooperative Work in Design (CSCWD) Computer Supported Cooperative Work in Design (CSCWD), 2026 29th International Conference on. :1374-1379 May, 2026

Relation: 2026 29th International Conference on Computer Supported Cooperative Work in Design (CSCWD)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types

Συγγραφείς: Böhler, Timon, Reinhard, Tobias, Richter, David, Mezini, Mira

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA1):1763-1789

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

Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach

Συγγραφείς: Liu, Yiyun, Weirich, Stephanie

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):865-894

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

Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors

Συγγραφείς: Li, Tianchi, Yan, Zhenyu, Liu, Junhao, Di, Peng, Zhang, Xin

Πηγή: ACM Transactions on Programming Languages and Systems. 48(2):1-30

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

Temporal Requirement Formalization Using Large Language Models

Συγγραφείς: Hu, Zhiyuan, Ma, Wei, Wang, Qiang, Jiang, Lingxiao, Li, Dongsheng

Πηγή: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER), 2026 IEEE International Conference on. :842-853 Mar, 2026

Relation: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation

Συγγραφείς: Mendoza, Daniel, Mavridou, Anastasia, Katis, Andreas, Trippel, Caroline

Πηγή: Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering. :1314-1326

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

RDoFlow: Automatically assessing under-specified statistical analyses in HCI

Συγγραφείς: Grunde-McLaughlin, Madeleine, Liu, Weixuan, Patil, Ria, Migineishvili, Nino, Reif, Emily, Krishna, Ranjay, Weld, Daniel S., Heer, Jeffrey

Πηγή: Proceedings of the 31st International Conference on Intelligent User Interfaces. :683-698

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

Formalized Modeling and Deterministic Traceability in Computer Vision Pipelines - A Case Study

Συγγραφείς: Szabo, Mihaly, Kovari, Attila, Kertesz, Gabor

Πηγή: 2026 IEEE 24th World Symposium on Applied Machine Intelligence and Informatics (SAMI) Applied Machine Intelligence and Informatics (SAMI), 2026 IEEE 24th World Symposium on. :000727-000732 Jan, 2026

Relation: 2026 IEEE 24th World Symposium on Applied Machine Intelligence and Informatics (SAMI)

No More Traffic Tickets: A Tutorial to Ensure Traffic-Rule Compliance of Automated Vehicles

Συγγραφείς: Althoff, M., Maierhofer, S., Wursching, G., Lin, Y., Lercher, F., Stolz, R.

Πηγή: Proceedings of the IEEE Proc. IEEE Proceedings of the IEEE. 114(4):628-657 Apr, 2026

A Set-Theoretic Approach to the Formalization of the Technological Preparation of Production Processes

Συγγραφείς: Porubay, Oksana, Siddikov, Isamiddin, Sadikova, Munira

Πηγή: 2025 International Conference on Information Science and Communications Technologies (ICISCT) Information Science and Communications Technologies (ICISCT), 2025 International Conference on. :80-85 Dec, 2025

Relation: 2025 International Conference on Information Science and Communications Technologies (ICISCT)