<--- Back to Details
First PageDocument Content
Software / Computing / Unified Modeling Language / Eclipse / Object Constraint Language / Integrated development environments / ECO / Object-oriented programming languages / Domain-specific language / Scala / OCL / Xtend
Date: 2012-09-25 06:20:13
Software
Computing
Unified Modeling Language
Eclipse
Object Constraint Language
Integrated development environments
ECO
Object-oriented programming languages
Domain-specific language
Scala
OCL
Xtend

Add to Reading List

Source URL: st.inf.tu-dresden.de

Download Document from Source Website

File Size: 146,27 KB

Share Document on Facebook

Similar Documents

Proof theory / General relativity / Complex analysis / Holomorphic functional calculus

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

DocID: 1xVKz - View Document

Computing / Software engineering / Models of computation / UML state machine / State diagram / HSM / Scala

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xVoG - View Document

Computing / Software engineering / Computer programming / Inter-process communication / UML state machine / Message queue / Message passing / Event loop / Futures and promises / Monitor / Scala / High-Speed SECS Message Services

Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xUHd - View Document

PDF Document

DocID: 1w4Ii - View Document

Case Study Twilio Improves Mean Time To Resolution (MTTR) by 92% with LightStep [x]PM Founded in 2008, Twilio’s mission is to fuel the future of communications. Twilio lowers engineering costs with its flexible, scala

DocID: 1uYet - View Document