Extracting Frame Conditions from Operation Contracts

First Page		Document Content
Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant		Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Download Document from Source Website File Size: 277,43 KB Share Document on Facebook

	Handling Multiword Expressions in Causality Estimation Shota Sasaki, Sho Takase, Naoya Inoue, Naoaki Okazaki, Kentaro Inui Tohoku University {sasaki.shota, naoya-i, okazaki, inui}@ecei.tohoku.ac.jp . DocID: 1xVbA - View Document
	DOC Document DocID: 1vRTK - View Document
	PDF Document DocID: 1vHmP - View Document
	POAG AND CAUSALITY Case Report, Discussion and Literature Review November 2002 Kon Zagoritis BScOptom, FVCO, PcertOcTher DocID: 1vhxo - View Document
	Spatially Perturbed Collision Sounds Attenuate Perceived Causality in 3D Launching Events Duotun Wang*1, Perceived Causality in Launching Event DocID: 1vgZl - View Document