Cited in
(only showing first 100 items - show all)- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- JMLUnit: the next generation
- Gmat. A software tool for the computation of the rovibrational \(G\) matrix
- A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works
- A CSP model of Eiffel's SCOOP
- Dafny
- Elkhound
- Gmat
- HasCasl
- JMLUnit
- JCML: A specification language for the runtime verification of Java card programs
- OSIPE
- PlaNet
- COBOL
- DrScheme
- Modula
- ET++
- ParoC++
- jContractor
- Virginity
- Ada95
- Smalltalk
- TAXYS
- ArcAngel
- Design/CPN
- Uppaal2k
- LARCH
- SCOOP
- PROCOL
- ANTLR
- BETA
- KRAKATOA
- CLOS
- CCSL
- POOL
- SPARK
- TCOZ
- VIATRA2
- Visual C#
- ACSL
- Daikon
- AspectJ
- eSkel
- JML
- Omnibus
- SYROCO
- Valgrind
- Spec#
- Miranda
- Rascal
- Ivor
- OCaml
- JCML
- CUMULVS
- CrocoPat
- ESC/Java
- LISP
- Scala
- JUnit
- SANTE
- Rostra
- VCC
- visualSTATE
- Boogie
- Chalice
- Polar
- Commonloops
- Qscope
- Alfalfa
- Camlflow
- Creol
- iTasks
- Multilisp
- YAFOOL
- Squeak
- AoPA
- K-Maude
- iJulienne
- JPAX
- Sumatra
- Anima
- Viptos
- KeY
- Cecil
- KIV
- InvA
- LOOP
- CodeQuest
- Web-TLR
- Z
- jPET
- JCrasher
- Fortress
- Traffic 4
- ModuRes
- CSPsim
- Clousot
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- scientific article; zbMATH DE number 2089386 (Why is no real title available?)
- OSIPE - a tool for scientific programming in FORTRAN
This page was built for software: Eiffel