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 |