Search results for "pre-/post-conditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Bruno Defude, Hervé Martin	From a Passive to an Active Database Supporting Exceptions.	DEXA	1994	DBLP DOI BibTeX RDF	Pre(post)-conditions, Inheritance, Integrity constraints, Exceptions, Object-Oriented DBMS
37	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
37	Shengchao Qin, Guanhua He	Linking Object-Z with Spec#.	ICECCS	2007	DBLP DOI BibTeX RDF	Spec#, pre/post conditions, verification, Formal specification, Object-Z
35	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Multiple Pre/Post Specifications for Heap-Manipulating Methods.	HASE	2007	DBLP DOI BibTeX RDF
20	Quân Nguyen-Le, Lam-Son Lê	Expressing Pre-, Post-conditions, Attributes and Business Constraints in Artifact-Centric Business Processes Using Object Role Modeling.	CSOC (2)	2016	DBLP DOI BibTeX RDF
20	Xutao Du, Chunxiao Xing, Lizhu Zhou	Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	web service interface, verification, web service composition, reachability analysis
20	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Applying CLP to Predict Extra-Functional Properties of Component-Based Models.	ICLP	2004	DBLP DOI BibTeX RDF
12	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
10	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
10	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
10	Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos	Monitoring and diagnosing software requirements.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Diagnostics, Requirement monitoring
10	Rajeev Alur, P. Madhusudan	Adding nesting structure to words.	J. ACM	2009	DBLP DOI BibTeX RDF	software model checking, tree automata, Pushdown automata, XML processing
10	Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds	XMI2USE: A Tool for Transforming XMI to USE Specifications.	ER Workshops	2009	DBLP DOI BibTeX RDF	MDA, Model Transformation, OCL, USE, Modeling Tool, XMI
10	Rajeev Alur	Marrying Words and Trees.	AMAST	2008	DBLP DOI BibTeX RDF
10	Srividya Kona 0001, Ajay Bansal, M. Brian Blake, Gopal Gupta 0001	Generalized Semantics-Based Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
10	Srividya Kona 0001, Ajay Bansal, M. Brian Blake, Gopal Gupta 0001	Towards a General Framework for Web Service Composition.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Service-Oriented Computing
10	Nutchakorn Ngamsaowaros, Peraphon Sophatsathit	A Novel Framework for Test Domain Reduction using Extended Finite State Machine.	ICSEA	2007	DBLP DOI BibTeX RDF
10	Rajeev Alur	Marrying Words and Trees.	CSR	2007	DBLP DOI BibTeX RDF
10		Applying Formal Methods to Compositionality Description of Web Service.	ICIW	2007	DBLP DOI BibTeX RDF
10	Yu-Chin Cheng, Chien-Hung Chen, Chung-Chih Chiang, Jun-Wei Wang 0002, Chi-Sung Laih	Generating Attack Scenarios with Causal Relationship.	GrC	2007	DBLP DOI BibTeX RDF
10	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
10	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
10	Vinay Kulkarni, Sreedhar Reddy	A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
10	Vladimir Levin	Static driver verifier, a formal verification tool for Windows device drivers.	MEMOCODE	2004	DBLP DOI BibTeX RDF
10	Monika Solanki, Antonio Cau, Hussein Zedan	Augmenting semantic web service descriptions with compositional specification.	WWW	2004	DBLP DOI BibTeX RDF	owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl
10	Monika Solanki, Antonio Cau, Hussein Zedan	Introducing Compositionality in Web Service Descriptions.	FTDCS	2004	DBLP DOI BibTeX RDF
10	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Expressing checkable properties of dynamic systems: the Bandera Specification Language.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Object-oriented programs, Temporal specification
10	Ali Hamie, John Howse, Stuart Kent 0001	Navigation Expresion in Object-Oriented Modelling.	FASE	1998	DBLP DOI BibTeX RDF
10	Pierre De Boeck, Baudouin Le Charlier	Static Type Analysis of Prolog Procedures for Ensuring Correctness.	PLILP	1990	DBLP DOI BibTeX RDF
10	Cliff B. Jones	VDM Proof Obligations and their Justification.	VDM Europe	1987	DBLP DOI BibTeX RDF
10	Angelika Horndasch, Rudi Studer	THM-NET: an approach to office systems modeling.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF