BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
pre (5)
user (2)
techniqu (2)
interfac (2)
transform (2)

Stem postcondit$ (all stems)

10 papers:

ICSTICST-2015-YiYGWLZ #execution #symbolic computation
Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
IFMIFM-2013-IshiiMN #automaton #calculus #hybrid #induction #verification
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus (DI, GM, SN), pp. 139–153.
ICGTICGT-2006-ButtnerG #graph transformation #sequence
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
FMFM-v2-1999-LeavensB #specification
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (GTL, ALB), pp. 1087–1106.
WCREWCRE-1995-GannodC #reverse engineering #semantics
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering (GCG, BHCC).
FMFME-1993-BicarreguiR #comparison #invariant
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
SEKESEKE-1993-Li #development
Transforming Postconditions To Aid Program Development (JL), pp. 689–694.
CHICHI-1992-FrankGGF #user interface #using
Building User Interfaces Interactively Using Pre- and Postconditions (MRF, JJdG, DFG, JDF), pp. 641–642.
CHICHI-1992-GieskensF #user interface
Controlling User Interface Objects Through Pre- and Postconditions (DFG, JDF), pp. 189–194.
FMVDME-1991-1-Jonkers
Upgrading the Pre- and Postcondition Technique (HBMJ), pp. 428–456.

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.