People and the Limits of Methodology
No abstract available.
Related papers
- Software Model Checking for People Who Love Automata CAV 2013
- A Refinement Methodology for Distributed Programs in Rust OOPSLA 2025
- Writing code for other people: cognitive psychology and the fundamentals of good software design principles OOPSLA 2009
- People Do Not Want to Learn a New Language But a New Library (Keynote) SLE 2022
- Towards more natural functional programming languages ICFP 2002
- A probabilistic language based upon sampling functions POPL 2005
- A probabilistic language based on sampling functions TOPLAS 2008
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report GPCE 2020