| Flow Diagrams, Assertions, and Formal Methods
|
2020 |
Priestley, Mark |
| A Survey of Learning Methods in Open Source Software
|
2020 |
Suleimenov, Aidarbek |
| Towards a Static Check of FMUs in VDM-SL
|
2020 |
Battle, Nick |
| A Map of Asynchronous Communication Models
|
2020 |
Chevrou, Florent |
| ViennaDoc: An Animatable and Testable Specification Documentation Tool
|
2020 |
Oda, Tomohiro |
| Transformations for Generating Type Refinements
|
2020 |
Smith, Douglas R. |
| Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
|
2020 |
Khadiev, Kamil |
| Quotients and Atoms of Reversible Languages
|
2020 |
Tamm, Hellis |
| Handling Heap Data Structures in Backward Symbolic Execution
|
2020 |
Husák, Robert |
| Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
|
2020 |
Jones, Cliff B. |
| What Have Formal Methods Ever Done for Us? An Audience Discussion
|
2020 |
Astarte, Troy Kaighin |
| Combination of Boxes and Polyhedra Abstractions for Constraint Solving
|
2020 |
Ziat, Ghiles |
| Runtime Verification of Linux Kernel Security Module
|
2020 |
Efremov, Denis |
| Challenges Faced by Students in an Open Source Software Undergraduate Course
|
2020 |
Issa, Dias |
| Open Source Software as a Learning Tool for Computer Science Students
|
2020 |
Khuzyakhmetova, Assiya |
| Towards a Method for the Decomposition by Refinement in Event-B
|
2020 |
Kraibi, Kenza |
| Nested Event Representation for Automated Assembly of Cell Signaling Network Models
|
2020 |
Becker, Evan W. |
| Specification with Class: A Brief History of Object-Z
|
2020 |
Smith, Graeme |
| Formal Specifications and Software Testing, a Fruitful Convergence
|
2020 |
Gaudel, Marie-Claude |
| A Calculus of Chaos in Stochastic Compilation: Engineering in the Cause of Mathematics
|
2020 |
Breuer, Peter T. |
Tag hinzufügen