MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Spezifikation" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 149 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Universität Augsburg Integration formaler Spezifikation und  
  • by W. Reif, G. Schellhorn, A. Thums, W. Reif, G. Schellhorn, A. Thums, Universität Augsburg, W. Reif, G. Schellhorn, A. Thums
  • …Universität Augsburg Integration formaler Spezifikation und Sicherheitsanalyse W. Reif, G…
  • Add To MetaCart
  • Birte Glimm A Query Language for Web Ontologies  
  • by Im Studiengang Informatik, Am Fachbereich Elektrotechnik Und Informatik, Birte Glimm, Thema Der Bachelorarbeit, Birte Glimm
  • … Language (DQL) Abstract Specification. Im April 2003 folgte eine Revision der Spezifikation. Diese Arbeit…
  • Add To MetaCart
  • Verified Java Bytecode Verification  
  • by Technische Universität München, Technische Universität München, Gerwin Klein, Gerwin Klein, Vorsitzender Univ. -prof, Dr. Alois Knoll, Technische Hochschule — 2003 — PhD thesis, Institut für Informatik, Technische Universität München
  • … Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass…
  • Cited by 13 (5 self) – Add To MetaCart
  • Supplementing Statecharts with Z  
  • by Robert Bussow — 1995
  • … Diese Arbeit stellt eine Methode und einen formalen Apparat f ur die Spezifikation eingebetteter…
  • Add To MetaCart
  • Publication List  
  • by U. Nitsche, P. Ochsenschlager, Zwischenbericht Gmd-/telekom-projekts Formale
  • … Spezifikations- und Verifikationsmethoden zur Behandlung der Service-InteractionProblematik -- SERVINT…
  • Add To MetaCart
  • Complete References April 1984 - February 1998  
  • by Guido Wirtz, In Allen, L. Ambler, Takayuki D. Kimura, Proc Int, Symp Visual Programming — 1998
  • …] Guido Wirtz and Hans P. Zima. Spezifikation numerischer Software fur parallele Superrechner. In A…
  • Add To MetaCart
  • Lexicalization and Grammar Development  
  • by Srinivas Egedi Doran, B. Srinivas, D. Egedi, C. Doran, T. Becker — 1994 — In Proceedings of KONVENS '94
  • … Spezifikation von Grammatiken fur naturliche Sprachen. Wir stellen feature-basierte, lexikalisierte Tree…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB