Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase design-by-contract (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1992-1999 (25) 2000-2001 (16) 2002-2003 (22) 2004-2005 (37) 2006 (22) 2007-2008 (24) 2009-2010 (16) 2011-2013 (17) 2014-2019 (15) 2020-2023 (14)
Publication types (Num. hits)
article(40) inproceedings(165) phdthesis(3)
Venues (Conferences, Journals, ...)
J. Object Technol.(7) CoRR(6) APSEC(5) SEFM(5) TOOLS (29)(5) FASE(4) TOOLS (34)(4) ACM SIGSOFT Softw. Eng. Notes(3) CBSE(3) Computer(3) EUROMICRO(3) ISSRE(3) SAC(3) TOOLS (26)(3) TOOLS (39)(3) XP(3) More (+10 of total 139)
Authors
Bertrand Meyer 0001(15) Jean-Marc Jézéquel(7) Gregor Engels(6) Heinz W. Schmidt(6) Marc Lohmann(6) Emilio Tuosto(5) Gary T. Leavens(5) Henrique Rebêlo(5) Iman Poernomo(5) Mert Ozkaya(5) Stefan Sauer 0001(5) Yishai A. Feldman(5) Yves Le Traon(5) Benoit Baudry(4) Marieke Huisman(4) Nobuko Yoshida(4) More (+10 of total 379)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 215 occurrences of 145 keywords
Results
Found 208 publication records. Showing 208 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
8Pedro Guerreiro Another Mediocre Assertion Mechanism for C++. Search on Bibsonomy TOOLS (33) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
8Guido Dedene Critical Issues in the Proposed ISO Object-Oriented COBOL 2002 Standard. Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
8Haruhiko Kaiya, Kenji Kaijiri Conducting Requirements Evolution by Replacing Components in the Current System. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
8Richard F. Paige, Jonathan S. Ostroff Developing BON as an Industrial-Strength Formal Method. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
8Jean-Marc Jézéquel Trusted Components. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
8Richard Mitchell Analysis by Contract: UML with Attitude! Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
8Saeed Araban, A. S. M. Sajeev A Two-Level Matching Mechanism for Object-Oriented Class Libraries. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
8Heinz W. Schmidt, Jian Chen Reasoning about Concurrent Objects. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation
Displaying result #201 - #208 of 208 (100 per page; Change: )
Pages: [<<][1][2][3]
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