Results 11 to 20 of about 234,895 (212)
Mathematics, Computer Science, Software Engineering
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this talk I want to examine three ideas: First, the traditional relationship between a science, the mathematics it uses, and the engineering for which it is the basis. Second, the role of mathematics in the practice of software engineering, which is sometimes called “formal methods.” And finally, the role of theory in computer science, and ...
Hamlet, Dick
openaire +2 more sources
Fundamental Approaches to Software Engineering [PDF]
, 2018 computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications ...
core +2 more sources
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
Biometric Measurement in Software Engineering
, 2022 Biometric sensor technology provides new opportunities to measure physiological changes in the human body that can be linked to various psychological processes.
Fagerholm, Fabian, Fritz, Thomas
core +1 more source
Maturity of Software Modelling and Model Driven Engineering: a Survey in the Italian Industry [PDF]
, 2012 Background: The main claimed advantage of Model-driven engineering is improvement in productivity. However, few information is available about its actual adoption during software development and maintenance in the industry.
Tiso, Alessandro +14 more
core +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