TOOLS - Technology of Object-Oriented Languages and Systems

Subscribe

Academic

TOOLS - Technology of Object-Oriented Languages and Systems

TOOLS - Technology of Object-Oriented Languages and Systems

Publications: 1,427| Citation Count: 6,394 (Self-Citation: 145) |H-Index: 30
Year Range: 1989-2011

Interests: Software Engineering, Programming Languages

Paper submissions due: 13 January 2012, Duration: 29 - 31 May 2012, Prague, Czech Republic

Homepage |

CFP

Cumulative Annual

Order by:

Publications (1427)

Extensive Validation of OCL Models by Integrating SAT Solving into USE

Mirco Kuhlmann, Lars Hamann, Martin Gogolla

Conference: Technology of Object-Oriented Languages and Systems - TOOLS , 2011
Deep Meta-modelling with MetaDepth (Citations: 3)

Juan de Lara, Esther Guerra

Conference: Technology of Object-Oriented Languages and Systems - TOOLS , pp. 1-20, 2010
Reasoning about Function Objects (Citations: 5)

Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen

Conference: Technology of Object-Oriented Languages and Systems - TOOLS , pp. 79-96, 2010
Contract-Driven Testing of JavaScript Code (Citations: 2)

Phillip Heidegger, Peter Thiemann

Conference: Technology of Object-Oriented Languages and Systems - TOOLS , pp. 154-172, 2010
Visualizing Dynamic Metrics with Profiling Blueprints (Citations: 2)

Alexandre Bergel, Romain Robbes, Walter Binder

Conference: Technology of Object-Oriented Languages and Systems - TOOLS , pp. 291-309, 2010