<--- Back to Details
First PageDocument Content
Software engineering / Computing / Computer programming / HTML / Technical communication / Cross-platform software / Source code / Markup languages / JetBrains MPS / Comment / Literate programming / Integrated development environment
Date: 2015-08-19 04:33:52
Software engineering
Computing
Computer programming
HTML
Technical communication
Cross-platform software
Source code
Markup languages
JetBrains MPS
Comment
Literate programming
Integrated development environment

Integrating Prose as First-Class Citizens with Models and Code Markus Voelter independent/itemis, Abstract. In programming and modeling we strive to express structures and behaviors as formally as possibl

Add to Reading List

Source URL: voelter.de

Download Document from Source Website

File Size: 345,04 KB

Share Document on Facebook

Similar Documents

Functional Programming for Compiling and Decompiling Computer-Aided Design

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1  Department of Computer Science, ETH Zurich, Switzerland

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

DocID: 1xVVx - View Document

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

DocID: 1xVE0 - View Document

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

DocID: 1xVuR - View Document

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

DocID: 1xTRO - View Document