Results 21 to 30 of about 203,048 (266)
Footprints in Local Reasoning [PDF]
Logical Methods in Computer Science, 2009 Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address the problem of formally characterising and analysing the footprint notion
Mohammad Raza, Philippa Gardner
doaj +1 more source
Interpolation in local theory extensions [PDF]
Logical Methods in Computer Science, 2008 In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theory as
Viorica Sofronie-Stokkermans
doaj +1 more source
Creativity in computer science
Creativity Studies, 2021 The aim of this paper is to briefly explore creative thinking in computer science, and compare it to natural sciences, mathematics or engineering. It is also meant as polemics with some theses of the pioneer work under the same title by Daniel Saunders ...
Piotr Giza
doaj +1 more source
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules [PDF]
Logical Methods in Computer ScienceSequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might ...
Lars Fritsche +4 more
doaj +1 more source
Automated Synthesis of Distributed Self-Stabilizing Protocols [PDF]
Logical Methods in Computer Science, 2018 In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms require the explicit
Fathiyeh Faghih +3 more
doaj +1 more source
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems [PDF]
Logical Methods in Computer ScienceThe Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements
Tim Kräuter +3 more
doaj +1 more source
Preface: The 3rd International Day on Computer Science and Applied Mathematics (ICSAM’23)
Computer Sciences & Mathematics Forum, 2023 The Scientific Association of Academic Researchers (ASCA) and Software Engineering & Information Systems Engineering Team (GL-ISI) organized, in collaboration with Moulay Ismail University, the 3rd International Day on Computer Science and Applied ...
Abdeslam Jakimi, Mohamed Oualla
doaj +1 more source
LGBTQIA+ (In) Visibility in Computer Science and Software Engineering Education
2023 IEEE/ACM 16th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE), 2023 Modern society is diverse, multicultural, and multifaceted. Because of these characteristics, we are currently observing an increase in the debates about equity, diversity, and inclusion in different areas, especially because several groups of individuals are underrepresented in many environments.
Ronnie Edson de Souza Santos +2 more
openaire +2 more sources
Modal Interface Automata [PDF]
Logical Methods in Computer Science, 2013 De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components.
Gerald Lüttgen, Walter Vogler
doaj +1 more source
On the historical semantics of the notion of software architecture
The Journal for Transdisciplinary Research in Southern Africa, 2014 This study outlines in some detail the semantic variety of the notion of ‘software architecture’ in the field of software engineering since the early 1970s.
Stefan Gruner
doaj +1 more source