Search results for "postconditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
12	K. Rustan M. Leino	Specifying and Verifying Programs in Spec#.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
12	Tamás Kozsik	Proving Program Properties Specified with Subtype Marks.	IFL	2006	DBLP DOI BibTeX RDF
12	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean	Formal specification and verification of data separation in a separation kernel for an embedded system.	CCS	2006	DBLP DOI BibTeX RDF	code verification, formal specification, theorem proving, formal model, separation kernel
12	Adam Zachary Wyner	A Functional Program for Agents, Actions, and Deontic Specifications.	DALT	2006	DBLP DOI BibTeX RDF
12	Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee 0001	A logic for information flow in object-oriented programs.	POPL	2006	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
12	Virginia Niculescu	Cost evaluation from specifications for BSP programs.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Ewen Denney, Bernd Fischer 0002	A generic annotation inference algorithm for the safety certification of automatically generated code.	GPCE	2006	DBLP DOI BibTeX RDF	hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
12	Michael Barnett 0001, David A. Naumann, Wolfram Schulte, Qi Sun	Allowing State Changes in Specifications.	ETRICS	2006	DBLP DOI BibTeX RDF
12	Avik Sinha, Amit M. Paradkar	Model-based functional conformance testing of web services operating on persistent data.	TAV-WEB	2006	DBLP DOI BibTeX RDF
12	Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda	A state propagation method for consistency checking of web service function invocations in web applications.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	Web services, semantic Web, Web applications, OWL-S, consistency checking
12	Marcus Alanen, Ivan Porres	Basic Operations over Models Containing Subset and Union Properties.	MoDELS	2006	DBLP DOI BibTeX RDF	subset and derived properties, UML, metamodeling, MOF
12	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	An Automated Approach for Goal-driven, Specification-based Testing.	ASE	2006	DBLP DOI BibTeX RDF
12	Ewen Denney, Bernd Fischer 0002	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).	ASE	2006	DBLP DOI BibTeX RDF
12	Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz	Refactoring with Contracts.	AGILE	2006	DBLP DOI BibTeX RDF
12	Annegret Habel, Karl-Heinz Pennemann, Arend Rensink	Weakest Preconditions for High-Level Programs.	ICGT	2006	DBLP DOI BibTeX RDF
12	Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton	On the Generation of Object Databases using Booster.	ICECCS	2006	DBLP DOI BibTeX RDF
12	Frank Devos, Eric Steegmans	Specifying business rules in object-oriented analysis.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, Object Constraint Language, Business rules, Object-oriented analysis
12	Yishai A. Feldman	Teaching quality object-oriented programming.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	Software quality
12	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
12	Eric C. R. Hehner	Specified Blocks.	VSTTE	2005	DBLP DOI BibTeX RDF
12	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
12	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	How Symbolic Animation Can Help Designing an Efficient Formal Model.	ICFEM	2005	DBLP DOI BibTeX RDF	Symbolic animation, properties detection, weak invariant, strong preconditions, unreachable effects, constraints
12	John Pisokas, Ulrich Nehmzow	Experiments in Subsymbolic Action Planning with Mobile Robots.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
12	Nam Tran II, David Abramson 0001, Christine Mingins	Call-Ordering Constraints.	APSEC	2005	DBLP DOI BibTeX RDF
12	Ralph-Johan Back, Magnus Myreen	Tool Support for Invariant Based Programming.	APSEC	2005	DBLP DOI BibTeX RDF
12	Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001	Decidability and Complexity Results for Timed Automata via Channel Machines.	ICALP	2005	DBLP DOI BibTeX RDF
12	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Symbolic Execution with Separation Logic.	APLAS	2005	DBLP DOI BibTeX RDF
12	Margaret Hilsbos, Il-Yeol Song, Yoo Choi	A Comparative Analysis of Use Case Relationships.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
12	Johan van Benthem, Jan van Eijck, Barteld P. Kooi	Common knowledge in update logics.	TARK	2005	DBLP BibTeX RDF
12	Ewen Denney, Bernd Fischer 0002	Certifiable Program Generation.	GPCE	2005	DBLP DOI BibTeX RDF
12	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
12	Bernhard K. Aichernig, Percy Antonio Pari Salas	Test Case Generation by OCL Mutation and Constraint Solving.	QSIC	2005	DBLP DOI BibTeX RDF
12	Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche	Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.	ICSM	2005	DBLP DOI BibTeX RDF
12	Catherine Oriat	Jartege: A Tool for Random Generation of Unit Tests for Java Classes.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
12	Valdis Vitolins, Audris Kalnins	Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine.	EDOC	2005	DBLP DOI BibTeX RDF
12	Hironori Washizaki, Yuhki Sakai, Yoshiaki Fukazawa	Conditional Test for JavaBeans Components.	XP	2004	DBLP DOI BibTeX RDF
12	Klaus-Dieter Schewe	The Power of Media Types.	WISE	2004	DBLP DOI BibTeX RDF
12	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet	Faster Analysis of Formal Specifications.	ICFEM	2004	DBLP DOI BibTeX RDF
12	Bernd Schoeller, Tobias Widmer, Bertrand Meyer 0001	Making Specifications Complete Through Models.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
12	Ali Hamie	Translating the Object Constraint Language into the Java Modelling Language.	SAC	2004	DBLP DOI BibTeX RDF	UML, constraints, reasoning, OCL, JML
12	Francisco A. C. Pinheiro	Situated Modelling of Scenarios.	COMPSAC	2004	DBLP DOI BibTeX RDF
12	Robert DeLine, Manuel Fähndrich	Typestates for Objects.	ECOOP	2004	DBLP DOI BibTeX RDF
12	Michael Klein, Birgitta König-Ries	Coupled Signature and Specification Matching for Automatic Service Binding.	ECOWS	2004	DBLP DOI BibTeX RDF	Automatic Service Discovery/Invocation, Matching Semantic Service Descriptions, OWL-S
12	Torben Amtoft, Anindya Banerjee 0001	Information Flow Analysis in Logical Form.	SAS	2004	DBLP DOI BibTeX RDF
12	Reiner Hähnle, Wojciech Mostowski	Verification of Safety Properties in the Presence of Transactions.	CASSIS	2004	DBLP DOI BibTeX RDF
12	Hubert Baumeister, Alexander Knapp, Martin Wirsing	Property-Driven Development.	SEFM	2004	DBLP DOI BibTeX RDF
12	Haifeng He, Neelam Gupta	Automated Debugging Using Path-Based Weakest Preconditions.	FASE	2004	DBLP DOI BibTeX RDF	software testing, Fault location, weakest precondition, postcondition
12	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
12	Karine Arnout, Bertrand Meyer 0001	Uncovering Hidden Contracts: The .NET Example.	Computer	2003	DBLP DOI BibTeX RDF
12	Karl Lermer, Colin J. Fidge, Ian J. Hayes	Linear Approximation of Execution-Time Constraints.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction
12	Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer	Towards Automating Source-Consistent UML Refactorings.	UML	2003	DBLP DOI BibTeX RDF
12	Moshe Deutsch, Martin C. Henson	An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.	APSEC	2003	DBLP DOI BibTeX RDF
12	Martín Abadi, K. Rustan M. Leino	A Logic of Object-Oriented Programs.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
12	Cristina Gómez 0001, Antoni Olivé	Evolving Derived Entity Types in Conceptual Schemas in the UML.	OOIS	2003	DBLP DOI BibTeX RDF
12	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness in ProVIDE.	ITiCSE	2003	DBLP DOI BibTeX RDF
12	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
12	Moshe Deutsch, Martin C. Henson	An Analysis of Forward Simulation Data Refinement.	ZB	2003	DBLP DOI BibTeX RDF
12	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
12	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
12	Shaoying Liu	Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols.	AINA	2003	DBLP DOI BibTeX RDF
12	Bernhard Beckert, Peter H. Schmitt	Program Verification Using Change Information.	SEFM	2003	DBLP DOI BibTeX RDF
12	Achim D. Brucker, Burkhart Wolff	HOL-OCL: Experiences, Consequences and Design Choices.	UML	2002	DBLP DOI BibTeX RDF	refinement, OCL, formal semantics, constraint languages
12	Cees-Bart Breunesse, Bart Jacobs 0001, Joachim van den Berg	Specifying and Verifying a Decimal Representation in Java for Smart Cards.	AMAST	2002	DBLP DOI BibTeX RDF
12	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
12	Yoonsik Cheon, Gary T. Leavens	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.	ECOOP	2002	DBLP DOI BibTeX RDF
12	Mark Richters, Martin Gogolla	OCL: Syntax, Semantics, and Tools.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
12	Andy Schürr	A New Type Checking Approach for OCL Version 2.0?	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
12	Rolf Hennicker, Heinrich Hußmann, Michel Bidoit	On the Precise Meaning of OCL Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
12	Stephan Flake, Wolfgang Müller 0003	An OCL Extension for Real-Time Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
12	Shane Sendall, Alfred Strohmeier	Using OCL and UML to Specify System Behavior.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification
12	Falk Fraikin, Thomas Leonhardt	SeDiTeC - Testing Based on Sequence Diagrams.	ASE	2002	DBLP DOI BibTeX RDF
12	Shaoying Liu	A Simulation Approach to Verification and Validation of Formal Specifications.	CW	2002	DBLP DOI BibTeX RDF
12	Andreas Blass, Yuri Gurevich	Inadequacy of computable loop invariants.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants
12	Franck Multon, Stéphane Ménardais, Bruno Arnaldi	Human motion coordination: a juggler as an example.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Motion planification, Virtual human, Motion control, AI techniques, Motion coordination
12	Claus Pahl	Components, Contracts, and Connectors for the Unified Modelling Language UML.	FME	2001	DBLP DOI BibTeX RDF
12	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
12	Markus Stumptner	Using Design Information to Identify Structural Software Faults.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
12	Shane Sendall, Alfred Strohmeier	From Use Cases to System Operation Specifications.	UML	2000	DBLP DOI BibTeX RDF	Operation Specification, Unified Modeling Language, Object Constraint Language, Use Cases, Object-Oriented Software Development
12	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
12	Peter Fröhlich 0001, Johannes Link	Automated Test Case Generation from Dynamic Models.	ECOOP	2000	DBLP DOI BibTeX RDF
12	Marc Shapiro 0001, Antony I. T. Rowstron, Anne-Marie Kermarrec	Application-independent reconciliation for nomadic applications.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
12	Hubert Baumeister, Alexandre V. Zamulin	State-Based Extensions of CASL.	IFM	2000	DBLP DOI BibTeX RDF
12	Pedro Guerreiro	Another Mediocre Assertion Mechanism for C++.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
12	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
12	Kees Huizing, Ruurd Kuiper 0001	Verification of Object Oriented Programs Using Class Invariants.	FASE	2000	DBLP DOI BibTeX RDF
12	Thomas Kleymann	Hoare Logic and Auxiliary Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Adaptation Completeness, Most General Formula, Hoare Logic, VDM, Auxiliary variables
12	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
12	Björn Höfling, Thorsten Liebig, Dietmar F. Rösner, Lars Webel	Towards an Ontology for Substances and Related Actions.	EKAW	1999	DBLP DOI BibTeX RDF
12	David Maley, Ivor T. A. Spence	Emulating Design by Contract in C++.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	C++, Design by Contract, Computational Physics, Standard Template Library
12	Richard Mitchell	Analysis by Contract or UML with Attitude.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
12	Murat Karaorman, Urs Hölzle, John L. Bruno	jContractor: A Reflective Java Library to Support Design by Contract.	Reflection	1999	DBLP DOI BibTeX RDF
12	Paolo A. G. Sivilotti, Charles P. Giles	The specification of distributed objects: liveness and locality.	CASCON	1999	DBLP BibTeX RDF	CORBA
12	Masud Ahmad Malik	Evolution of the High Level Programming Languages: A Critical Perspective.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
12	Raphaël Couturier, Dominique Méry	An Experiment in Parallelizing an Application Using Formal Methods.	CAV	1998	DBLP DOI BibTeX RDF
12	Trevor J. M. Bench-Capon	Specifying the Interaction Between Information Sources.	DEXA	1998	DBLP DOI BibTeX RDF
12	Moshe Y. Vardi	Reasoning about The Past with Two-Way Automata.	ICALP	1998	DBLP DOI BibTeX RDF
12	Richard Banach, Michael Poppleton	Retrenchment: An Engineering Variation on Refinement.	B	1998	DBLP DOI BibTeX RDF
12	Amy Moormann Zaremski, Jeannette M. Wing	Specification Matching of Software Components.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF
12	Martín Abadi, K. Rustan M. Leino	A Logic of Object-Oriented Programs.	TAPSOFT	1997	DBLP DOI BibTeX RDF