BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (2)
system (2)
softwar (2)
qed (1)
orient (1)

Stem manifesto$ (all stems)

10 papers:

ICSEICSE-v2-2015-BeckerCDEPSV #design
Sustainability Design and Software: The Karlskrona Manifesto (CB, RC, LD, SME, BP, NS, CCV), pp. 467–476.
A literate experimentation manifesto (JS), pp. 91–102.
KRKR-2006-Jauregui #imperative #logic #semantics
Semantical Considerations for a Logic of Actions: An Imperative Manifesto (VJ), pp. 371–376.
PLDIPLDI-2005-Herlihy #re-engineering #transaction
The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
ICEISICEIS-v3-2003-MatsumotoT #modelling #problem
A Promising Manifesto for E-Business Value Modeling Problems (MJM, MT), pp. 112–120.
ICSTSAT-2001-GiunchigliaNTV #library #performance #satisfiability #towards
Towards an Efficient Library for SAT: a Manifesto (EG, MN, AT, MYV), pp. 290–310.
The QED Manifesto, pp. 238–251.
KRKR-1991-HalpernV #model checking #proving #theorem proving
Model Checking vs. Theorem Proving: A Manifesto (JYH, MYV), pp. 325–334.
SIGMODSIGMOD-1990-AtkinsonBDDMZ #database #object-oriented
The Object-Oriented Database System Manifesto (MPA, FB, DJD, KRD, DM, SBZ), p. 395.
SIGMODSIGMOD-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.