The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase pre-/post-conditions (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2007 (20) 2008-2016 (11)
Publication types (Num. hits)
article(3) inproceedings(28)
Venues (Conferences, Journals, ...)
FASE(2) ICSE (2)(2) ICWS(2) ACM Conference on Computer Sci...(1) AMAST(1) Autom. Softw. Eng.(1) CSOC (2)(1) CSR(1) DEXA(1) ECMDA-FA(1) ER Workshops(1) FTDCS(1) GrC(1) HASE(1) Haskell(1) ICECCS(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 47 occurrences of 40 keywords

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