• Suche: A Refinement Method for Java Programs

Treffer 1 - 20 von 23.878

2

Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.
Aparna, K. S. ; Kulkarni, R. N.
Engineering, Technology & Applied Science Research; Feb2026, Vol. 16 Issue 1, p30843-30851, 9p

Fachzeitschrift
Merkliste
4

A refinement method for Java programs
Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang

ddc:004
Fachzeitschrift
Merkliste
5

A Refinement Method for Java Programs
Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang (Prof. Dr.)

Verifikation Abstrakte Zustandsmaschi... ddc:004
Report
Merkliste
6

Formal Development of Java Programs
Giovanna Di Marzo Serugendo ; Nicolas Guelfi ; The Pennsylvania State University CiteSeerX Archives
http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.gz.

Software Engineering Formal Methods Petri Nets Algebraic Specifications Refinement Concurrent and Distribut... …
Fachzeitschrift
Merkliste
7

A Refinement Method for Java Programs.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
Formal Methods for Open Object-Based Distributed Systems (9783540729198). 2007, p221-235. 15p.

Buch
Merkliste
8

A Refinement Method for Java Programs
Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang

Merkliste
9

Developing Java Card Applications with B
Gomes, Bruno Emerson Gurgel ; Moreira, Anamaria Martins ; Déharbe, David
In Electronic Notes in Theoretical Computer Science 12 July 2007 184:81-96

Fachzeitschrift
Merkliste
10

Circus Models for Safety-Critical Java Programs.
Zeyda, Frank ; Lalkhumsanga, Lalkhumsanga ; Cavalcanti, Ana ; et al.
Computer Journal; Jul2014, Vol. 57 Issue 7, p1046-1091, 46p

JAVA programming languag... REAL-time programming EXECUTION traces (Comput... SEQUENTIAL processing (C... COMPUTER simulation
Fachzeitschrift
Merkliste
11

Automata-Based Software Engineering with Event-B.
Shelekhov, V. I.
Programming & Computer Software; Oct2023, Vol. 49 Issue 5, p470-483, 14p

PROGRAMMING languages SOFTWARE engineering TRAFFIC engineering PROGRAM transformation
Fachzeitschrift
Merkliste
13

Linking Event-B and Concurrent Object-Oriented Programs
Edmunds, Andrew ; Butler, Michael
In Electronic Notes in Theoretical Computer Science 28 June 2008 214:159-182

Fachzeitschrift
Merkliste
14

The ThreadRadar visualization for debugging concurrent Java programs.
Moseler, Oliver ; Kreber, Lucas ; Diehl, Stephan
Journal of Visualization; Dec2022, Vol. 25 Issue 6, p1267-1289, 23p

Fachzeitschrift
Merkliste
15

Simflowny 3: An upgraded platform for scientific modeling and simulation
Palenzuela, C. ; Miñano, B. ; Arbona, A. ; et al.
In Computer Physics Communications February 2021 259

Fachzeitschrift
Merkliste
16

Formal Techniques for Java Programs.
Leavens, Gary T. ; Drossopoulou, Sophia ; Eisenbach, Susan ; et al.
Object-oriented Technology (9783540436751); 2002, p30-40, 11p

Buch
Merkliste
17

Dieses Ergebnis kann Gästen nicht angezeigt werden.

18

An environment for evolutionary prototyping Java programs based on abstract interpretation.
Ozaki, H. ; Ban, S. ; Gondow, K. ; et al.
Tenth Asia-Pacific Software Engineering Conference, 2003; 2003, p362-370, 9p

Konferenz
Merkliste
19

Dieses Ergebnis kann Gästen nicht angezeigt werden.

20

Software Quality Assurance Based on Java Modeling Language and Database.
Shukun Liu ; Xiaohua Yang ; Jifeng Chen
International Review on Computers & Software; Nov2011, Vol. 6 Issue 6, p1117-1121, 5p, 3 Black and White Photographs, 2 Diagrams

COMPUTER software qualit... JAVA programming languag... MODELING languages (Comp... PROBLEM solving DYNAMIC programming RELATIONAL databases
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter