<--- Back to Details
First PageDocument Content
Computer science / Model checking / Software development process / Large-scale Complex IT Systems / ACM Transactions on Programming Languages and Systems / Model-based testing / Software engineering / Institute for System Programming / Brent Hailpern / Science / Formal methods / Software development
Date: 2013-06-04 07:05:11
Computer science
Model checking
Software development process
Large-scale Complex IT Systems
ACM Transactions on Programming Languages and Systems
Model-based testing
Software engineering
Institute for System Programming
Brent Hailpern
Science
Formal methods
Software development

Prof. Bernhard Steffen TU Dortmund BIO

Add to Reading List

Source URL: ls5-www.cs.tu-dortmund.de

Download Document from Source Website

File Size: 12,46 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Software engineering / Computing / Logic in computer science / Formal methods / Compiler construction / Formal verification / ACM Transactions on Programming Languages and Systems / Semantics / Compiler / Programming language / Operational semantics

Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt

DocID: 1qnIY - View Document

Symposium on Principles of Programming Languages / Programming Language Design and Implementation / ACM SIGACT / ACM Transactions on Programming Languages and Systems / Symposium on Logic in Computer Science / SIGPLAN

Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

DocID: 1p8u1 - View Document

Computing / Computer science / Academia / ACM Transactions on Programming Languages and Systems / International Symposium on Memory Management / Programming Language Design and Implementation / Benchmarking / Uncertainty / Benchmark / International Conference on Architectural Support for Programming Languages and Operating Systems / Standard Performance Evaluation Corporation / Common Object Request Broker Architecture

Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK,

DocID: 1k2Ck - View Document

Computing / Computer science / Software engineering / Functional programming / International Conference on Functional Programming / Programming Language Design and Implementation / SIGPLAN / Compiler / Symposium on Principles of Programming Languages / Association for Computing Machinery / ACM Transactions on Programming Languages and Systems / Functional languages

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

DocID: 1jmMf - View Document

Computer programming / Programming Language Design and Implementation / OOPSLA / J. Eliot B. Moss / SIGPLAN / ACM Transactions on Programming Languages and Systems / Principles of Programming Languages / XPL / Actor model / Computing / Software engineering / Association for Computing Machinery

Amer S. Diwan Work Engineering Center, ECOT 743 Department of Computer Science University of Colorado Boulder, CO[removed]

DocID: 11huU - View Document