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

Treffer 61 - 80 von 294

61

Type safety for feature-oriented product lines.
Apel, Sven ; Kästner, Christian ; Größlinger, Armin ; et al.
Automated Software Engineering; Sep2010, Vol. 17 Issue 3, p251-300, 50p

COMPUTER software safety... COMPUTER software SOFTWARE configuration m... SOURCE code SOFTWARE engineering COMPUTER systems …
Fachzeitschrift
Zu den Favoriten
62

Howzat? Appealing to Expert Judgement for Evaluating Human and AI Next-Step Hints for Novice Programmers
Neil C. C. Brown ; Pierre Weill-Tessier ; Juho Leinonen ; et al.
43

Artificial Intelligence Programming Novices Technology Uses in Educa... Cues Evaluation …
Fachzeitschrift
Zu den Favoriten
63

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code
Stein Krogdahl ; Eyvind W. Axelsen
ACM SIGPLAN Notices. 48:50-59

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
64

Active Code Completion.
Omar, Cyrus ; Yoon, YoungSeok ; LaToza, Thomas D. ; et al.
ICSE: International Conference on Software Engineering; Feb2012, p859-869, 11p

APPLICATION program inte... APPLICATION software WEB-based user interface... WEB browsers COMPUTER software COMPUTER software develo...
Konferenz
Zu den Favoriten
65

Maintaining technical quality of care in the introduction of Cyclofem in a national family planning program: findings from Indonesia.
Lubis F ; Fajans P ; Simmons R
Publisher: Elsevier Country of Publication: United States NLM ID: 0234361 Publication Model: Print Cited Medium: Print ISSN: 0010-7824 (Print) Linking ISSN: 00107824 NLM ISO Abbreviation: Contraception Subsets: MEDLINE

Contraceptives, Oral, Co... Contraceptives, Oral, Co... Contraindications Delayed-Action Preparati... Drug Combinations Estradiol administration... …
Fachzeitschrift
Zu den Favoriten
66

The exploration of attitudes and perspectives of mental health workers on peer support in Singapore.
Chua, Siong Yin ; Himawan, Karel
Discover Mental Health. 1/7/2025, Vol. 5 Issue 1, p1-15. 15p.

SINGAPORE MENTAL health personnel MENTAL health services CONVENIENCE sampling (St... WORK environment PUBLIC health
Fachzeitschrift
Zu den Favoriten
67

Model-checking behavioral programs
Gera Weiss ; Robby Lampert ; Assaf Marron ; et al.
Proceedings of the ninth ACM international conference on Embedded software. :279-288

0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
68

Dieses Ergebnis kann Gästen nicht angezeigt werden.

69

Seismic source analysis of the destructive earthquake November 21, 2022, M w 5.6 Cianjur (Indonesia) from relocated aftershock.
Zulfakriza Z ; Nugraha AD ; Heryandoko N ; et al.
Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE

Fachzeitschrift
Zu den Favoriten
70

IMPLEMENTATION OF FAMILY INVOLVEMENT IN EDUCATION MANAGEMENT IN THE MIDDLE SCHOOL
Lety Suharti
Empowerment, Vol 10, Iss 1, Pp 63-72 (2021)

family, high school Education Education (General) L7-991
Fachzeitschrift
Zu den Favoriten
71

Type-Safe Feature-Oriented Product Lines
Apel, Sven ; Kaestner, Christian ; Groesslinger, Armin ; et al.

Computer Science - Softw... Computer Science - Progr...
Report
Zu den Favoriten
72

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

E-Ressource
Zu den Favoriten
73

Gene structure identification with MyGV using cDNA evidence and protein homologs to improve ab initio predictions.
Zhu W ; Brendel V
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Print ISSN: 1367-4803 (Print) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

Animals Base Sequence Databases, Nucleic Acid Drosophila genetics Genome Internet …
Fachzeitschrift
Zu den Favoriten
74

Methodologies for analysis of patterning in the mouse RPE sheet.
Boatright JH ; Dalal N ; Chrenek MA ; et al.
Publisher: Molecular Vision Country of Publication: United States NLM ID: 9605351 Publication Model: eCollection Cited Medium: Internet ISSN: 1090-0535 (Electronic) Linking ISSN: 10900535 NLM ISO Abbreviation: Mol Vis Subsets: MEDLINE

Animals Biomarkers metabolism Cell Communication Cell Shape Cell Size Eye Proteins genetics …
Fachzeitschrift
Zu den Favoriten
75

Dieses Ergebnis kann Gästen nicht angezeigt werden.

76

Refinement of an automatic generating system for creating Java Applet GUIs ; JavaにおけるGUI画面生成法の改善
西岡,弘明 ; にしおか,ひろあき ; Nishioka,Hiroaki

Applet GUI GUI Automatic generating... GUI自動生成システム... Java Swing
Zu den Favoriten
77

A Quantitative Quality Control Model for Parallel and Distributed Crowdsourcing Tasks
Zhu, Shaojian
195

Electronic Publishing Collaborative Writing Quality Control Models Computation Program Effectiveness …
Dissertation
Zu den Favoriten
78

THE MANAGEMENT DIMENSIONS OF ENTREPRENEURSHIP EDUCATION IN AGRIBUSINESS VOCATIONAL SCHOOL (A CASE STUDY IN SMKN 1 BAWEN AND SMK SPMAN UNGARAN).
Marliyah, Lili
Indonesian Journal of Business & Entrepreunership. May2024, Vol. 10 Issue 2, p272-285. 14p.

AGRICULTURAL economics SOFT skills ECONOMICS education ENTREPRENEURSHIP educati... VOCATIONAL schools
Fachzeitschrift
Zu den Favoriten
79

An algebraic approach to the design of compilers for object-oriented languages
Duran, Adolfo ; Cavalcanti, Ana ; Sampaio, Augusto
Formal Aspects of Computing: Applicable Formal Methods. September 2010 22(5):489-535

Fachzeitschrift
Zu den Favoriten
80

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter