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

Treffer 21 - 40 von 294

21

Hard real-time implementation of embedded software in JAVA
TALPIN, Jean-Pierre ; GARNATIE, Abdoulaye ; BERNER, David ; et al.
Scientific engineering of distributed java applications (Luxembourg - Kirchberg, 27-28 November 2003, revised papers)Lecture notes in computer science. :33-47

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
22

Atomicity Refinement for Verified Compilation
JAGANNATHAN, Suresh ; LAPORTE, Vincent ; PETRI, Gustavo ; et al.
ACM transactions on programming languages and systems. 36(2)

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
23

Refinement-based context-sensitive points-to analysis for Java
SRIDHARAN, Manu ; BODIK, Rastislav
PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, 2006, Ottawa, Ontario, CanadaACM SIGPLAN notices. 41(6):387-400

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
24

Refinement algebra for formal bytecode generation
DURAN, Adolfo ; CAVALCANTI, Ana ; SAMPAIO, Augusto
Formal methods and software engineering (Shanghai, 21-25 October 2002)Lecture notes in computer science. :347-358

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
25

A refinement algebra for object-oriented programming
BORBA, Paulo ; SAMPAIO, Augusto ; CORNELIO, Marcio
ECCOP 2003 : object-oriented programming (Darmstadt, 21-25 July 2003)Lecture notes in computer science. :457-482

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
26

A strategy for compiling classes, inheritance, and dynamic binding
DURAN, Adolfo ; CAVALCANTI, Ana ; SAMPAIO, Augusto
FME 2003 : formal methods (Pisa, 8-14 September 2003)Lecture notes in computer science. :301-320

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
27

Sound refactorings
Cornélio, Márcio ; Cavalcanti, Ana ; Sampaio, Augusto
In Science of Computer Programming 2010 75(3):106-133

Fachzeitschrift
Zu den Favoriten
29

Creating and visualizing test data from programming exercises
IHANTOLA, Petri
Informatics in education. 6(1):81-102

Education Éducation Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
31

Automatic fitting procedures for EPR spectra of disordered systems: Matrix diagonalization and perturbation methods applied to fluorocarbon radicals
Lund, A. ; Andersson, P. ; Eriksson, J. ; et al.
In Spectrochimica Acta Part A: Molecular and Biomolecular Spectroscopy 2008 69(5):1294-1300

Fachzeitschrift
Zu den Favoriten
32

Refactoring Towards a Layered Architecture
Cornélio, Márcio ; Cavalcanti, Ana ; Sampaio, Augusto
ENTCS: Electronic Notes in Theoretical Computer Science. May2005, Vol. 130, p281-300. 20p.

Object-oriented programm... Java programming languag... Object-oriented methods... Object-oriented database...
Zeitschrift
Zu den Favoriten
33

Towards software product-lines: a refinement-oriented generation language
LESAINT, D ; PAPAMARGARITIS, G
iBusiness - putting the intelligence into eBusinessBT technology journal. 21(4):162-172

Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Fachzeitschrift
Zu den Favoriten
34

Proceedings of the Seventh International Conference on Educational Data Mining (EDM) (7th, London, United Kingdom, July 4-7, 2014)
International Educational Data Mining Society ; Stamper, John ; Pardos, Zachary ; et al.
485

Information Retrieval Data Processing Data Analysis Data Collection Educational Research Online Courses …
Konferenz
Zu den Favoriten
35

Lightweight object specification with typestates
BIERHOFF, Kevin ; ALDRICH, Jonathan
ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)). :217-226

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
36

VYRD : Verifying concurrent programs by runtime refinement-violation detection
ELMAS, Tayfun ; TASIRAN, Serdar ; QADEER, Shaz
Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05ACM SIGPLAN notices. 40(6):27-37

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
37

Combining formal and machine learning techniques for the generation of JML specifications
Puccetti, Armand ; de Chalendar, Gaël ; Gibello, Pierre-Yves ; et al.
FTfJP '21 - 23rd International Workshop on Formal Techniques for Java-like Programs. :59-64

Aarhus, Denmark [INFO.INFO-FL]Computer S... Formal Languages and Aut... [INFO.INFO-NE]Computer S... Neural and Evolutionary... [INFO.INFO-SC]Computer S... …
Konferenz
Zu den Favoriten
38

Role of Radioiodine in Cancer Therapy: A Review of the Design and Challenges in Selecting Radioligands from Natural Sources
Fakih TM ; Novitasari D ; Syaifudin M ; et al.
Drug Design, Development and Therapy, Vol 19, Iss Issue 1, Pp 8009-8039 (2025)

Radioiodine isotopes Natural radiopharmaceuti... Cancer treatment Diagnostic imaging Future radioactive desig... Therapeutics. Pharmacolo... …
Fachzeitschrift
Zu den Favoriten
39

An Integrated Framework for Web Services Orchestration.
Saab, C. Boutrous ; Coulibaly, D. ; Haddad, S. ; et al.
International Journal of Web Services Research. Oct-Dec2009, Vol. 6 Issue 4, p1-29. 29p.

Web services Semantics Internetworking Java programming languag... BPEL (Computer program l... Unified modeling languag...
Fachzeitschrift
Zu den Favoriten
40

Abstraction Refinement Guided by a Learnt Probabilistic Model
Grigore, Radu ; Yang, Hongseok

Computer Science - Progr... Computer Science - Softw... D.2.4
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter