• Suche: "Java collection"

Treffer 1 - 20 von 20

1

jStanley: placing a green thumb on Java collections
Pereira, Rui ; Simão, Pedro ; Cunha, Jácome ; et al.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. :856-859

Konferenz
Zur Merkliste hinzufügen
2

Integrating ADTs in KeY and their application to history-based reasoning about collection
Jinting Bian ; Hans-Dieter A. Hiep ; Frank S. de Boer ; et al.
Bian, J, Hiep, H D A, de Boer, F S & de Gouw, S 2023, 'Integrating ADTs in KeY and their application to history-based reasoning about collection', Formal Methods in System Design, vol. 61, no. 1, pp. 63-89. https://doi.org/10.1007/s10703-023-00426-x

Formal verification Program correctness Theorem proving (automat... KeY Abstract data types JML …
Fachzeitschrift
Zur Merkliste hinzufügen
3

Full application of the extract interface refactoring: conceptual structures in the hands of master students
Huchard, Marianne
Proceedings of the 1st International Workshop on Software Refactoring. :33-40

Konferenz
Zur Merkliste hinzufügen
4

Runtime Invocation Analysis of API Objects in Large Code Base
Khan, Majid Ali ; Muhammad, Shahabuddin ; Muhammad, Tufail
2013 International Conference on Computer Sciences and Applications Computer Sciences and Applications (CSA), 2013 International Conference on. :463-468 Dec, 2013

Konferenz
Zur Merkliste hinzufügen
5

Integrating ADTs in KeY and Their Application to History-Based Reasoning
Bian, Jinting ; Hiep, Hans-Dieter A. ; de Boer, Frank S. ; et al.
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. 13047:255-272

E-Book
Zur Merkliste hinzufügen
6

Axiom Based Testing for Fun and Pedagogy
Haveraaen, Magne ; Filipe, Joaquim, Editorial Board Member ; Ghosh, Ashish, Editorial Board Member ; et al.
Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers. 1301:27-57

E-Book
Zur Merkliste hinzufügen
7

Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files
Jinting Bian ; orcid:0000-0001-9677- ; Hans-Dieter A. Hiep ; et al.

Formal methods abstract data type program correctness Java Collection Framewor... KeY
E-Ressource
Zur Merkliste hinzufügen
8

Reasoning about object-oriented programs: from classes to interfaces
Bian, J. ; Boer, F.S. de ; Bonsangue, M.M. ; et al.

Formal verification Object-oriented programs Java collection framewor... Program correctness History-based reasoning Class and interface spec... …
Dissertation
Zur Merkliste hinzufügen
9

Java4020: What is a Collection
R.G. (Dick) Baldwin

Java Collections Framewo... Java collection interfaces data structures concrete implementations
Zur Merkliste hinzufügen
10

Java4020r Review
R.G. (Dick) Baldwin

Java Collections Framewo... Java collection interfaces data structures concrete implementations
Zur Merkliste hinzufügen
11

Testování výkonnosti Java kolekcí na vícejádrových systémech ; Java Collections Performance Testing on Multicore Systems
Husar, Martin ; Letko, Zdeněk ; Müller, Petr

Java kolekce Java Collection Framewor... ArrayList LinkedList HashMap TreeMap …
Dissertation
Zur Merkliste hinzufügen
12

Dieses Ergebnis kann Gästen nicht angezeigt werden.

13

Integrating ADTs in KeY and their application to history-based reasoning about collection
Bian, J. (Jinting) ; Hiep, H.A. (Hans-Dieter) ; Boer, F.S. (Frank) de ; et al.
Formal Methods in System Design

E-Ressource
Zur Merkliste hinzufügen
14

Integrating ADTs in KeY and their application to history-based reasoning
Bian, J. (Jinting) ; Hiep, H.A. (Hans-Dieter) ; Boer, F.S. (Frank) de ; et al.

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

Filter