Imagen de Portada

Foundations of Work-Systems Modeling

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Proper, Henderik Alex
Formato:	Preprint
Publicado:	2024
Materias:	Other Computer Science Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Mapping the Future of Human Digital Twin Adoption in Job-Shop Industries: A Strategic Prioritization Framework
por: Sardar, Samiran, et al.
Publicado: (2025)

Institutionalizing Best Practices in Research Computing: A Framework and Case Study for Improving User Onboarding
por: Chaturvedi, Ayush, et al.
Publicado: (2026)

ModZoo: A Large-Scale Study of Modded Android Apps and their Markets
por: Saavedra, Luis A., et al.
Publicado: (2024)

ParamRF: A JAX-native Framework for Declarative Circuit Modelling
por: Allen, Gary V. C., et al.
Publicado: (2025)

Rapid Development of Omics Data Analysis Applications through Vibe Coding
por: Meyer, Jesse G.
Publicado: (2025)

The Software Observatory: aggregating and analysing software metadata for trend computation and FAIR assessment
por: del Pico, Eva Martín, et al.
Publicado: (2025)

Improving the Equation of Exchange for Cryptoasset Valuation Using Empirical Data
por: Kampakis, Stylianos, et al.
Publicado: (2024)

Macroscopic stress, couple stress and flux tensors derived through energetic equivalence from microscopic continuous and discrete heterogeneous finite representative volumes
por: Eliáš, Jan, et al.
Publicado: (2024)

MagneX: A High-Performance, GPU-Enabled, Data-Driven Micromagnetics Solver for Spintronics
por: Nonaka, Andy, et al.
Publicado: (2026)

Workday's Approach to Secure and Compliant Cloud ERP Systems
por: Sharma, Monu
Publicado: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
por: ter Beek, Maurice H., et al.
Publicado: (2026)

Blockchain-Based Trust and Transparency in Airline Reservation Systems using Microservices Architecture
por: Barua, Biman, et al.
Publicado: (2024)

DevServOps: DevOps For Product-Oriented Product-Service Systems
por: Dakkak, Anas, et al.
Publicado: (2023)

From Simulation to Discovery: AI Enabled Probabilistic Emulation of Mechanistic Crop Systems
por: Saadati, Mojdeh, et al.
Publicado: (2026)

Benchmarking formalisms for dynamic structure system Modeling and Simulation
por: Attia, Aya, et al.
Publicado: (2024)

VDMN: A Graphical Notation for Modelling Value Driver Trees
por: Matthies, Benjamin
Publicado: (2025)

Agentic AI in Product Management: A Co-Evolutionary Model
por: Parikh, Nishant A.
Publicado: (2025)

Foundations and Scoping of Data Science
por: Özsu, M. Tamer
Publicado: (2023)

UMAT4COMSOL: An Abaqus user material (UMAT) subroutine wrapper for COMSOL
por: Lucarini, S., et al.
Publicado: (2024)

Toward a Mapping of Capability and Skill Models using Asset Administration Shells and Ontologies
por: da Silva, Luis Miguel Vieira, et al.
Publicado: (2023)

Regular Abstractions for Array Systems
por: Hong, Chih-Duo, et al.
Publicado: (2024)

Compositionality of Systems and Partially Ordered Runs
por: Fettke, Peter, et al.
Publicado: (2026)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
por: Päßler, Juliane, et al.
Publicado: (2023)

Relevant HAL Interface Requirements for Embedded Systems
por: Bentele, Manuel, et al.
Publicado: (2025)

Inferring Message Flows From System Communication Traces
por: Nadimi, Bardia, et al.
Publicado: (2024)

In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
por: Mikytiv, Vladyslav, et al.
Publicado: (2026)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
por: Wojtak, Connor, et al.
Publicado: (2025)

Early Validation of High-level Requirements on Cyber-Physical Systems
por: Vašíček, Ondřej
Publicado: (2025)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
por: McGeorge, Dag, et al.
Publicado: (2024)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
por: Murugesan, Anitha, et al.
Publicado: (2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
por: Vašíček, Ondřej, et al.
Publicado: (2024)

Proceedings 9th edition of Working Formal Methods Symposium
por: Arusoaie, Andrei, et al.
Publicado: (2025)

Probabilistic Model Checking Taken by Storm
por: Volk, Matthias, et al.
Publicado: (2026)

Portus: Linking Alloy with SMT-based Finite Model Finding
por: Dancy, Ryan, et al.
Publicado: (2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
por: Lanzinger, Florian, et al.
Publicado: (2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
por: Brancas, Ricardo, et al.
Publicado: (2024)

Analyzing Challenges in Deployment of the SLSA Framework for Software Supply Chain Security
por: Tamanna, Mahzabin, et al.
Publicado: (2024)

Continuous Analysis: Evolution of Software Engineering and Reproducibility for Science
por: Malladi, Venkat S., et al.
Publicado: (2024)

Evolution analysis of software quality metrics in an open-source java project: A case study on TestNG
por: Sambaturu, Venkata Sai Sravya
Publicado: (2025)

Scientific Open-Source Software Is Less Likely to Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software
por: Thakur, Addi Malviya, et al.
Publicado: (2025)