Search results for "pre/postconditions"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Reiko Heckel, Stefan Sauer 0001	Strengthening UML Collaboration Diagrams by State Transformations.	FASE	2001	DBLP DOI BibTeX RDF	UML collaboration diagrams, pre/postconditions, graph process, graph transformation
66	Udo W. Lipeck	Transformation of Dynamic Integrity Constraints into Transaction Specifications.	ICDT	1988	DBLP DOI BibTeX RDF	pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs
35	Peter Bartalos, Mária Bieliková	QoS Aware Semantic Web Service Composition Approach Considering Pre/Postconditions.	ICWS	2010	DBLP DOI BibTeX RDF	pre-/post-conditions, QoS, Web services, composition
35	Peter Bartalos, Mária Bieliková	Fast and Scalable Semantic Web Service Composition Approach Considering Complex Pre/Postconditions.	SERVICES I	2009	DBLP DOI BibTeX RDF
31	Udo W. Lipeck	Stepwise Specification of Dynamic Database Behaviour.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
16	Ewen Denney, Bernd Fischer 0002	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).	ASE	2006	DBLP DOI BibTeX RDF
16	Ewen Denney, Bernd Fischer 0002	Certifiable Program Generation.	GPCE	2005	DBLP DOI BibTeX RDF
16	Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon	Building Trust into OO Components Using a Genetic Analogy.	ISSRE	2000	DBLP DOI BibTeX RDF
16	Benoit Baudry, Vu Le Hanh, Yves Le Traon	Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.	TOOLS (33)	2000	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )