Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/MDP-Algorithms/document/   (Sammlung formaler Beweise Version 2026-5©) image not shown  

Quelle  root.bib

  Sprache: Latech
 

@standard{OCL24,
  author = {{Object Management Group}},
   ={Object Constraint Language OCL.Version.},
  note = {\url{http://www.omg  month= jan,
   =,
  year = 2014
java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 1

@article{Featherweight_OCL-AFP,
  author  = {Achim Dbiburl= https/dblporgrec/ib///Willink15
title={ {} A Proposalfor  -CheckedFormalSemantics OCL 2.}
  journal = {Archive
  month=jan,
       { D. Bruckerand
                Egeaand
            Formal proof development},
  ISSN    = {2150-914x},
}

@inproceedings{DBLP:conf/models/Willink15,
  author    = {Edward D. Willink},
  title     = {Safe Navigation in {OCL}},
  booktitle = {Proceedings of the 15th International WorkshopMartin and
               Modeling co-located with 18th               {'d}ricTuong},
EngineeringLanguages   ( 2015,, , September
               282015.},
  pages     = {81--88}                co- with thInternationalConferenceonModel java.lang.StringIndexOutOfBoundsException: Index 85 out of bounds for length 85
  year      = {      ={CEUR}  Proceedings,
publisher CEURWSorg,
       http/-./-512paper07pdfjava.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
 , 1628:+200,
  biburl    = {https=Mon30May ::+}java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
  bibsource ={dblpcomputer  bibliography,https:dblp}
}

@proceedings{DBLP:conf/models/2015ocl,
  editor    = {Achim D. Brucker and
               Marina Egea and
               Martin Gogolla and
               Fr{\'{e}}d{\'{e}}ric Tuong},
  title     = {Proceedings of the 15th International Workshop on {OCL} and Textual
               Modeling co-located with 18th International Conference on Model Driven
               Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
               282015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1512},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1512},
  urn       = {urn:nbn:de:0074-1512-6},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2015ocl},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Messung V0.5 in Prozent
C=90 H=98 G=94

¤ Dauer der Verarbeitung: 0.2 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.