Results 11 to 20 of about 35,870,954 (296)
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
Requirements engineering: a close look at industry needs and a model curricula [PDF]
, 2004 Research endeavours in software development have found that failures and deficiencies of software systems are often rooted in the requirements activities undertaken.
Oliver Minor +5 more
core +1 more source
International Seminar on Software Engineering Computer Systems 2011 [PDF]
, 2011 Faculty of Computer Systems & Soft ware Engineering (FSKKP) Universiti Malaysia Pahang (UMP) in collaboration with the Information Society Digital and Wireless Communications (SDIWC) had organized the International Seminar on Software Engineering ...
UMP, .
core +2 more sources
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