Results 11 to 20 of about 34,540,832 (298)
Structural Monitoring using Engineer-Computer Interaction [PDF]
, 2002 Engineer–computer interaction (ECI) is a new subdomain of human–computer interaction that is specifically tailored to engineers' needs. ECI uses an information classification schema, provides a modular approach to task decomposition, and integrates ...
Stalker, R., Smith, Ian F.C.
core +3 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
Behavioral science and diversity in software engineering [PDF]
, 2021 The Practioners\u27 Digest department in this issue of IEEE Software covers two topics: the behavioral science of software engineering and diversity in software engineering (this issue\u27s theme) and includes papers from the 42nd International ...
Carver, J. C. +18 more
core +2 more sources
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
Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1) [PDF]
, 2014 Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists’ research increasingly depends on the quality and availability of software upon which their works are built ...
Ketan Maheshwari +35 more
core +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
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
Large-scale complex IT systems [PDF]
, 2012 12 pages, 2 figuresThis paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, derived from the inherent complexity in these systems, why ...
Cliff, Dave +7 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