Results 1 to 10 of about 203,035 (167)
Flexible Correct-by-Construction Programming [PDF]
Logical Methods in Computer Science, 2023 Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to
Tobias Runge +4 more
doaj +1 more source
On Resolving Non-determinism in Choreographies [PDF]
Logical Methods in Computer Science, 2020 Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography.
Laura Bocchi +2 more
doaj +1 more source
A Systematic Literature Review of Student Assessment Framework in Software Engineering Courses
Journal of Information Systems Engineering and Business Intelligence, 2023 Background: Software engineering are courses comprising various project types, including simple assignments completed in supervised settings and more complex tasks undertaken independently by students, without the oversight of a constant teacher or lab ...
Reza Fauzan +5 more
doaj +1 more source
A Research Software Engineering Workflow for Computational Science and Engineering
CoRR, 2022 University research groups in Computational Science and Engineering (CSE) generally lack dedicated funding and personnel for Research Software Engineering (RSE), which, combined with the pressure to maximize the number of scientific publications, shifts the focus away from sustainable research software development and reproducible results.
Tomislav Maric +6 more
openaire +5 more sources
On the Frontiers of Software Science and Software Engineering
Frontiers in Computer Science, 2022 Advances in software engineering, software science, computational intelligence, and intelligent mathematics have led to the establishment of Frontiers in Computer Science—Software (FCSS).
Yingxu Wang
doaj +1 more source
Efficient task scheduling for cloud computing: a comparative survey of state-of-the-art algorithms [PDF]
Big Data and Computing Visions, 2023 Cloud computing is an essential tool for sharing resources across virtual machines, and it relies on scheduling and load balancing to ensure that tasks are assigned to the most appropriate resources. Multiple independent tasks need to be handled by cloud
Aziza Algarni
doaj +1 more source
IEEE Access, 2022 Software modeling is a creative activity in which software components and their relationships are identified based on customer requirements. Based on the literature, object-oriented software modeling is based on four fundamental pillars which are ...
Pamela Flores +2 more
doaj +1 more source
High-level Counterexamples for Probabilistic Automata [PDF]
Logical Methods in Computer Science, 2015 Providing compact and understandable counterexamples for violated system properties is an essential task in model checking. Existing works on counterexamples for probabilistic systems so far computed either a large set of system runs or a subset of the ...
Ralf Wimmer +3 more
doaj +1 more source
Collaboration vs. choreography conformance in BPMN [PDF]
Logical Methods in Computer Science, 2020 The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives.
Flavio Corradini +4 more
doaj +1 more source
A Java Application for Teaching Graphs in Undergraduate Courses
Applied Sciences, 2023 Graph theory is a common topic that is introduced as part of the curricula of computing courses such as Computer Science, Computer Engineering, Data Science, Information Technology and Software Engineering. Understanding graphs is fundamental for solving
Violeta Migallón, José Penadés
doaj +1 more source