Design specification - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-08-02 20:27:15 Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation		Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 95,13 KB Share Document on Facebook

	Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M DocID: 1xViQ - View Document
	Topsl: A domain-specific language for on-line surveys Mike MacHenry Northeastern University Jacob Matthews University of Chicago DocID: 1uD8B - View Document
	Declarative Language Design for Interactive Visualization Jeffrey Heer and Michael Bostock Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By se DocID: 1uz7h - View Document
	Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille) DocID: 1updg - View Document
	OctDiderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis Gordon Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, John Reppy DocID: 1u6GE - View Document