• Suche: Formal Techniques for Java Programs

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 41 - 60 von 1.775

41

Dieses Ergebnis kann Gästen nicht angezeigt werden.

42

Dieses Ergebnis kann Gästen nicht angezeigt werden.

43

Dieses Ergebnis kann Gästen nicht angezeigt werden.

44

On the Need for a Common API for Abstract Domains of Object-Oriented Programs
Amato, Gianluca ; Meo, Maria Chiara ; Scozzari, Francesca
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. :15-17

Konferenz
Zur Merkliste hinzufügen
45

Dieses Ergebnis kann Gästen nicht angezeigt werden.

46

Specification and verification of synchronization with condition variables
de C. Gomes, Pedro ; Gurov, Dilian ; Huisman, Marieke ; et al.
In Science of Computer Programming 1 October 2018 163:174-189

Fachzeitschrift
Zur Merkliste hinzufügen
47

Dieses Ergebnis kann Gästen nicht angezeigt werden.

48

Dieses Ergebnis kann Gästen nicht angezeigt werden.

49

Incrementalizing Polynomial Functors
Böhler, Timon ; Richter, David ; Mezini, Mira
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs. :44-49

Konferenz
Zur Merkliste hinzufügen
50

Dieses Ergebnis kann Gästen nicht angezeigt werden.

51

Formal Techniques for Java-Like Programs.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
Object-Oriented Technology. ECOOP 2006 Workshop Reader. 2007, p53-58. 6p.

Buch
Zur Merkliste hinzufügen
52

Quality Assessment of Mutation Operators Dedicated for C# Programs
Derezinska, A.
2006 Sixth International Conference on Quality Software (QSIC'06) Quality Software, 2006. QSIC 2006. Sixth International Conference on. :227-234 Oct, 2006

Konferenz
Zur Merkliste hinzufügen
53

Test environment using property checking of Java components with exception handling
Xavier, Kleber da Silva

exception handling Java programs Object-oriented testing programas Java testes testing …
Dissertation
Zur Merkliste hinzufügen
54

Generation of Java program properties from test purposes
Hanazumi, Simone

Especificação de program... Formal verification Java Objetivos de teste Program specification Test purposes …
Zur Merkliste hinzufügen
55

Gradual Guarantee for FJ with lambda-Expressions
Ângelo, Pedro ; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola ; et al.
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs. :32-38

Konferenz
Zur Merkliste hinzufügen
56

Generation of Java program properties from test purposes
Simone Hanazumi
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Especificação de program... Java Objetivos de teste Verificação formal Formal verification Program specification …
Dissertation
Zur Merkliste hinzufügen
57

JML and OpenJML for Java 16
Cok, David R.
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. :65-67

Konferenz
Zur Merkliste hinzufügen
58

A Coq-based synthesis of Scala programs which are correct-by-construction
El Bakouny, Youssef ; Crolard, Tristan ; Mezher, Dani
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs. :1-2

Konferenz
Zur Merkliste hinzufügen
59

Points-to Analysis for Context-Oriented JavaScript Programs
Cardenas, Sergio ; Leger, Paul ; Fukuda, Hiroaki ; et al.
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs. :18-24

Konferenz
Zur Merkliste hinzufügen
60

Formal Techniques for Java-Like Programs (FTfJP).
Malenfant, Jacques ; Østvold, Bjarte M. ; Coglio, Alessandro ; et al.
Object-Oriented Technology. ECOOP 2004 Workshop Reader. 2005, p76-83. 8p.

Buch
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter