Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: A Refinement Method for Java Programs

Treffer 141 - 160 von 294

141

WP Semantics and Behavioral Subtyping
Quan Long ; Yijing Liu ; Zongyan Qiu
Lecture Notes in Computer Science ISBN: 9783642232824

Buch
Zu den Favoriten
142

METODOLOGI AREA FRAME UNTUK PENGUKURAN PRODUKTIVITAS PADI DI KABUPATEN GARUT
Mohammad Chafid
Informatika Pertanian. 24:39

2. Zero hunger 15. Life on land
Fachzeitschrift
Zu den Favoriten
143

Object Oriented Finite Element Analysis for Structural Optimization using p-Elements
Baitsch, Matthias ; Hartmann, Dietrich

Finite-Elemente-Methode Konzipieren 0211 other engineering a... 02 engineering and techn... Bauwerk
Fachzeitschrift
Zu den Favoriten
144

Detecting inefficiently-used containers to avoid bloat
Xu, Guoqing ; Rountev, Atanas
ACM SIGPLAN Notices ; volume 45, issue 6, page 160-173 ; ISSN 0362-1340 1558-1160

Fachzeitschrift
Zu den Favoriten
145

IMPLEMENTASI STANDAR ISI DALAM KURIKULUM 2013 DI SEKOLAH DASAR
Isnaini Wulandari ; Ndaru Mukti Oktaviani
Jurnal PAJAR (Pendidikan dan Pengajaran), Vol 3, Iss 6, Pp 1289-1296 (2019)

0508 media and communica... 4. Education 05 social sciences content standards, curri... Theory and practice of e... LB5-3640
Fachzeitschrift
Zu den Favoriten
146

Verifiable compilation of I/O automata without global synchronization ; Verifiable compilation of input-output automata without global synchronization
Tauber, Joshua A. (Joshua Allen) ; Nancy A. Lynch. ; Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

Electrical Engineering a...
Dissertation
Zu den Favoriten
147

Desugaring JML Method Specifications
Arun D. Raghavan ; Gary T. Leavens ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.cs.iastate.edu/pub/techreports/TR00-03/TR.ps.gz

Behavioral interface spe... formal specification desugaring semantics specification inheritanc... refinement …
Fachzeitschrift
Zu den Favoriten
148

Modular verification of higher-order methods with mandatory calls specified by model programs
Shaner, Steve ; Computer Science
archive/lib.dr.iastate.edu/cs_techreports/312/TR.pdf|||Fri Jan 14 23:31:35 UTC 2022

Programming Languages an... Model program verification specification languages grey-box approach higher order method …
Fachzeitschrift
Zu den Favoriten
149

Desugaring JML Method Specifications
Raghavan, Arun ; Leavens, Gary ; Computer Science
archive/lib.dr.iastate.edu/cs_techreports/345/TR.pdf|||Fri Jan 14 23:42:15 UTC 2022

Software Engineering Theory and Algorithms Behavioral interface spe... formal specification desugaring semantics …
Fachzeitschrift
Zu den Favoriten
150

Automatically fixing dependency breaking changes
Fruntke, Lukas ; Krinke, Jens
In: Proceedings of 47th Conference on Software Engineering. ACM (Association for Computing Machinery): Ottawa, Canada. (2025) (In press).

Automated program repair dependency management
Report
Zu den Favoriten
151

A Small Extension to Java for Class Refinement
Muga Nishizawa ; The Pennsylvania State University CiteSeerX Archives
http://www.csg.is.titech.ac.jp/paper/muga-oops-sac2008.pdf.

Class refinement Programming transformati...
Fachzeitschrift
Zu den Favoriten
152

Design of a JML Documentation Generator
Arun David Raghavan ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz

1999 CR Categories D.2.1 [Software Engineer... tools JML D.2.2 [Software Engineer... software libraries …
Fachzeitschrift
Zu den Favoriten
153

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
Gomes, Bruno Emerson Gurgel ; Moreira, Anamaria Martins ; http://lattes.cnpq.br/7812661521592212 ; et al.

Java Card Métodos formais Método B Geração de código Formal methods B method …
Dissertation
Zu den Favoriten
154

Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Lanzinger, Florian ; Weigl, Alexander ; Ulbrich, Mattias ; et al.
Proceedings of the ACM on programming languages, 5 (OOPSLA), Article no: 143 ; ISSN: 2475-1421

Pluggable type systems Deductive verification Refinement types ddc:004 DATA processing & comput... info:eu-repo/classificat...
Fachzeitschrift
Zu den Favoriten
155

Certifying an Embedded Remote Method Invocation Protocol ABSTRACT
The Pennsylvania State University CiteSeerX Archives
http://ssrg.nicta.com.au/publications/papers/Andronick_N_08.pdf.

Categories and Subject D... Software/Program Verific... Correctness proofs Keywo... Security and functional... Embedded software Common Criteria …
Fachzeitschrift
Zu den Favoriten
156

Development of Flipbook Media Incorporating Responsibility Values for Elementary School Students
Rahmawati, Ira ; Elan, Elan ; Saputra, Erwin Rahayu ; et al.
Jurnal Kependidikan: Jurnal Hasil Penelitian dan Kajian Kepustakaan di Bidang Pendidikan, Pengajaran dan Pembelajaran; Vol 11, No 2 (2025): June; 910-920 ; 2442-7667

Learning Media Flipbook Responsible Character
Fachzeitschrift
Zu den Favoriten
157

Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs
Leavens, Gary T. ; Naumann, David A.
Computer Science Technical Reports

Behavioral subtyping modular reasoning object-oriented programm... recursive types denotational semantics functional specification …
Fachzeitschrift
Zu den Favoriten
158

Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs
Leavens, Gary ; Naumann, David ; Computer Science
archive/lib.dr.iastate.edu/cs_techreports/354/TR.pdf|||Fri Jan 14 23:45:03 UTC 2022

Software Engineering Theory and Algorithms Behavioral subtyping modular reasoning object-oriented programm... recursive types …
Fachzeitschrift
Zu den Favoriten
159

Formal Derivation of State-Rich Reactive Programs using Circus
Marcel Vinícius ; Medeiros Oliveira ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.york.ac.uk/ftpdir/reports/YCST-2006-02.pdf.

Contents
Fachzeitschrift
Zu den Favoriten
160

Verified compilation of Concurrent Managed Languages
Jagannathan,Suresh ; Vitek,Jan ; Purdue University West Lafayette United States

Computer Programming and... COMPUTER PROGRAM VERIFIC... methodology PROGRAMMING LANGUAGES reasoning Program verification …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter