MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Assertions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 59,638 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Assertion with Aspect  
  • by Takashi Ishio Toshihiro, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue — 2004 — in: International Workshop on Software Engineering Properties for Aspect Technologies (SPLAT2004
  • …Assertion with Aspect Takashi Ishio † , Toshihiro Kamiya ‡ , Shinji Kusumoto † , Katsuro Inoue…
  • Add To MetaCart
  • Reasoning with Assertions  
  • by Examples Manfred Kerber, Manfred Kerber, Erica Melis, Jorg H. Siekmann
  • …Reasoning with Assertions And Examples Manfred Kerber i Erica Melis ii Jorg H. Siekmann iii…
  • Add To MetaCart
  • Assertional Verification of  
  • by Timer-Based Protocol Ruu-Cs-, Gerard Tel — 1987
  • …Assertional Verification of a Timer-based Protocol Gerard Tel RUU-CS-87-15 September 1987…
  • Add To MetaCart
  • Effective use of Assertions in C++  
  • by Mike Marin
  • …, Rensselaer Polytechnic Institute, Troy, NY 12180; wiseb@(email omitted); Effective use of Assertions in C++ Mike A…
  • Add To MetaCart
  • Distributed Assertion Retrieval  
  • by Christoph Benzmüller, Andreas Meier, Volker Sorge, Fachbereich Informatik — 2001
  • …Distributed Assertion Retrieval Christoph Benzmuller, Andreas Meier and Volker Sorge Fachbereich…
  • Cited by 3 (1 self) – Add To MetaCart
  • Assertions Are Objects Too!  
  • by Philippe Collet, Roger Rousseau — 1996
  • …Assertions are objects too! Philippe Collet & Roger Rousseau UNSA (University of Nice Sophia…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB