UB Paderborn / Katalog / Suche / in CDI

Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000, 2000 (TOOLS-PACIFIC2000), p.57-68

2000

Link zum Volltext
IEEE_Xplore

A tool chain for reverse engineering C++ applications

Science of computer programming, 2007-12, Vol.69 (1), p.3-13

2007

Link zum Volltext

Verfügbarkeit prüfen

Quantifying the transition from python 2 to 3: an empirical study of python applications

2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2017, p.314-323

2017

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 313

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(173)
Mit Volltextzugriff
(284)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(146)
Life Sciences & Biomedicine
(96)
Humans
(68)
Female
(42)
Male
(42)
Technology
(37)
Biological And Medical Sciences
(32)
Computer Science
(31)
Middle Aged
(24)
Computer Science, Software Engineering
(23)
Animals
(22)
Aged
(21)
Adult
(19)
Fundamental And Applied Biological Sciences. Psychology
(16)
Medical Sciences
(16)
Physical Sciences
(16)
Risk Factors
(14)
Environmental Sciences & Ecology
(13)
Child
(12)
Engineering
(12)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

An empirical analysis of the transition from Python 2 to Python 3

Formalised EMFTVM bytecode language for sound verification of model transformations

Grammar engineering for multiple front‐ends for Python

Nutrient, carbon, and mass loss during composting of beef cattle feedlot manure

Building Specifications in the Event-B Institution: A Summary

Predicting SMT Solver Performance for Software Verification

Phosphorus- and nitrogen-based manure and compost applications: corn production and soil phosphorus

Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software

An infrastructure to support interoperability in reverse engineering

The Code of Cuenca: Municipal Law on the Twelfth-Century Castilian Frontier

A metrics suite for grammar-based software

Exploiting design patterns to automate validation of class invariants

A Sound Execution Semantics for ATL via Translation Validation: Research Paper

Decorating tokens to facilitate recognition of ambiguous language constructs

An Institution for Event-B

Composted and noncomposted manure application to conventional and no-tillage systems: corn yield and nitrogen uptake

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability

Fractal description of temporal yield variability of 10 crops in the United States

Subsoil characteristics and landscape position affect productivity of reconstructed mine soils

An Early Completion Algorithm: Thue’s 1914 Paper on the Transformation of Symbol Sequences

Agricultural accomplishments and impending concerns

An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software

Symbol table construction and name lookup in ISO C++

A tool chain for reverse engineering C++ applications

Quantifying the transition from python 2 to 3: an empirical study of python applications

Suchergebnisse filtern