10 papers:
ICSE-v2-2015-BeckerCDEPSV #design- Sustainability Design and Software: The Karlskrona Manifesto (CB, RC, LD, SME, BP, NS, CCV), pp. 467–476.
Onward-2011-Singer- A literate experimentation manifesto (JS), pp. 91–102.
KR-2006-Jauregui #imperative #logic #semantics- Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.
PLDI-2005-Herlihy #re-engineering #transaction- The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
ICEIS-v3-2003-MatsumotoT #modelling #problem- A Promising Manifesto for E-Business Value Modeling Problems (MJM, MT), pp. 112–120.
SAT-2001-GiunchigliaNTV #library #performance #satisfiability #towards- Towards an Efficient Library for SAT: a Manifesto (EG, MN, AT, MYV), pp. 290–310.
CADE-1994-Anonymous- The QED Manifesto, pp. 238–251.
- KR-1991-HalpernV #model checking #proving #theorem proving
- Model Checking vs. Theorem Proving: A Manifesto (JYH, MYV), pp. 325–334.
SIGMOD-1990-AtkinsonBDDMZ #database #object-oriented- The Object-Oriented Database System Manifesto (MPA, FB, DJD, KRD, DM, SBZ), p. 395.
- SIGMOD-1990-StonebrakerRLGCB #database #generative #quote
- “The Committee for Advanced DBMS Function”: Third Generation Data Base System Manifesto (MS, LAR, BGL, JG, MJC, DB), p. 396.
