Search results for "post-conditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	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
35	Harry M. Sneed	Testing a Datawarehouse - An Industrial Challenge.	TAIC PART	2006	DBLP DOI BibTeX RDF	Datawarehouse Testing, Data Transformation Rules, Post Conditions Assertions, Formal Verification, System Testing
33	Lin Lin, Ismailcem Budak Arpinar	Discovering Semantic Relations between Web Services Using Their Pre and Post-Conditions.	IEEE SCC	2005	DBLP DOI BibTeX RDF
31	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
30	Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd	Pre/Post Conditioned Slicing.	ICSM	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
27	Tatsuya Toyama, Atsushi Ohnishi	Rule-based Verification of Scenarios with Pre-conditions and Post-conditions.	RE	2005	DBLP DOI BibTeX RDF
25	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
25	Richard Riehle	Designing software components to tolerances.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances
25	Shengchao Qin, Guanhua He	Linking Object-Z with Spec#.	ICECCS	2007	DBLP DOI BibTeX RDF	Spec#, pre/post conditions, verification, Formal specification, Object-Z
25	Sam Guinea	Self-healing web service compositions.	ICSE	2005	DBLP DOI BibTeX RDF	pre- and post-conditions, recovery strategies, quality of service, web services, monitoring, composition, functional requirements
25	Luciano Baresi, Carlo Ghezzi, Sam Guinea	Smart monitors for composed services.	ICSOC	2004	DBLP DOI BibTeX RDF	pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
24	Robert Bruce Findler, Mario Latendresse, Matthias Felleisen	Behavioral contracts and behavioral subtyping.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
23	Joseph A. Turner, Joseph L. Zachary	Javiva: a tool for visualizing and validating student-written Java programs.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
22	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Multiple Pre/Post Specifications for Heap-Manipulating Methods.	HASE	2007	DBLP DOI BibTeX RDF
21	Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar	Automatic Verification of Integer Array Programs.	CAV	2009	DBLP DOI BibTeX RDF
21	Eduard Kamburjan	From post-conditions to post-region invariants: deductive verification of hybrid objects.	HSCC	2021	DBLP DOI BibTeX RDF
19	Lin Lin, Ismailcem Budak Arpinar	Discovery of Semantic Relations between Web Services.	ICWS	2006	DBLP DOI BibTeX RDF
19	Marc Lohmann, Stefan Sauer 0001, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
19	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	Consistency Checking of UML Requirements.	ICECCS	2005	DBLP DOI BibTeX RDF	Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking
17	R. Kramer	iContract - The Java(tm) Design by Contract(tm) Tool.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
17	Salem Benferhat, Fabien Autrel, Frédéric Cuppens	Enhanced Correlation in an Intrusion Detection Process.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
15	Nissim Francez	Distributed Termination.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
15	Kathryn E. Gray, Alan Mycroft	Logical Testing.	FASE	2009	DBLP DOI BibTeX RDF
15	Jean-Marie Jacquet, Luís Monteiro	Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.	JELIA	1994	DBLP DOI BibTeX RDF
14	Douglas Walton	How to make and defend a proposal in a deliberation dialogue.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	critical questions, formal dialogue systems, profiles of dialogue, artificial intelligence, practical reasoning, electronic democracy, argumentation schemes
14	Deborah Whitfield, Mary Lou Soffa	An Approach to Ordering Optimizing Transformations.	PPoPP	1990	DBLP DOI BibTeX RDF
14	Antonio Di Pasquale, Johanna Kristin Maria Becker, Andreas Martin Kettner, Mario Paolone	Ensuring Solution Uniqueness in Fixed-Point-Based Harmonic Power Flow Analysis with Converter-Interfaced Resources: Ex-post Conditions.	CoRR	2024	DBLP DOI BibTeX RDF
14	Ievgen Ivanov, Mykola S. Nikitchenko	On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions.	ICTERI Workshops	2018	DBLP BibTeX RDF
14	Jingyi Su, Mohd Arafat, Robert Dyer 0001	Using consensus to automatically infer post-conditions.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
14	Metta Santiputri, Aditya K. Ghose, Hoa Khanh Dam	Mining task post-conditions: Automating the acquisition of process semantics.	Data Knowl. Eng.	2017	DBLP DOI BibTeX RDF
14	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
14	Metta Santiputri, Aditya K. Ghose, Hoa Khanh Dam, Xiong Wen	Mining Process Task Post-Conditions.	ER	2015	DBLP DOI BibTeX RDF
14	Mengjun Li	Inferring loop invariants of programs with polynomial post-conditions.	Internetware	2014	DBLP DOI BibTeX RDF
14	Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury	Past expression: encapsulating pre-states at post-conditions by means of AOP.	AOSD	2013	DBLP DOI BibTeX RDF
14	Alexander Horn	Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation.	WoLLIC	2011	DBLP DOI BibTeX RDF
14	Jeroen C. van Grondelle, Menno Gülpers	Specifying Flexible Business Processes Using Pre and Post Conditions.	PoEM	2011	DBLP DOI BibTeX RDF
14	Liang Chang 0003, Zhongzhi Shi, Tianlong Gu	Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions.	Intelligent Information Processing	2010	DBLP DOI BibTeX RDF
14	Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi	Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
14	Ángel Herranz-Nieva, Juan José Moreno-Navarro	Generation of and Debugging with Logical Pre and Post-Conditions.	AADEBUG	2000	DBLP BibTeX RDF
14	Eric G. Wagner	A Categorical Treatment of Pre- and Post-Conditions.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
14	Eric G. Wagner	A Categorical Treatment of Pre- and Post Conditions.	CAAP	1986	DBLP DOI BibTeX RDF
13	Tao He 0004, Huaikou Miao, Liping Li	A Web Service Composition Method Based on Interface Matching.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
13	Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin	Crosscutting invariant and an efficient checking algorithm using program slicing.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
13	Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer	Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF
13	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
13	Maja Milicic	Complexity of Planning in Action Formalisms Based on Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
13	Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
13	Simone A. Ludwig, Omer F. Rana, Julian A. Padget, William Naylor	Matchmaking Framework for Mathematical Web Services.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	match plug-ins, match score, mathematical web services, matchmaking
13	Jacques Wainer, Fábio de Lima Bezerra, Paulo Barthelmess	Tucupi: a flexible workflow system based on overridable constraints.	SAC	2004	DBLP DOI BibTeX RDF	fexibility, workflow, constraints, RBAC
13	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001, Quan Long	Generating a Prototype from a UML Model of System Requirements.	ICDCIT	2004	DBLP DOI BibTeX RDF	Formal Specification, Prototype, Code Generation, Requirements analysis
13	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
13	Rajeev Alur, Kousha Etessami, P. Madhusudan	A Temporal Logic of Nested Calls and Returns.	TACAS	2004	DBLP DOI BibTeX RDF
13	Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001	Assertion Checking Environment (ACE) for Formal Verification of C Programs.	SAFECOMP	2002	DBLP DOI BibTeX RDF
12	Vassiliki Alevizou, Dimitris Plexousakis	Enhanced Specifications for Web Service Composition.	ECOWS	2006	DBLP DOI BibTeX RDF
12	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	JVer: A Java Verifier.	CAV	2005	DBLP DOI BibTeX RDF
11	Chetan Shiva Shankar, Anand Ranganathan, Roy H. Campbell	An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments.	MobiQuitous	2005	DBLP DOI BibTeX RDF
11	Kaushal Sarda, Duminda Wijesekera, Sushil Jajodia	Implementing Consistency Checking in Correlating Attacks.	ICDCIT	2004	DBLP DOI BibTeX RDF
10	Maurice Jordan	CATS: Computer Aided Testing of Software.	APL	1991	DBLP DOI BibTeX RDF	APL
8	Min Zhao 0009, Bruce R. Childers, Mary Lou Soffa	A Framework for Exploring Optimization Properties.	CC	2009	DBLP DOI BibTeX RDF
8	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
8	Greg Morrisett	Programming with Effects in Coq.	MPC	2008	DBLP DOI BibTeX RDF
8	Stéphane S. Somé, Xu Cheng	An approach for supporting system-level test scenarios generation from textual use cases.	SAC	2008	DBLP DOI BibTeX RDF	use cases, state machines, system testing
8	Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	Refinement Types for Secure Implementations.	CSF	2008	DBLP DOI BibTeX RDF
8	Fang Yu 0001, Chao Wang 0001, Aarti Gupta, Tevfik Bultan	Modular verification of web services using efficient symbolic encoding and summarization.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	BPEL, summarization, modular verification
8	Ping Li, Toan Huynh, Marek Z. Reformat, James Miller 0001	A practical approach to testing GUI systems.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Two-tierd testing, GUI component, Complete interaction sequence, Testing, GUI, GUI testing, Event sequence
8	Fang Yu 0001, Tevfik Bultan, Erik Peterson	Automated size analysis for OCL.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	size abstraction, size analysis, OCL
8	Thomas Triebsees, Uwe M. Borghoff	Preservation-centric and constraint-based migration of digital documents.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	model, migration, digital archive, preservation
8	James Welch, David Faitelson, Jim Davies	Automatic Maintenance of Association Invariants.	SEFM	2005	DBLP DOI BibTeX RDF
8	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
8	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
8	Franck Multon, Bruno Arnaldi	Human Motion Coordination: Example of a Juggler.	CA	1999	DBLP DOI BibTeX RDF
8	Maurice Herlihy, Jeannette M. Wing	Linearizability: A Correctness Condition for Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
6	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
6	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models
6	Sidney W. A. Dekker	Just culture: who gets to draw the line?	Cogn. Technol. Work.	2009	DBLP DOI BibTeX RDF	Incident reporting, Just culture, Criminalization, Culpability, Accountability, Human error
6	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
6	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
6	Diego Calvanese, Giuseppe De Giacomo, Richard Hull 0001, Jianwen Su	Artifact-Centric Workflow Dominance.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
6	Rémi Bastide	An Integration of Task and Use-Case Meta-models.	HCI (1)	2009	DBLP DOI BibTeX RDF
6	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
6	Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha, Pankaj Dhoolia, Debdoot Mukherjee, Soham Chakraborty 0001	Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs.	ICWS	2009	DBLP DOI BibTeX RDF
6	Siripol Noikajana, Taratip Suwannasart	An Improved Test Case Generation Method for Web Service Testing from WSDL-S and OCL with Pair-Wise Testing Technique.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
6	Alin Deutsch, Richard Hull 0001, Fabio Patrizi, Victor Vianu	Automatic verification of data-centric business processes.	ICDT	2009	DBLP DOI BibTeX RDF
6	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
6	Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner	Verifying the Implementation of an Operating System Scheduler.	TASE	2009	DBLP DOI BibTeX RDF
6	Ming Fu, Yu Zhang 0086, Yong Li	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.	TASE	2009	DBLP DOI BibTeX RDF
6	Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse	Object Flow Definition for Refined Activity Diagrams.	FASE	2009	DBLP DOI BibTeX RDF
6	Piotr Kosiuczenko	On the Implementation of @pre.	FASE	2009	DBLP DOI BibTeX RDF
6	Rajeev Alur	Marrying Words and Trees.	AMAST	2008	DBLP DOI BibTeX RDF
6	Srividya Kona 0001, Ajay Bansal, M. Brian Blake, Gopal Gupta 0001	Generalized Semantics-Based Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
6	Matthias Born, Christian Brelage, Ivan Markovic, Daniel Pfeiffer, Ingo Weber	Auto-completion for Executable Business Process Models.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
6	Alex Talevski, Pornpit Wongthongtham, Surasak Komchaliaw	Towards a software component ontology.	iiWAS	2008	DBLP DOI BibTeX RDF	ontology, software engineering, software component
6	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
6	Yoonsik Cheon, Ashaveena Perumandla	Specifying and checking method call sequences of Java programs.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language
6	Nutchakorn Ngamsaowaros, Peraphon Sophatsathit	A Novel Framework for Test Domain Reduction using Extended Finite State Machine.	ICSEA	2007	DBLP DOI BibTeX RDF
6	Max I. Kanovich, Paul D. Rowe, Andre Scedrov	Collaborative Planning With Privacy.	CSF	2007	DBLP DOI BibTeX RDF
6	Aleksandar Nanevski, Amal Ahmed 0001, Greg Morrisett, Lars Birkedal	Abstract Predicates and Mutable ADTs in Hoare Type Theory.	ESOP	2007	DBLP DOI BibTeX RDF
6	Heath A. James, Kenneth A. Hawick, Chris Scogings	User-friendly scheduling tools for large-scale simulation experiments.	WSC	2007	DBLP DOI BibTeX RDF
6	Rajeev Alur	Marrying Words and Trees.	CSR	2007	DBLP DOI BibTeX RDF
6		Applying Formal Methods to Compositionality Description of Web Service.	ICIW	2007	DBLP DOI BibTeX RDF