Search results for "postconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Juan Bicarregui, Brian Ritchie	Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
65	Juan Bicarregui, Brian Ritchie	Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations.	FME	1993	DBLP DOI BibTeX RDF
65	Daniel F. Gieskens, James D. Foley	Controlling User Interface Objects Through Pre- and Postconditions.	CHI	1992	DBLP DOI BibTeX RDF	prototyping, predicates, user interface tools
48	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
48	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
41	Fabian Büttner, Martin Gogolla	Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.	ICGT	2006	DBLP DOI BibTeX RDF
41	Martin R. Frank, J. J. de Graaff, Daniel F. Gieskens, James D. Foley	Building User Interfaces Interactively Using Pre- and Postconditions.	CHI	1992	DBLP DOI BibTeX RDF	dialogue sequencing, user interface management systems, graphical user interface builders
36	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
36	Anneke Kleppe, Jos Warmer	The Semantics of the OCL Action Clause.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
36	Anneke Kleppe, Jos Warmer	Extending OCL to include Actions.	UML	2000	DBLP DOI BibTeX RDF	UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
36	Ian J. Hayes	Reasoning about real-time programs using idle-invariant assertions.	APSEC	2000	DBLP DOI BibTeX RDF	real-time program reasoning, idle-invariant assertions, software engineering, real-time systems, preconditions, formal logic, Hoare logic, postconditions
36	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
36	Yu Wang	A Distributed Specification Model and Its Prototyping.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed specification model, execution scheme, high-level state-transition language, SXL, software engineering, software engineering, complexity, prototyping, distributed processing, finite-state machine, specification languages, finite automata, high level languages, preconditions, switching systems, Boolean expressions, postconditions
28	Côme Neyrand, Sophie Pinchinat	On the Role of Postconditions in Dynamic First-Order Epistemic Logic.	CoRR	2022	DBLP DOI BibTeX RDF
28	Michele Boreale	Automatic pre- and postconditions for partial differential equations.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
28	Rin Takano, Hiroyuki Oyama, Yuki Taya	Robot Skill Learning with Identification of Preconditions and Postconditions via Level Set Estimation.	IROS	2022	DBLP DOI BibTeX RDF
28	Jean-Christophe Filliâtre, Clément Pascutto	Optimizing Prestate Copies in Runtime Verification of Function Postconditions.	RV	2022	DBLP DOI BibTeX RDF
28	Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias	EvoSpex: An Evolutionary Algorithm for Learning Postconditions.	CoRR	2021	DBLP BibTeX RDF
28	Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias	EvoSpex: An Evolutionary Algorithm for Learning Postconditions.	ICSE	2021	DBLP DOI BibTeX RDF
28	Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias	EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
28	Michele Boreale	Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
28	Michele Boreale	Automatic Pre- and Postconditions for Partial Differential Equations.	QEST	2020	DBLP DOI BibTeX RDF
28	Nisha Desai 0001, Martin Gogolla	Developing Comprehensive Postconditions Through a Model Transformation Chain.	J. Object Technol.	2019	DBLP DOI BibTeX RDF
28	John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok	An algorithm and tool to infer practical postconditions.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
28	Michele Boreale	Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S.	SOFSEM	2018	DBLP DOI BibTeX RDF
28	Mario R. F. Benevides, Isaque Lima 0001	Action Models with Postconditions.	Computación y Sistemas	2017	DBLP DOI BibTeX RDF
28	Michele Boreale	Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's.	CoRR	2017	DBLP BibTeX RDF
28	Toufik Benouhiba, Amina Boudjedir	On using pre and postconditions to tackle the aspect scheduling problem by rewriting systems: a design-level approach.	J. Object Technol.	2014	DBLP DOI BibTeX RDF
28	Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner	Extending Floyd-Hoare Logic for Partial Pre- and Postconditions.	ICTERI (Revised Selected Papers)	2013	DBLP DOI BibTeX RDF
28	Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001	Computing Preconditions and Postconditions of While Loops.	ICTAC	2011	DBLP DOI BibTeX RDF
28	Carlo A. Furia, Bertrand Meyer 0001	Inferring Loop Invariants Using Postconditions.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
28	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
28	Carlo A. Furia, Bertrand Meyer 0001	Inferring Loop Invariants using Postconditions	CoRR	2009	DBLP BibTeX RDF
28	Peter Bartalos, Mária Bieliková	Fast and Scalable Semantic Web Service Composition Approach Considering Complex Pre/Postconditions.	SERVICES I	2009	DBLP DOI BibTeX RDF
28	Corneliu Popeea, Wei-Ngan Chin	Inferring Disjunctive Postconditions.	ASIAN	2006	DBLP DOI BibTeX RDF
28	Frank van Harmelen, Annette ten Teije	Characterising approximate problem solving: by partially fulfilled pre- and postconditions.	EUROVAV	1998	DBLP BibTeX RDF
28	Si Pan, R. Geoff Dromey	Using Strongest Postconditions to Improve Software Quality.	Software Quality and Productivity	1994	DBLP BibTeX RDF
28	Jianxin Li	Transforming Postconditions To Aid Program Development.	SEKE	1993	DBLP BibTeX RDF
28	Michael Morreau	Actions with Preconditions and Postconditions.	Nonclassical Logics and Information Processing	1990	DBLP DOI BibTeX RDF
24	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
24	Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001	Validation of requirement models by automatic prototyping.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	UML, Prototype, Code generation, OCL, Requirement validation
24	Thorsten van Ellen, Wilhelm Hasselbring	Extended exceptions for contingencies and their implications for the engineering process.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	forward recovery, resumption, reliability, exception, contingency
24	Duc-Hanh Dang, Martin Gogolla	On Integrating OCL and Triple Graph Grammars.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
24	Till Mossakowski, Lutz Schröder, Sergey Goncharov 0001	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.	FASE	2008	DBLP DOI BibTeX RDF
24	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
24	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani	A Logic of Reachable Patterns in Linked Data-Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
24	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
24	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
24	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
24	Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard	Crosscutting techniques in program specification and analysis.	AOSD	2005	DBLP DOI BibTeX RDF	aspect-oriented programming, program verification, crosscutting concerns, static analysis tools
24	Martin Gogolla, Mark Richters	Development of UML Descriptions with USE.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
24	Ali Hamie	Enhancing the Object Constraint Language for More Expressive Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	modeling, UML, specification, constraints, OCL
24	Richard Mitchell	Analysis by Contract: UML with Attitude!	TOOLS (29)	1999	DBLP DOI BibTeX RDF
24	Richard Mitchell, James McKim	Extending a Method of Devising Software Contracts.	TOOLS (32)	1999	DBLP DOI BibTeX RDF
24	Gary T. Leavens, Jeannette M. Wing	Protective Interface Specifications.	TAPSOFT	1997	DBLP DOI BibTeX RDF
24	Udo W. Lipeck	Stepwise Specification of Dynamic Database Behaviour.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
23	John Eberhard, Anand Tripathi	Semantics-Based Object Caching in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, logics and meanings of programs, components, programming languages, distributed objects, containers, theory of computation, Pre and postconditions, software/software engineering, language constructs and features
23	Yoonsik Cheon, Carmen Avila	Automating Java Program Testing Using OCL and AspectJ.	ITNG	2010	DBLP DOI BibTeX RDF	random testing, Object Constraint Language, AspectJ, pre and postconditions, runtime assertion checking
23	Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo	An Aspect-Based Approach to Checking Design Constraints at Run-Time.	ITNG	2009	DBLP DOI BibTeX RDF	class invariants, Object Constraint Language, AspectJ, pre and postconditions, runtime checking
23	Myoung Kim, Yoonsik Cheon	A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.	ICST	2008	DBLP DOI BibTeX RDF	genetic algorithms, object-oriented programming, test data generator, fitness function, evolutionary testing, pre and postconditions, JML language
23	William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan	Modular Software Design with Crosscutting Interfaces.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	preconditions, aspect-oriented, postconditions
23	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
23	Anneke Kleppe, Jos Warmer	Making UML Activity Diagrams Object-Oriented.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams
12	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
12	Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine	Structuring the verification of heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
12	Ming-Yee Iu, Willy Zwaenepoel	HadoopToSQL: a mapReduce query optimizer.	EuroSys	2010	DBLP DOI BibTeX RDF	sql, query optimization, mapreduce, symbolic execution
12	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
12	Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster	VS3: SMT Solvers for Program Verification.	CAV	2009	DBLP DOI BibTeX RDF
12	Frédéric Pluquet, Stefan Langerman, Roel Wuyts	Executing code in the past: efficient in-memory object graph versioning.	OOPSLA	2009	DBLP DOI BibTeX RDF	object-oriented programming, language design, object versioning
12	Clément Hurlin	Specifying and checking protocols of multithreaded classes.	SAC	2009	DBLP DOI BibTeX RDF	protocols, object-orientation, multithreading, design by contract
12	Chris Hawblitzel, Erez Petrank	Automated verification of practical garbage collectors.	POPL	2009	DBLP DOI BibTeX RDF	verification, garbage collection
12	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
12	K. Rustan M. Leino, Peter Müller 0001	A Basis for Verifying Multi-threaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
12	Jan Smans, Bart Jacobs 0002, Frank Piessens	Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.	ECOOP	2009	DBLP DOI BibTeX RDF
12	Martin Gogolla, Mirco Kuhlmann, Lars Hamann	Consistency, Independence and Consequences in UML and OCL Models.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
12	Sebastian S. Bauer, Rolf Hennicker	Views on Behaviour Protocols and Their Semantic Foundation.	CALCO	2009	DBLP DOI BibTeX RDF
12	Kathryn E. Gray, Alan Mycroft	Logical Testing.	FASE	2009	DBLP DOI BibTeX RDF
12	Mirco Kuhlmann, Martin Gogolla	Modeling and validating Mondex scenarios described in UML and OCL with USE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF
12	Florian Marquardt, Adelinde M. Uhrmacher	Evaluating AI planning for service composition in smart environments.	MUM	2008	DBLP DOI BibTeX RDF	service composition, smart environments, AI planning
12	Yogesh Singh, Anju Saha	Enhancing Data Flow Testing of Classes through Design by Contract.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	design by contract, object oriented testing, data flow testing
12	M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder 0001	Service Specification and Matchmaking Using Description Logic.	AMAST	2008	DBLP DOI BibTeX RDF
12	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
12	Keith Irwin, Ting Yu 0001, William H. Winsborough	Avoiding information leakage in security-policy-aware planning.	WPES	2008	DBLP DOI BibTeX RDF	scheduling, policy, obligations
12	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
12	Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai	Contract-Based Verification for Aspect-Oriented Refactoring.	ICST	2008	DBLP DOI BibTeX RDF	Verification, AOP, Refactoring, Contract
12	Hannes Kegel, Friedrich Steimann	Systematically refactoring inheritance to delegation in java.	ICSE	2008	DBLP DOI BibTeX RDF	open recursion, evaluation, design, refactoring, inheritance, delegation, forwarding
12	Shaoying Liu	Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.	HASE	2007	DBLP DOI BibTeX RDF
12	Martin Gogolla, Fabian Büttner, Duc-Hanh Dang	From Graph Transformation to OCL Using USE.	AGTIVE	2007	DBLP DOI BibTeX RDF
12	Patrice Godefroid	Compositional dynamic test generation.	POPL	2007	DBLP DOI BibTeX RDF	compositional program analysis, scalability, software testing, program verification, automatic test generation
12	Denis Hatebur, Maritta Heisel, Holger Schmidt 0001	A Pattern System for Security Requirements Engineering.	ARES	2007	DBLP DOI BibTeX RDF
12	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF
12	Oleg Mürk, Daniel Larsson, Reiner Hähnle	KeY-C: A Tool for Verification of C Programs.	CADE	2007	DBLP DOI BibTeX RDF
12	Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.	TAP	2007	DBLP DOI BibTeX RDF
12	Ralph-Johan Back, Johannes Eriksson, Magnus Myreen	Testing and Verifying Invariant Based Programs in the SOCOS Environment.	TAP	2007	DBLP DOI BibTeX RDF	Invariant based programming, static program verification, state charts, verification conditions
12	Alessandra Cavarra, James Welch	Behavioural Specifications from Class Models.	IFM	2007	DBLP DOI BibTeX RDF
12	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
12	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
12	Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel	Design by Contract to Improve Software Vigilance.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	programming by contract, metrics, diagnostics, Object-oriented design methods
12	Anna Queralt, Ernest Teniente	Specifying the Semantics of Operation Contracts in Conceptual Modeling.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
12	Moshe Deutsch, Martin C. Henson	An analysis of refinement in an abortive paradigm.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Operation-refinement, Specification language, Data-refinement, Specification logic